OpenAI 声称解决了80年前的数学难题——这次是真的

# OpenAI 声称解决了 80 年数学难题——这次是真的 | TechCrunch 原文来源：https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/ OpenAI 声称（https://openai.com/index/model-disproves-discrete-geometry-conjecture/）其新推理模型完成了一项原始数学证明，否证了一个著名的几何猜想——该猜想最初由 Paul Erdős 于 1946 年提出。 如果你觉得这个说法似曾相识，那是因为 OpenAI 并非首次做出如此大胆的声明。七个月前（https://techcrunch.com/2025/10/19/openais-embarrassing-math/），这家 AI 巨头的前副总裁 Kevin Weil（https://techcrunch.com/2026/04/17/kevin-weil-and-bill-peebles-exit-openai-as-company-continues-to-shed-side-quests/）在 X 上发帖称：“GPT-5 找到了 10 个（！）此前未解决的 Erdős 问题的解法，并在另外 11 个问题上取得了进展。” 后来证实，GPT-5 实际上并未解决那些问题——它只是找到了文献中已存在的解法。 随后，Yann LeCun 和 Google DeepMind CEO Demis Hassabis 等竞争对手的嘲讽接踵而至，Weil 迅速删除了他那条过早发布的帖子。至少今天看来，OpenAI 似乎没有重蹈覆辙。与此次声明一同发布的，还有来自数学家 Noga Alon、Melanie Wood 以及 Thomas Bloom 的配套说明（https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf），他们维护着 Erdős 问题网站（https://www.erdosproblems.com/），此前曾将 Weil 的帖子称为“严重的误导”。（https://x.com/thomasfbloom/status/1979254235075059732） “近 80 年来，数学家们一直认为最优解大致类似于方形网格，”OpenAI 在 X 上发帖称（https://x.com/OpenAI/status/2057176201782075690）。“OpenAI 的一个模型现已否证了这一信念，发现了一种全新的构造方式，表现更优。” 该公司表示，这标志着“AI 首次自主解决了一个数学核心领域的著名开放问题”。据 OpenAI 称，该证明来自一个新的通用推理模型，而非专门为解数学题或本题而设计的系统。 OpenAI 认为这意义重大，因为这意味着 AI 系统现在更能够维持长而复杂的推理链，并以研究者此前可能未曾探索的方式跨领域连接思想。这对生物学、物理学、工程学和医学都具有启示意义。 Bloom 在一份声明中表示：“AI 正在帮助我们更全面地探索我们几个世纪以来建立的数学大教堂。还有哪些未被发现的奇观正在等待揭晓？” *当您通过我们文章中的链接购买商品时，我们可能会获得少量佣金（https://techcrunch.com/techcrunch-affiliate-monetization-standards/）。这不会影响我们的编辑独立性。* Rebecca Bellan 是 TechCrunch 的高级记者，负责报道塑造人工智能的商业、政策和新兴趋势。她的作品也曾出现在 Forbes、Bloomberg、The Atlantic、The Daily Beast 及其他媒体上。 您可以通过电子邮件 [[email protected]](mailto:[email protected]) 或通过 Signal 加密消息（rebeccabellan.491）联系或核实来自 Rebecca 的外联。 查看简介（https://techcrunch.com/author/rebecca-bellan/）