Erdős 突破：OpenAI 模型首次实现重大 AI 数学发现 (opens in new tab)

📌 One-Sentence Summary OpenAI 研究人员宣布 AI 首次取得重大数学发现：AI 模型解决了组合几何中著名的 Erdős 单位距离问题，超越了此前被认为最优的构造方案。 📝 Summary OpenAI 研究人员以亲历者视角分享了这一历史性 AI 成就：AI 模型首次解决了组合几何领域一个久负盛名的开放问题，这也是该数学子领域最广为人知的未解问题之一。该问题涉及平面上点的排列（即 Erdős 单位距离问题），表面上是纯粹的初等几何题，但其解法却需要代数数论中的深层工具。在此结果出现之前，已有的几何构造方案被普遍认为已接近最优。AI 模型证明，这一构造实际上还可以得到显著改进。关键洞察在于：证明路径需要做出海量极为精密的连续决策，其复杂程度超出了人类数学家系统执行的能力范畴；而 AI 得以穷举探索全部证明可能性，并最终找到一条可行路径。研究人员坦言，看到结果的第一反应是难以置信，这让他们辗转难眠，因为结论「好得不像真的」。除数学成就本身之外，这一里程碑也大幅压缩了团队对 AI 能力发展的内部时间线预期。团队强调，支撑这项发现的底层推理能力并不局限于纯数学，...