数学界迎来了一次里程碑式突破。OpenAI近日宣布，其内部推理模型生成了一份原创数学证明，推翻了保罗·Erdős于1946年提出的单位距离猜想——一个困扰数学家近80年的离散几何开放问题。

这一成果的发布紧随OpenAI上一次失败之后。七个月前，前副总裁Kevin Weil曾宣称GPT-5解决了10个Erdős问题，但随后被学界证伪：那些"解法"不过是模型从已有学术文献中检索出来的，而非真正的原创证明。这一次，OpenAI吸取了教训，邀请了多位知名数学家对证明进行独立验证。

Thomas Bloom、Noga Alon、Melanie Wood等数学家在配套声明中明确支持OpenAI的证明。OpenAI在官方声明中表示："近80年来，数学家们一直认为最优解大致呈现为网格状排列。一个OpenAI模型如今推翻了这一认知，发现了表现更好的全新构造家族。"

这项工作标志着AI首次自主解决了一个处于数学核心地位的开放问题。过去，AI在数学领域的表现多集中于已解决问 题的重新发现或验证已知证明，而非真正意义的原创突破。然而这一次，模型不仅发现了证明，还找到了此前从未被数学家考虑过的新型构造方案。

从技术角度看，该模型展现了处理长链推理的能力。数学证明往往涉及数百步逻辑推导，每一步都必须严格无误。这种能力的要求与当前大语言模型常见的"幻觉"问题形成鲜明对比——在开放式问题面前，模型无法依赖训练数据中的模式，必须完全依赖内在推理能力。

这一突破的意义远超数学本身。单位距离猜想与组合几何、图论等领域密切相关，其研究成果可能辐射至生物学（如蛋白质折叠）、物理学（晶体结构研究）、工程学（网络优化）乃至医学（分子设计）。数学家Melanie Wood指出，理解点集在平面中的分布规律，对于材料科学和药物设计具有重要参考价值。

不过，也有学者保持谨慎态度。Math Twitter上的部分研究者指出，需要等待更长时间的同行评审，才能确认这一证明完全成立。Erdős本人以其苛刻的证明标准著称，即使是这个以他名字命名的猜想，也需要经受住最严格的检验。

无论如何，AI在数学推理领域的进展正在加速。从AlphaProof到如今的Erdős问题突破，AI正在从"工具"向"合作伙伴"演进——它不仅能执行计算，还能进行原创性的数学思考。

参考来源：

• TechCrunch: https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/
• OpenAI官方博客: https://openai.com/index/model-disproves-discrete-geometry-conjecture/