OpenAI破解80年数学难题：最新AI进展深度解析

OpenAI近日宣布，其通用推理模型自主提出了一项原创数学证明，推翻了由保罗·埃尔德什于1946年提出的一个长期悬而未决的几何猜想。该公司指出，这是人工智能首次独立解决一个特定数学领域的核心公开难题。多位参与评估的数学家也认可了该证明的严谨性。

然而，这并非OpenAI首次高调宣布AI攻克埃尔德什难题。约七个月前，时任公司副总裁凯文·维尔曾在社交平台X上宣称，GPT‑5找到了10个未解埃尔德什问题的解，并在另外11个问题上取得进展。但随后有观点指出，这些解大多已存在于现有数学文献中，模型并未实现真正的新发现。在德米斯·哈萨比斯和杨立昆等业内人士的质疑下，维尔最终删除了这条被认为过于夸大的帖子。

或许基于此前的争议，OpenAI此次发布显得尤为审慎。公司同步公开了一份由多位数学家联署的补充评述文件，从学术层面详细论证了该几何猜想被推翻的严谨过程。签署者包括诺加·阿隆、梅兰妮·伍德及托马斯·布卢姆等人。值得注意的是，布卢姆运营着“埃尔德什问题”网站，曾在上次风波中批评维尔的言论具有误导性，而此次则转为OpenAI的成果背书。

OpenAI在X上阐述了突破的核心：近80年来，数学界普遍认为此类问题的最优构造近似于“方形网格”；而他们的新模型发现了一族完全不同的构造，其性能显著优于传统方格方案，从而推翻了长期主导的直觉。关键在于，这一成果来自一个通用推理模型，而非专门设计的数学求解系统或针对该几何难题定制训练的算法。

这一成果的意义超越了单一命题的解决。它更清晰地展现了当前AI系统在长链条逻辑推理与跨领域概念关联能力上的实质性进展。通过系统探索复杂的解空间，尝试人类研究者尚未充分挖掘或未曾设想的构造路径，此类模型有望在生物学、物理学、工程学及医学等多个学科催生新的发现。换言之，AI的角色正在演变——它不再仅是验证证明或检索文献的工具，而开始尝试在提出全新结构与思路方面发挥更主动的作用。

正如托马斯·布卢姆在一份声明中所比喻的，人工智能正在帮助人类“更充分地探索我们数百年来共同建造的数学大教堂”。他随之提出一个深刻的问题：“还有多少未被察觉的奇迹，正静候登场？”在关于“AI能否实现真正原创科学发现”的争论持续之际，这项经过数学界审阅认可的几何猜想反例，很可能成为后续讨论中的一个关键案例。