OpenAI称证明了一个长期几何猜想
TechCrunch AI··作者 Rebecca Bellan
关键信息
公司表示，这份证明来自一个新的通用推理模型，而不是专门为数学或为这个猜想定制的系统。相比之下，这次说法比OpenAI此前关于GPT-5解决埃尔德什问题的表述更可信，因为那次后来被证明只是找到了文献中早已存在的解法。
资讯摘要
OpenAI表示，其最新的推理模型给出了一份原创证明，推翻了保罗·埃尔德什在1946年提出的一个长期未解的几何猜想。按照公司的说法，数学界长期认为这个问题的最佳解大致会像方格排列，但模型发现了一类不同的构造，而且表现更好。OpenAI称，这是其AI系统首次自主解决一个数学领域中的重要公开问题。为了支持这一说法，公司同时发布了数学家Noga Alon、Melanie Wood和Thomas Bloom的配套评论。
Thomas Bloom维护着 Erdos Problems 网站，他此前曾把OpenAI另一项类似宣布称为“严重误导”。这次公告发生在前一次风波之后：当时OpenAI前副总裁Kevin Weil声称GPT-5解决了10个未解的埃尔德什问题，但后来发现这些“解法”早已存在于文献中。OpenAI表示，这一次没有重蹈覆辙，并认为自己展示的是一份原创证明。公司还将这一结果解读为AI正在更擅长维持漫长而困难的推理链条，并在不同学科之间建立联系。
资讯正文
OpenAI 声称，其新的推理模型给出了一个原创的数学证明，推翻了几何学中一个著名的未解猜想。这个猜想最早由 Paul Erdős 于 1946 年提出。
如果这听起来耳熟，那是因为这并不是 OpenAI 第一次作出如此大胆的声明。七个月前，这家 AI 巨头的前副总裁 Kevin Weil 曾在 X 上发帖称：“GPT-5 找到了 10 个（！）此前未解的 Erdős 问题的解，并在另外 11 个问题上取得了进展。”
事实证明，GPT-5 实际上并没有解决那些问题；它只是找到了文献中早已存在的解。
随后，Yann LeCun 和 Google DeepMind CEO Demis Hassabis 等竞争对手纷纷嘲讽，Weil 也迅速删除了那条过早发布的帖子。至少在今天看来，OpenAI 似乎没有犯同样的错误。随着这项公告一同发布的，还有 Noga Alon、Melanie Wood 和 Thomas Bloom 等数学家的配套评论，他们支持这份反证。Bloom 运营着 Erdos Problems 网站，之前曾把 Weil 的帖子称为“一种戏剧性的误导”。
OpenAI 在 X 上写道：“近 80 年来，数学家们一直认为，最优解大致看起来像方格。” “如今，一个 OpenAI 模型已经推翻了这一信念，发现了一整类全新的构造方式，而且表现更好。”
该公司表示，这标志着“AI 第一次自主解决了某个数学领域中具有代表性的重大开放问题”。根据 OpenAI 的说法，这份证明来自一个新的通用推理模型，而不是专门为解决数学问题，甚至也不是专门为这个问题设计的系统。
OpenAI 说，这之所以重要，是因为这意味着 AI 系统如今更有能力把漫长而艰难的推理链条连贯地维持下去，并以研究人员此前可能未曾探索过的方式把不同领域的想法联系起来。这对生物学、物理学、工程学和医学都有影响。
Bloom 在一份声明中说：“AI 正在帮助我们更全面地探索我们几个世纪以来建造的数学大教堂。还有哪些未被看见的奇迹正在幕后等待出现？”
据报道，OpenAI 正在为针对苹果采取法律行动做准备；这不会是它第一次让合作伙伴感到受伤。
OpenAI 据报道正准备对苹果采取法律行动；这不会是它第一次让合作伙伴感到受伤。
来源与参考
收录于 2026-05-21