数学界迎来了一次具有里程碑意义的重大突破。OpenAI近日宣布，其内部最新的推理模型成功生成了一份原创数学证明，正式推翻了由著名数学家保罗·Erdős在 1946 年提出的单位距离猜想。这一成果标志着人工智能首次依靠自身长链推理能力，自主攻克了数学核心领域的开放性难题。

image.png

走出检索泥潭，专家独立验证

值得注意的是，就在七个月前，OpenAI曾因宣称解决多个Erdős问题而被学术界指责为“从文献中检索已有答案”的伪原创。这一次，OpenAI吸取了教训，主动邀请了包括Thomas Bloom在内的多位国际知名数学家进行独立验证，证明的严谨性得到了多方学者的明确支持。

过去，AI在数学领域的成果大多局限于重新验证人类已知的定理，而本次推理模型却彻底打破了人类近 80 年来的传统认知。此前，数学家普遍认为该猜想的最优解大致呈现为网格状排列，但OpenAI的模型却另辟蹊径，独立发现了一套表现更优的全新构造方案。

摆脱幻觉困扰，辐射前沿科学

从技术层面来看，解决此类开放式数学难题对AI的逻辑链条提出了严苛要求。数学证明涉及数个复杂的推导步骤，任何一步出错都会导致全盘皆输，这也意味着该推理模型已经基本克服了传统大语言模型中常见的“幻觉”通病。

虽然部分学者指出该证明仍需等待更长时间的同行评审，但其带来的潜在溢出效应已经引发广泛关注。单位距离猜想与组合几何、图论密切相关，该成果的落地未来有望直接辐射至生物学中的蛋白质折叠研究、材料科学中的晶体结构分析以及药物分子的设计优化。