OpenAI表示,其新的推理模型已经产出了一个原创的数学证明,推翻了保罗·埃尔德什在1946年提出的一个著名未解几何猜想。如果你的眉毛刚刚扬起,你并不孤单——这并非OpenAI首次做出如此大胆的声明。七个月前,前副总裁Kevil Weil在X上发帖称“GPT-5找到了10个(!)先前未解决的埃尔德什问题的解决方案,并在其他11个问题上取得了进展。”剧透:GPT-5实际上并没有解决它们;它只是重新发现了文献中已有的解决方案。来自竞争对手如Yann LeCun和谷歌DeepMind CEO Demis Hassabis的嘲讽接踵而至,Weil迅速删除了他那个不成熟的帖子。

这一次,OpenAI表示他们没有重蹈覆辙。在宣布的同时,该公司还发布了数学家Noga Alon、Melanie Wood和Thomas Bloom的评论——后者维护着埃尔德什问题网站,此前曾称Weil的帖子是“戏剧性的误传”。“近80年来,数学家们认为最佳可能的解决方案大致类似于方形网格,”OpenAI在X上发帖称。“一个OpenAI模型现在已经推翻了这一信念,发现了一个全新的构造家族,表现更优。”

该公司声称这标志着“AI首次自主解决了一个数学领域中的突出开放问题”。该证明来自一个新的通用推理模型,而不是专门为数学设计的系统——OpenAI表示这意义重大,因为这意味着AI现在能够维持长而困难的推理链条,并跨领域连接思想。据报道,这对生物学、物理学、工程学和医学都有影响。“AI正在帮助我们更全面地探索我们几个世纪以来建造的数学大教堂,”Bloom说。“还有哪些看不见的奇迹在幕后等待?”