OpenAI推理模型真刀真枪推翻数学界80年旧猜想

OpenAI内部最新的推理模型成功生成了一份原创数学证明，正式推翻了由著名数学家保罗·Erdős在 1946 年 提出的单位距离猜想。这个猜想已经存在了将近 80 年，够久了吧？数学家们之前普遍认为最优解是网格状排列，但这次模型给出的构造方案完全不一样，表现更优。

被骂过“伪原创”，这次用独立验证翻身

就在 七个月 前，OpenAI曾因宣称解决了多个Erdős问题而被学术界指着鼻子骂——说是“从文献里检索已有答案”，根本不是真本事。这次他们学乖了：主动邀请了包括 Thomas Bloom 在内的多位国际知名数学家来做独立验证。有参与验证的学者私下说，证明的严谨性得到了多方明确支持，不是抄的。

不是复读机，是真推理、零幻觉

过去AI在数学领域，多数成果只是重新验证人类已知的定理。而这一次，该推理模型打破了近80年来的传统认知——它不是从文献里翻出答案，而是自己一步步推理出来的。数学证明涉及好多个复杂推导步骤，任何一步错就全盘崩。有开发者试了说，这个模型基本克服了传统大语言模型那种“一本正经胡说八道”的幻觉通病。

当然，也有学者指出这份证明还需要更长时间的同行评审才能最终定论，但溢出效应已经来了：单位距离猜想跟组合几何、图论关系密切，接下来可能直接用在 蛋白质折叠 研究、 晶体结构 分析，还有 药物分子设计 优化上。

接下来盯着看：其他AI实验室会不会跟风搞数学开放题？传统数学期刊的审稿流程还hold住这种AI生成的证明吗？这会让做理论数学的年轻研究员有点慌——饭碗好像被AI盯上了。