OpenAI声称其最新的推理模型成功给出了一个原创的数学证明,推翻了一个由保罗·埃尔德什(Paul Erdős)于1946年提出的著名未解几何猜想。
如果你觉得这听起来很熟悉,那是因为这并不是OpenAI第一次做出如此大胆的声明。七个月前,OpenAI前副总裁Kevin Weil曾在社交平台X上发布消息称:“GPT-5找到了10个此前未解的埃尔德什问题的解决方案,并在另外11个问题上取得了进展。”
然而,事实证明,GPT-5并没有真正解决这些问题,它只是找到了文献中已有的解答。
随后,来自竞争对手如Yann LeCun和谷歌DeepMind CEO Demis Hassabis的嘲讽接踵而至,Weil也迅速删除了那条过早发布的帖子。至少目前看来,OpenAI这次没有重蹈覆辙。与此同时,公司发布了由数学家Noga Alon、Melanie Wood和Thomas Bloom等人撰写的支持该反例的伴随说明。Thomas Bloom维护着埃尔德什问题网站,曾称Weil的帖子为“严重误导”。

OpenAI在社交平台X上表示:“近80年来,数学家们一直认为最佳解法大致呈方格状。现在,OpenAI的模型推翻了这一信念,发现了一类全新的构造方法,表现更优。”
公司称,这是“AI首次自主解决了数学领域的一个重要开放问题”。据OpenAI介绍,这一证明来自一个通用推理模型,而非专门为解决数学问题或该特定问题设计的系统。
OpenAI表示,这一成果意义重大,因为它表明AI系统现在能够更好地维持长且复杂的推理链条,并能跨领域连接思想,探索研究人员此前未曾涉足的方向。这对生物学、物理学、工程学和医学等领域都有深远影响。
数学家Thomas Bloom在声明中说:“AI正帮助我们更全面地探索我们数百年来构建的数学殿堂。还有哪些未知的奇迹正等待着我们去发现?”


