OpenAI宣称解决了困扰80年的数学难题，这次是真的！
编者按： 当OpenAI再次宣称“AI攻克数学难题”，我们不妨先泡杯茶，看看这段历史。七个月前，那位前VP的高调宣言被现实打脸——所谓“解决10个未解问题”，不过是翻旧账。如今，新模型声称颠覆了数学家80年来的认知，还搬出三位权威背书。但别忘了，上次的闹剧刚收场：LeCun的嘲讽、DeepMind CEO的揶揄，以及那位VP羞愧删帖的狼狈。这次，OpenAI学乖了，提前晒出Noga Alon等数学家的“认证”。真相如何？且看这篇翻译文章，我们保留了原文的严谨，又揉进了中文爆文的爽感——但记住，AI的数学征程，才刚走完第一步。
OpenAI宣称，其新推理模型产出了一个原创数学证明，推翻了由保罗·埃尔德什在1946年首次提出的著名未解几何猜想。
如果你觉得这剧情眼熟，那是因为OpenAI并非首次抛出这种惊人言论。七个月前，该AI巨头的前副总裁凯文·韦尔曾在X平台发帖：“GPT-5解决了10个（！）此前无人能解的埃尔德什问题，并对另外11个问题取得进展。”
结果呢？GPT-5根本没真正攻克这些难题，只是从现有文献里翻出了旧答案。
随之而来的是对手的嘲讽：扬·勒昆和谷歌DeepMind CEO德米斯·哈萨比斯的冷言冷语。韦尔赶紧删掉了那条“早产”帖子。如今，至少OpenAI没再犯同样的错误。在宣布新成果的同时，公司还发布了数学家诺加·阿隆、梅兰妮·伍德以及埃尔德什问题网站维护者托马斯·布卢姆的支持声。后者曾直言韦尔的帖子是“极具误导性的夸大其词”。
“近80年来，数学家们一直认为最优解大致是正方形网格的样子，”OpenAI在X平台发文称，“如今，一个OpenAI模型推翻了这个认知，发现了一整套性能更优的全新构建方案。”
公司声称，这标志着“AI首次自主解决了一个数学领域核心的著名开放问题”。据OpenAI透露，这一证明来自一个全新的通用推理模型，而非专门为解数学题或这道特定问题设计的系统。
OpenAI表示，这一突破意义重大，因为AI系统现在能更有效地串联起漫长而复杂的推理链条，并跨越不同学科整合思想——这些探索路径，研究人员此前可能从未触及。这对生物学、物理学、工程学和医学等领域都将产生深远影响。
“AI正帮助我们更全面地探索人类几个世纪以来构筑的数学大教堂，”布卢姆在声明中说，“还有哪些未被发现的奇观正等待登场？”
本文由吉伊网原创发布，未经许可，不得转载！
本文链接：http://www.jkiyi.com/kx/41615.html
