OpenAI模型推翻80年数学猜想，AI第一次自己证明了一道难题

数学界炸了！OpenAI的推理模型刚刚干成了一件人类数学家80年都没搞定的事——推翻了1946年由数学大神保罗·Erdős提出的“单位距离猜想”。这是AI头一回靠自己完整的逻辑推理，独立证明了一个数学核心领域的开放难题。不是翻书找答案，是真思考、真推导。

七个月前，OpenAI曾因为声称解决了多个Erdős问题，被学术界骂得狗血淋头——学者们发现它只是从论文库里搜出了现成答案，根本不算原创。这回他们学乖了，主动请来好几位国际数学家，比如Thomas Bloom，让他们从头到尾检查了一遍证明。结果，专家们公开点头：这个证明没问题。

过去AI在数学上能干的事，充其量是帮人类验算已经知道对的东西。但这次不一样。以前数学家们都觉得这个猜想的最优解无非是格子状的排列，结果AI自己捣鼓出了一套完全不同的构造方案，效果还更好。人类花了80年都没想出来的路，AI走通了。

为了完成这个证明，模型得在好几个复杂步骤里保持逻辑不断线，一步错就全盘白费。这其实相当难，因为传统大模型动不动就爱“胡说八道”——幻想一堆不存在的事实。但这次，推理模型基本把这毛病治住了。

虽然同行评审还没正式完，但科学家们已经开始兴奋了。单位距离猜想跟组合几何、图论关系紧密，它的突破能直接帮到别的领域：比如生物学家研究蛋白质怎么折叠、材料学家分析晶体结构、制药公司设计新药分子。AI这次不光是做了道数学题，更像是拿到了一把钥匙。