OpenAI宣布其推理模型破解了八十年数学难题,并已获验证
OpenAI宣布,其最新的推理模型完成了一项原创数学证明,推翻了几何学中一个存在已久的猜想。该问题最早由数学家保罗·埃尔德什于1946年提出。与七个月前该公司曾提出但随后撤回的类似声明不同,此次成果已得到多位知名数学家的独立验证。
更具支撑的声明
本次声明建立在先前失误的经验之上。2024年10月,OpenAI前副总裁曾公开表示GPT-5找到了十个未解决的埃尔德什问题解法,并在另外十一个问题中取得进展。但该声明很快被推翻:模型只是重新发现了数学文献中已有的解法。多位学界专家对此提出质疑,相关帖子随后被删除。
此次OpenAI采取了更审慎的态度。除公告外,公司还发布了来自三位数学家的支持意见,其中一位曾批评先前的声明“严重失实”。
模型的实际成果
近八十年来,数学界普遍认为该几何问题的最优解类似正方形网格。OpenAI的模型发现了一系列超越传统方法的新构造,从而推翻了这一长期假设。OpenAI将此次成果描述为“人工智能首次自主解决某个数学领域的核心开放难题”,并强调证明来自通用推理模型,而非专为数学或该问题设计的系统。
超越数学的意义
OpenAI指出,此项突破的意义在于模型能够维持长而复杂的推理链条,并连接不同领域的观点,这种能力可扩展至生物学、物理学、工程学和医学领域。有数学家对此评论道:“人工智能正在帮助我们更全面地探索几个世纪以来建立的数学殿堂。还有哪些未被发现的奇迹正在等待呈现?”
结语
尽管人工智能驱动的科学发现领域曾出现过一些过度夸大的宣称,但此次经验证的成果标志着实质的进步。它表明通用推理模型已能为长期存在的开放问题提供原创性见解,这一里程碑可能重塑多个学科的研究者应对复杂问题的方式。

资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种