OpenAI推理模型破解80年几何难题AI自主证明Erdős猜想

数学界刚刚见证了一个历史性的时刻。OpenAI最近公布，其内部研发的最新推理模型独立生成了一份原创数学证明，成功推翻了著名数学家保罗·Erdős在1946年提出的单位距离猜想。这可不是简单的验证或复现，而是人工智能首次凭借自身的长链条推理能力，自主攻克了一个数学核心领域的开放性难题，其意义不言而喻。

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

这里有个关键背景值得玩味。大约七个月前，OpenAI曾因宣称解决了多个Erdős问题而陷入争议，被学术界批评其方法更像是“从文献中检索已有答案”，而非真正的原创。显然，他们吸取了教训。这一次，OpenAI采取了截然不同的策略：主动邀请了包括托马斯·布鲁姆（Thomas Bloom）在内的多位国际知名数学家，对证明过程进行独立验证。结果如何？这份证明的严谨性获得了多位领域内学者的明确支持，算是用行动回应了之前的质疑。

过去，AI在数学上的贡献大多停留在辅助验证人类已知定理的层面。但这次完全不同。推理模型不仅解决了问题，更关键的是，它彻底碘伏了近80年来数学家们的传统认知。此前的主流观点认为，该猜想的最优解结构大致会呈现一种网格状的排列。然而，OpenAI的模型却走出了一条全新的路径，独立发现了一套表现更优的构造方案。这相当于在一条公认的“死胡同”旁边，硬生生开辟出了一条新路。

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

从技术角度看，解决这类开放式数学难题，对AI的逻辑链条是极限施压。一个完整的数学证明环环相扣，涉及大量复杂的推导步骤，堪称“一步错，满盘输”。模型能够完成这项任务，基本意味着它已经很大程度上克服了传统大语言模型中那种“信口开河”的幻觉通病，其推理的稳定性和可靠性达到了新的高度。

当然，科学需要严谨。目前仍有部分学者持审慎态度，认为该证明仍需经历更长时间的同行评审考验。但不可否认，这一成果带来的潜在溢出效应已经引发了广泛遐想。单位距离猜想本身与组合几何、图论等基础数学分支紧密相连，它的突破，未来很可能直接辐射到多个前沿应用领域。比如，生物学中复杂的蛋白质折叠预测、材料科学里晶体结构的分析优化，乃至药物分子的创新设计，都可能从中获得新的理论工具和启发。AI的这一次“纯粹理性”的胜利，或许正在为一系列应用科学打开一扇新的大门。