AI首次攻克80年数学难题，OpenAI模型破解Erdős猜想

AI首次攻克80年数学难题，OpenAI模型破解Erdős猜想

核心看点：OpenAI刚刚扔下一颗重磅炸弹——其AI模型首次自主解决了一个数学领域的核心开放问题，推翻了数学家们80年来的共识。这不是辅助证明，是AI独立完成的突破。

什么难题？

平面单位距离问题（planar unit distance problem），由传奇数学家Paul Erdős在1946年提出。简单说：在二维平面上，给定n个点，最多能有多少对点之间的距离恰好为1？

近80年来，数学家们一直认为最优解的结构大致类似于方形网格——规整、对称、符合直觉。这个信念如此根深蒂固，以至于很少有人质疑。

AI做了什么？

OpenAI的模型不仅找到了更好的解法，还发现了一整套全新的构造族（family of constructions），性能全面超越传统方形网格方案。更关键的是，这是AI首次自主解决一个数学领域的核心开放问题——不是协助人类数学家，而是独立完成从发现到验证的全过程。

为什么重要？

• 范式转变：AI不再只是工具，开始成为数学发现的直接参与者
• 打破直觉：人类数学家80年的”常识”被推翻，说明AI能发现人类思维盲区
• 方法论革新：这种构造族的发现方式，可能适用于其他组合几何问题

深层意义

这个突破标志着AI研究能力的一个质变节点。此前AI在数学上的成就多集中在辅助证明（如AlphaGeometry处理欧几里得几何），而这次是在开放性问题上的原创性发现。

如果AI能在组合数学这样的”人类强项领域”实现突破，那么在材料科学、药物发现、密码学等更多依赖组合搜索的领域，类似的突破可能只是时间问题。

总结：OpenAI用实力证明，AI的科研能力正在从”辅助”走向”主导”。80年的数学共识说推翻就推翻，接下来还有什么领域的人类自信会被AI打破？值得所有科研人员深思。