OpenAI破解80年数学难题取得重大突破

近日，OpenAI宣布其最新研发的通用推理模型自主提出了一条原创数学证明，成功推翻了一项自1946年由著名数学家保罗·埃尔德什提出、悬而未决的几何学猜想。OpenAI强调，这是人工智能首次独立解决一个在特定数学领域处于核心地位的著名公开难题。值得关注的是，多位参与评估的数学家也认为，此次成果在论证严谨性上值得认可。

然而，这并非OpenAI首次高调宣布“AI攻克埃尔德什难题”。大约七个月前，该公司时任副总裁凯文·维尔曾在社交平台X上发文称，“GPT‑5找到了10个此前未解的埃尔德什问题的解，并在另外11个问题上取得进展”。但随后风波骤起——有研究者指出，模型所提出的“解”其实早已存在于数学文献中，GPT‑5只是从已有成果中“检索”出来，并非真正意义上的新发现。在Google DeepMind首席执行官德米斯·哈萨比斯以及杨立昆等同行专家的质疑声中，维尔最终删除了这条被批评为“表述夸大”的帖子。

或许正是基于这段前车之鉴，OpenAI在本次成果发布中显得格外审慎。公司在公布突破的同时，同步公开了一份由多位数学家联名撰写的“补充评述”文件，旨在从学术同行评议的角度论证该项几何猜想被推翻的严谨性与可靠性。联署数学家包括诺加·阿隆、梅兰妮·伍德以及托马斯·布卢姆等人。其中，布卢姆长期维护“埃尔德什问题”专题网站，曾在上一轮风波中批评维尔的言论“构成一种极具戏剧性的误导”，而此次则转为OpenAI站台，公开为新证明提供学术背书。

OpenAI在X上总结了这一突破的核心内容：近80年来，数学界普遍认为该类问题的最优构造应近似于“方形网格”；而他们的新推理模型发现了一族完全不同的构造方式，其在性能上显著优于传统方格方案，从而推翻了长期占据主导地位的学术直觉。关键之处在于，按照OpenAI的说明，这一成果出自一个通用推理模型，而非专门为数学证明设计的专用系统，也并未针对这道几何难题进行“定制化训练”。

这一成果的意义显然超越了单一数学命题。它更清晰地体现了当前先进AI系统在“长链条逻辑推理”与“跨领域概念连接”能力上取得的实质性进展。通过在复杂的解空间中进行系统性探索，尝试那些人类研究者尚未系统挖掘或未曾设想的构造路径，此类模型有望在生物学、物理学、工程学及药物研发等多个科学领域催生新的发现。换言之，AI的角色正在发生演变——它不再仅仅是验证既有证明或检索文献的辅助工具，而开始尝试在“提出全新结构框架与解题思路”方面扮演更为主动的角色。

正如托马斯·布卢姆在一份声明中所比喻的，人工智能正在帮助人类“更充分地探索我们几百年来共同建造的数学大教堂”。他随之抛出一个引人深思的问题：“还有多少未被看见的奇迹，正静静等待登场？”在“AI能否真正做出原创性科学发现”的学术争论尚未平息之际，这次经过数学界严格审查并获得认可的几何猜想反例，很可能成为后续相关讨论中的一个重要参照案例。