OpenAI 刚宣布，他们的 AI 系统解决了 Navier–Stokes 方程的一个核心难题。

这个问题困扰数学界已经接近 90 年，也是七大千禧年难题之一。

Navier–Stokes 方程可以理解成描述流体运动的数学方程。水怎么流、空气怎么运动，背后都和它有关。

这次的问题很简单地说就是：

一个原本非常平滑的流体状态，在三维情况下，会不会在有限时间内出现“奇异性”？

数学家研究了几十年，一直没有完整证明。

OpenAI 给出的答案是：**会。**

他们说，内部 AI 系统找到了一个解析证明，之后又把证明进行了 Lean 形式化。

还有个数据挺夸张：

整个项目用了大约 1 万个 AI agents 并行探索不同的证明路线。

9 月 1 日开始，9 月 5 日得到 Navier–Stokes 的结果，前后大约 88 小时。之后又花了约 17 小时做形式化验证。

这件事目前最大的看点，在我看来是 AI 已经开始碰到“数学研究”这件事了。

以前我们看到的 AI 数学能力，大多还是解题、证明已有结论、辅助数学家工作。

如果这次证明最终经得住数学界的独立检查，那就完全是另一回事了。

因为它意味着 AI 不只是把已有知识算出来，而是在探索人类还没有解决的问题。

当然，现在还不能直接宣布“数学界已经解决 Navier–Stokes”。

这是 OpenAI 的正式声明，后面还要经过独立数学家的检查和同行审查。

但光是 AI 能在这种级别的问题上找到候选证明，我觉得已经足够值得关注了。

AI 的上限，可能真的开始从“生产内容”往“生产知识”走了。