OpenAI说AI攻克了哥德巴赫猜想，数学界：？？？

2026年8月1日，OpenAI宣布了一个重磅消息：

他们尚未发布的模型 Astra，在数学领域取得了重大突破——一口气解决了10个悬而未决的数学难题。

消息一出，媒体炸了。

「AI证明哥德巴赫猜想！」 「数学的末日来临！」 「人类数学家要被取代了！」

然后呢？

然后数学界给出了一个非常安静的回应：

哦。

所以，AI到底证明了什么？

先说清楚一件事：Astra 证明的不是经典的哥德巴赫猜想（那个「任一大于2的偶数都可表示为两个素数之和」）。

它证明的是一个与Liouville函数相关的变体，叫做弱Liouville形式猜想。

这是什么东西？

简单说：哥德巴赫猜想是数学皇冠上的明珠，几百年来无数数学家前赴后继都没能完全证明。而Astra证明的，是哥德巴赫的一个远房亲戚——相关但不同。

不是攻克了主Boss，而是清了一波副本来练级。

当然，即便是这个成就，也已经非常了不起了。

数学界为什么这么冷静？

换作以前，你要是能证明这么一个问题，早就上《自然》封面、拿菲尔兹奖候选了。

但这次，数学家们的反应像极了A股散户看利好消息：

先看看再说。

原因是多方面的：

第一，AI的证明，AI自己能看懂吗？

Astra给出了一个证明，但就连OpenAI的研究人员也承认，他们不完全理解模型为什么能找到这个证明。AI是黑箱，这是老问题了。你让AI给你一个证明，但它说不出「为什么这样证明」，这在数学圈子里，就很难被直接接受。

第二，数学证明需要人类验证。

一个数学证明的意义，不仅在于结论正确，还在于证明过程能被数学家理解和检验。到现在为止，主流数学期刊还没有正式接收任何一个Astra的证明。形式化验证（用Lean等证明助手检查）正在进行，但需要时间。

第三，上一次「AI证明数学难题」的消息，最后怎么样了？

2023年，有团队宣布用AI证明了某个组合数学定理。结果呢？证明后来被发现有漏洞。

数学家们不是不信任AI，他们只是被训练过了——被训练出了良好的风险管理意识。

AI到底强不强？强。但说「取代数学家」？

这么说吧：

Astra的成就，相当于一个学生背熟了所有棋谱，然后在棋类比赛中赢了特级大师。

但数学家做的工作，不只是「解题目」。

他们提出问题、构建框架，建立直觉、发现联系——这些恰恰是AI目前最欠缺的部分。

AI可以证明已有的定理，但下一个黎曼猜想是谁提出的？下一个费马大定理是谁把问题框架定义清楚的？

提出问题，比解决问题更难。

结论

所以，AI确实在数学领域取得了令人瞩目的进展。Astra的工作是真实的、有价值的。

但如果你看到新闻标题写「AI攻克了哥德巴赫猜想」——

标题党。

真实的表述应该是：AI在数学定理证明领域取得了重要进展，部分成果正在接受同行验证。

这当然值得关注，但离「AI取代数学家」，大概还差一个菲尔兹奖的距离。

题外话：OpenAI把这件事安排在8月1日宣布，不知道是不是故意的。数学界的朋友们大概也在想：这到底是新闻，还是愚人节节目？