### [OpenAI说这次真的解决了80年数学难题，上次的尴尬还记得吗？](https://www.willai.cc/article/374)

**Published:** 2026-05-20T22:37:08

**Author:** hiyoho

**Excerpt:** OpenAI说这次真的解决了80年数学难题，上次的尴尬还记得吗？ 如果你最近刷到OpenAI又双叒叕宣布”解决数学难题”的消息，第一反应可能是：又来？ 确实，这话听着耳熟。7个月前，OpenAI时任副总裁Kevin Weil在X上发帖，信誓

## OpenAI说这次真的解决了80年数学难题，上次的尴尬还记得吗？

如果你最近刷到OpenAI又双叒叕宣布”解决数学难题”的消息，第一反应可能是：又来？

确实，这话听着耳熟。7个月前，OpenAI时任副总裁Kevin Weil在X上发帖，信誓旦旦地说GPT-5找到了10个此前未解的埃尔德什问题解决方案，另外11个也取得了进展。结果呢？被打脸了。那些”新解决方案”早就存在于现有文献中，压根不是什么新发现。

那次翻车之后，Yann LeCun、谷歌DeepMind CEO Demis Hassabis等竞争对手轮番嘲讽，Weil也只能默默删帖。可以说OpenAI在数学证明这件事上，信用已经透支得差不多了。

> 这次被解决的是保罗·埃尔德什（Paul Erdős）1946年首次提出的几何猜想。近80年来，数学家们普遍认为这个问题的最优解大致类似正方形网格。OpenAI的新推理模型把这种想法推翻了，发现了一种全新的构造族，性能更优。

但这次，OpenAI好像真的没吹牛。

这次OpenAI在X上发帖宣布消息时，还附上了数学家Noga Alon、Melanie Wood和Thomas Bloom的支持性评论。Bloom是Erdos Problems网站的维护者，就在7个月前，他还在社交媒体上称Weil的那条官宣是”戏剧性的不实描述”。这次他站出来背书，分量不轻。

### 不是专门训练出来的”数学天才”

OpenAI的说法是：这是”AI首次自主解决数学领域核心的著名开放问题”。而且特别强调，这个证明是由新的通用推理模型产出的，不是专门为了解这个数学题、甚至不是专门针对这个问题设计的系统。

换句话说，这是个意外之喜，不是定向训练的结果。这意味着模型的推理能力已经强到可以在没有专门训练的情况下，自主产出原创的数学证明。

这件事为什么重要？OpenAI的解释是：这意味着AI系统现在更有能力处理长难推理链，并且能以研究人员此前未探索过的方式跨领域连接想法。这对生物学、物理学、工程和医学都有重要意义。

![Erdős数学问题示意图](https://techcrunch.com/wp-content/uploads/2026/05/Erdos-problems.png?w=1024)

埃尔德什问题相关数学示意图 | 图源：TechCrunch

### 数学界会买账吗？

Thomas Bloom的声明说得很漂亮：”AI正在帮助我们更全面地探索几个世纪以来我们搭建的数学殿堂。还有哪些未被发现的美妙事物正等待被发掘？”

话是这么说，但数学界向来对计算机辅助证明持保留态度。1998年四色定理的证明用到了计算机穷举，至今仍有数学家觉得不够”优雅”。这次OpenAI给出的证明，能不能被数学界真正接受，恐怕还得看同行评审的结果。

不过有一点倒是挺有意思的：上次的尴尬过去才7个月，OpenAI就端出了一个有数学家背书的成果。是模型能力真的跃升了，还是这次学乖了、先找好背书再开发布会？

答案可能要等一等才能知道。但至少这次，OpenAI没有让自己再次成为笑话。

* * *

📎 原文来源：[OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch](https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/)

**Tags:** AI, OpenAI, 大模型

**Categories:** AI资讯

---