闽公网安备 35020302035485号
堆代码讯 近日,OpenAI对外宣称,其新款通用推理模型已生成一份原创数学证明,成功推翻了几何学领域一个著名的未解猜想。该猜想由知名数学家保罗·埃尔德什(Paul Erdős)于1946年首次提出,至今已困扰数学界近80年。
这一消息难免让人感到熟悉,因为这并非OpenAI第一次做出如此大胆的科研宣称。七个月前,这家人工智能巨头的时任副总裁凯文·威尔(Kevin Weil)曾在X平台发帖,高调宣布“GPT-5找到了10个此前未解决的埃尔德什问题的解答,并在另外11个问题上取得了突破性进展”。
然而,这份看似振奋人心的成果很快被证实站不住脚——GPT-5并未真正解决那些悬而未决的数学难题,只是在已有的学术文献中找到了现成的解答。消息曝光后,来自竞争对手的嘲讽接踵而至,其中就包括人工智能领域的权威人物扬·勒昆(Yann LeCun)、谷歌DeepMind首席执行官戴密斯·哈萨比斯(Demis Hassabis)等人。面对舆论压力,凯文·威尔迅速删除了那条言之过早的帖子,OpenAI也因此遭遇了一次不小的信任危机。
至少从目前来看,OpenAI似乎吸取了此前的教训,没有重蹈覆辙。在发布此次“推翻几何猜想”的公告时,该公司特意附上了一份由多位顶尖数学家提供的补充评述,以此佐证这份推翻性证明的真实性与有效性。参与评述的数学家包括诺加·阿隆(Noga Alon)、梅兰妮·伍德(Melanie Wood)以及托马斯·布鲁姆(Thomas Bloom)——值得一提的是,托马斯·布鲁姆正是“埃尔德什问题”网站的维护者,此前曾直接将凯文·威尔的帖子评价为“严重的误导”,此次其参与评述,也从侧面增强了OpenAI此次成果的可信度。
OpenAI在X平台上发文进一步阐释了这一成果:“近80年来,数学家们一直普遍认为,该猜想的最优解大致呈现方格网格的形态。如今,OpenAI的新款推理模型推翻了这一长期以来的固有认知,发现了一套全新的、表现更优的构造方案。”
该公司强调,这一突破具有里程碑式的意义,标志着“人工智能首次自主解决了一个数学核心领域中的重要开放性问题”。更值得关注的是,生成这份证明的是一款全新的通用推理模型,而非专为解决数学问题或某一特定领域问题而设计的专用系统,这也意味着AI的通用推理能力得到了实质性提升。
OpenAI表示,这一成果的价值远不止于数学领域。它意味着AI系统如今已能够更好地串联起漫长且复杂的推理链条,并以研究人员此前可能未曾探索过的方式,实现跨领域的思想连接。这种能力的提升,未来将对生物学、物理学、工程学和医学等多个学科领域产生深远影响,为各领域的科研突破提供全新思路。