原文：OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI 声称其新推理模型已经产生了原始的数学证明，反驳了 Paul Erdős 于 1946 年首次提出的著名几何学猜想。
如果这听起来很熟悉，那是因为这并不是 OpenAI 第一次做出如此大胆的主张。七个月前，这家人工智能巨头的前副总裁 Kevil Weil 在 X 上发帖称：“GPT-5 找到了 10 个（！）之前未解决的 Erdő 问题的解决方案，并在其他 11 个问题上取得了进展。”
事实证明，GPT-5 并没有真正解决这些问题；而是它只是找到文献中已经存在的现有解决方案。
随之而来的是 Yann LeCun 和 Google DeepMind 首席执行官 Demis Hassabis 等竞争对手的嘲讽，Weil 立即撤下了他过早的职位。至少在今天，OpenAI 似乎没有再犯同样的错误。在宣布这一消息的同时，OpenAI 还发表了相关言论，支持诺加·阿隆 (Noga Alon)、梅兰妮·伍德 (Melanie Wood) 和鄂尔多斯问题网站维护者托马斯·布鲁姆 (Thomas Bloom) 等数学家的反驳，此前他称韦尔的帖子是“戏剧性的歪曲”。
OpenAI 在 X 上发帖称：“近 80 年来，数学家们一直认为最好的解决方案看起来大致像方形网格。OpenAI 模型现在已经反驳了这种看法，发现了性能更好的全新结构系列。”
该公司表示，这标志着“人工智能首次自主解决数学领域核心的突出开放问题”。根据 OpenAI 的说法，证明来自一个新的通用推理模型，而不是专门为解决数学问题甚至这个问题而设计的系统。
OpenAI 表示，这一点意义重大，因为这意味着人工智能系统现在更有能力将长而困难的推理链结合在一起，并以研究人员以前从未探索过的方式连接跨领域的想法。这对生物学、物理学、工程学和医学都有影响。
“人工智能正在帮助我们更全面地探索我们在过去几年中建造的数学大教堂