OpenAI宣称解决80年几何猜想,这次是真的

OpenAI宣称解决80年几何猜想,这次是真的
OpenAI宣布,其新型推理模型成功证伪了一个由数学家保罗·埃尔德什(Paul Erdős)于1946年提出的著名未解几何猜想。这一突破若属实,标志着AI在数学领域的重大进展。
历史回顾:并非首次尝试
这一声明听起来或许熟悉,因为OpenAI并非首次做出此类 bold 声明。七个月前,公司前副总裁凯文·韦尔(Kevin Weil)曾在社交媒体上称,GPT-5解决了10个埃尔德什问题并取得11项进展。然而,事实是GPT-5并未真正解决这些难题,只是找到了文献中已有的解法。
此言一出,引发竞争对手如扬·勒昆(Yann LeCun)和谷歌DeepMind首席执行官德米斯·哈萨比斯(Demis Hassabis)的嘲讽,韦尔随即删除了这条 premature 的帖子。此次,OpenAI似乎吸取了教训,未重蹈覆辙。
关键突破:新模型与数学家背书
伴随此次宣布,OpenAI发布了配套说明,获得了包括诺加·阿隆(Noga Alon)、梅兰妮·伍德(Melanie Wood)和托马斯·布鲁姆(Thomas Bloom)等数学家的支持。布鲁姆曾负责埃尔德什问题网站,此前曾批评韦尔的帖子是“戏剧性的误读”。
“近80年来,数学家们一直认为最佳解构方案大致类似方格布局,”OpenAI在社交媒体上表示,“如今,我们的模型证伪了这一信念,发现了一种全新的构造方法,性能更优。”
模型特性与意义
公司强调,这是“首次有AI自主解决了一个数学领域的核心开放问题”,且该证明并非来自专门设计解决数学问题或特定问题的系统,而是源于一个新型通用推理模型。
OpenAI认为这一成果意义重大:AI已能处理长而复杂的推理链,并能以研究者未曾探索的方式连接跨领域想法,这对生物学、物理学、工程学和医学等领域均有影响。
布鲁姆在声明中说:“AI正帮助我们更充分地探索数世纪以来构建的数学 cathedral。还有哪些未见的奇迹在等待我们?”
关注微信号:智享开源 ,及时了解更新信息。

关注微信

还没有任何评论,你来说两句吧!