OpenAI称已解决了一道存在80年的数学难题

值得留意的是，这并非OpenAI初次在“AI霸占埃尔德什难题”上高调发声。 大年夜约七个月前，该公司时任副总裁凯文·维尔（Kevin Weil）曾在社交平台X上发文称，“GPT‑5找到了10个此前未解的埃尔德什问题的解，并在别的11个问题上取得进展”。 但很快有人指出，模型所谓的“解”其实早已存在于数学文献之中，GPT‑5只是从已有成果中“翻找”出来，而非真正发明新解。 在GoogleDeepMind首席履行官德米斯·哈萨比斯（Demis Hassabis）以及Yann LeCun等竞争敌手的嘲讽声中，维尔最终删除了这条被批驳为“夸大年夜其词”的帖子。

或许正因有这段前车可鉴，OpenAI在此次宣布中明显加倍谨慎。 公司在宣布成果的同时，公开了一份由多位数学家撰写的“弥补评述”文件，以论证这项几何猜想被颠覆的严谨性。 这些联名数学家包含诺加·阿隆（Noga Alon）、梅兰妮·伍德（Melanie Wood）以及托马斯·布卢姆（Thomas Bloom）等人。 布卢姆保护着“Erdos Problems”网站，曾在上一轮风波中把维尔的谈吐批驳为“一种极具戏剧性的误导”，此次则站在了OpenAI这一边，为新证实背书。

OpenAI在X上发文总结了这一冲破的核心意义：近80年来，数学界广泛认为，这类问题的最优构造大年夜体应类似于“方形网格”；而该公司的新推理模型则给出了完全不合的一族构造，在机能上优于传统方格筹划，从而颠覆了经久占主导地位的直觉。 按照OpenAI的说法，这一成果出自一个通用推理模型，而非专门为解题而设计的数学体系，也不是为这道几何难题“定制练习”的算法。

OpenAI认为，这一成果的意义已超出单一命题本身，更在于表现了当前AI体系在“长链条推理”和“跨范畴概念连接”上的才能晋升。 经由过程在复杂空间中摸索人类研究者尚未测验测验或未体系化发掘的构造方法，此类模型有望在生物学、物理学、工程学以及医学等多个范畴带来新发明。 换言之，AI不再只是验证既有证实或搜刮既有文献，而是开端在“提出全新构造和思路”方面扮演更积极的角色。

布卢姆在一份声明中表示，人工智能正在赞助人类“更充分地摸索我们几百年来合营建造的数学大年夜教堂”。 他提出发问：“还有若干未被看见的事业，正静静等待登场？” 在“AI可否真正做出原创科学发明”的评论辩论尚未平息之际，此次经数学界审查后仍获得承认的几何猜想反例，或许会成为后续争辩的一个重要参照点。