AI 精选动态
智能评分 78
OpenAI 破解平面单位距离问题
AI 推荐理由
原文除了描述结果，还给出了 125 页思维链、使用的数论工具，以及 Tim Gowers 和 Arul Shankar 对证明价值的判断，值得点开原帖看方法细节与数学连接点。核心解读
OpenAI 公开称，其模型在 1946 年由 Paul Erdős 提出的平面单位距离问题上取得突破：模型推翻了近 80 年来“最优解大致像方格子”的判断，发现了一类全新的构造方法，而且效果优于方格子方案。相关材料提到，这次推理过程中使用了代数数论中的无限类域塔与 Golod–Shafarevich 理论，公开的精简版思维链长达 125 页；Tim Gowers 在审稿论文中表示，如果这份证明由人类完成，他会推荐《数学年刊》接收，数论专家 Arul Shankar 也认为这不是简单辅助，而是 AI 提出了原创想法并完整执行。