五年了，没人敢碰的”千禧年难题”被AI啃了：OpenAI Bel写出100页证明，纳维-斯托克斯方程快要”结案”了

五年了，没人敢碰的”千禧年难题”被AI啃了：OpenAI Bel写出100页证明，纳维-斯托克斯方程快要”结案”了

2026年9月，纽约大学数学家 Tristan Buckmaster 发文证实：OpenAI 内部一款神秘模型——据称是下一代”Bel”——已经攻克了纳维-斯托克斯（Navier-Stokes）方程一大关键难题，并写出一份长达100页的严谨数学证明。

纳维-斯托克斯方程，千禧年七大数学难题之一。自2000年克雷研究所悬赏100万美元以来，全球数学家前赴后继，无人能破。现在，一个AI模型拿下了。

100页的手稿，至今没人拿到

消息的来源非常具体。

Tristan Buckmaster 是纽约大学流体力学与偏微分方程领域的专家。他公开表示，OpenAI 的内部模型已经攻克了”带光滑外力的三维纳维-斯托克斯方程”中一个关键的技术困难，并写成了100页的完整证明。

但诡异的是——Buckmaster 本人说，他自己还没拿到这份AI手稿。

这为整件事蒙上了一层神秘色彩。OpenAI 内部的一位数学家与 Buckmaster 有过交流，确认了研究成果的存在。但完整的100页证明原文，目前还锁在 OpenAI 的保险柜里。

Buckmaster 自己的4页分析手稿反而先在圈内刷爆了。他在其中解释了这条技术路径的核心思路：在已有流动上反复添加很小、很局部的高频扰动，一轮接一轮向更小尺度推进，最终构造出有限时间内失控的解。

菲尔兹奖得主陶哲轩随后用数千字推演了这条路线。他的判断是：原则上似乎没有什么阻止这条路线继续延伸，但不能排除最终去掉”外力”的可能。这意味着从”带外力”到”无外力”情形之间，还有巨大的技术鸿沟要跨越。

为什么是”Bel”？

这是公众第一次听到”Bel”这个型号名。

此前 OpenAI 的模型线包括 GPT 系列（5.6 Sol、6 Astra），而”Bel”据信是下一代旗舰推理模型的代号。如果它真的在9月初就已经写出了100页的数学证明，那么它的推理能力可能已经大幅超越了公众已知的任何模型。

更有意思的是时间线：

– 8月：Anthropic 有未发布研究模型试图证明黎曼猜想，虽未成功但将零点占比下界从41.6%推到了67.2% – 9月3日：传闻 Anthropic Claude 攻克 N-S 方程，传遍全网 – 9月5-7日：Buckmaster 连续发文，证实 OpenAI 模型走得更远

这场AI数学军备竞赛的节奏正在以周为单位加速。

100页证明，到底有多难？

纳维-斯托克斯方程是描述流体运动的基本方程。你身边每一样跟水、空气有关的东西——飞机翅膀的升力、河流的湍流、血液在血管里的流动——都受它支配。

但数学上，没人能证明它的解总是存在且光滑的。

这个问题的难度在于：三维 N-S 方程的”非线性项”和”黏性项”之间存在着极其微妙的竞争。非线性倾向于制造越来越精细的微小结构（湍流），黏性则试图把它们抹平。黏性系数 ν 越小，抹平的力量就越弱，精细结构就越容易无限增长，最终导致”爆破”。

Buckmaster 团队此前已经在 Euler 方程（ν=0，无黏性）的情形中成功构造了爆破解。但把同样的技术搬到 N-S 方程上，黏性项 νΔu 会直接吃掉那些高频结构——爆破还没发生，结构已经被抹掉了。

OpenAI Bel 的关键突破，据称就是找到了这样一种爆破机制：即使黏性存在，它也能让精细结构在黏性消化它们之前完成失控。

这个情形叫做”带光滑外力的三维 N-S 方程”——距离完全的无外力情形还差一步。但这一步如果能跨过去，就是100万美元 + 数学史上最重大的突破之一。

我的判断：别急着造神

上面说了这么多事实，现在说说我的看法。

第一，这确实是个大新闻，但别被”千禧年难题被AI攻克”这种标题唬住。 带外力情形是通往完整证明的一条路径，不是终点。人类数学家在这条路径上已经走了几年，AI 帮他们加速了，但距离最终解还有距离。

第二，100页证明没人看过，这是最大的不确定性。 Buckmaster 说得很清楚，”我还未拿到这份AI手稿”。一个没人能验证的证明，本质上和没有差不多。数学界的标准是同行评审，不是新闻稿。

第三，我更关心的是陶哲轩的警告。 他在回应这件事时做了一段极为深刻的推演：如果 AI 以黑箱方式解决了这类难题，数学界该怎么验证？当证明超过1000页、推理链超出人类理解极限时，”证明”这个词本身的意义是什么？

如果未来某个 AI 解决了千禧年难题，但它的推理过程没有任何人类能够理解，那么我们得到的不是答案，而是一个更深刻的问题：在 AI 面前，”理解”还重要吗？

尾声

不过话说回来，从2026年初GPT-5.2解决Erdős问题至今，AI已经在数学领域拿下了不下50个开放问题。费马大定理的形式化只用了11天，孪生素数上界从246压到186只用了一周，一周内9个理论计算机科学难题被一条流水线批量干翻。

AI 写100页数学证明这件事本身已经发生了。你信不信，纳维-斯托克斯方程的最终答案，大概率会在未来12个月内被 AI 或者与 AI 合作的人类拿下。

100万美元的悬赏，可能会落在一个没有数学博士学位的人或者一个模型身上。

到时候，数学界要想的就不是”AI能不能做数学”了，而是”人类数学家还能做什么”。