TL;DR：OpenAI 在 2026 年 9 月 8 日公布一份带光滑外力的三维纳维—斯托克斯有限时间奇点证明，称它对应 Clay 官方命题的 C、D 两条，并公开论文与 Lean 形式化代码。这个结果若经独立复核，将是重大数学进展；但“Lean 能编译”“数学共同体已经接受”和“发布过程没有争议”是三件不同的事。
上图为本期节目封面，是对数学主题的视觉演绎，不是证明本身或真实实验画面。
“AI 解出千禧年难题”足以让任何人停下来。但想判断这条消息，不能只问真假。我们还得问：它究竟证明了哪个命题？形式化验证提供了多强的保证？研究团队、同期工作和数据来源又是怎么交代的？
这三类问题互不替代。证明可能成立，发布过程仍可能引发争议；过程有争议，也不能反过来证明数学是错的。
🎬 视频版（B站）（7 分 14 秒）｜ 🟢 Spotify 订阅 ｜ 📖 偏好阅读？文字版就在下方 👇
截至 2026 年 9 月 12 日，本地 RSS 尚未发布第 033 期音频，因此这里不提供一个尚不存在的音频链接。
“爆破”不是水炸了，而是方程失去光滑性
纳维—斯托克斯方程描述有黏性流体的运动。Clay 的问题关心的是：三维、不可压缩、从光滑初始状态出发的流体，是否永远保持光滑，还是会在有限时间出现奇点。
OpenAI 公告描述的构造从静止、光滑的流体开始，施加符合条件的光滑外力；随后一个旋涡不断向内收缩、拉长，局部速度变得无界，而整体动能仍保持有限。这里的“爆破”是数学解在有限时间内出现无界行为，不是现实中的水突然爆炸，也不是说真实流体会达到无穷速度。
外力不是随便塞进一个无穷大的冲击。Clay 原题允许光滑、快速衰减的外力；OpenAI 称证明中的加速度、压力梯度、动量传递和黏性项虽然各自变大，却精确抵消，最后留下的外力仍然光滑。
为什么“带外力”仍可能算解题
Clay 的官方问题说明列出四个可成立的方向。OpenAI 声称建立了其中 C、D 两条：分别针对整个三维空间和三维周期环面，构造满足条件却无法保持全局光滑的解。其公开仓库进一步写明，对任意正黏性，都给出了含光滑初始数据与外力的相应结果。
因此，“用了外力”本身不能否定它符合题意。但它没有顺便解决一个更强、也更容易被大众误以为是同一问题的版本：完全没有外力时，三维纳维—斯托克斯方程是否也会爆破。
OpenAI 同时公布了无外力欧拉方程的结果。欧拉方程去掉了黏性项，不能与纳维—斯托克斯结论混为一谈。
示意图：三类问题需要三套证据，任何一项都不能替另外两项作答。
Lean 检查了证明，但还不是 Clay 盖章
OpenAI 公开了论文和 Lean 4 形式化仓库。Lean 会按照写入系统的定义、前提和逻辑规则检查推导，这比只发布一份难以逐行核对的长论文多了一层很强的证据。
不过，复核者仍要确认形式化命题与 Clay 原题一致、依赖的公理和定义合适、没有把关键结论藏进前提，并独立构建整个项目。OpenAI 的仓库提供了构建和独立检查说明，但本文没有重跑完整证明，也不冒充数学审稿或形式化验收。
截至 2026 年 9 月 12 日，Clay 网站仍把纳维—斯托克斯列在未解决问题中。按照 Clay 的规则，候选解答需要在合格出版物发表，至少经过两年，并得到全球数学界普遍接受，才会进入其考虑程序。OpenAI 也明确表示不打算申领奖金。
一万个智能体，不是一条提示词
按 OpenAI 的披露，团队 9 月 1 日启动多道难题的探索。产生纳维—斯托克斯结果的那组约有 10,000 个并发智能体；从最初启动到 9 月 5 日得到结果约 88 小时，随后使用 GPT-6 Astra 又花 17 小时完成 Lean 形式化和验证。
只算纳维—斯托克斯阶段，公告给出的规模约为 270 万条消息、1,300 亿输出词元；所有尝试合计约 490 万条消息、3,000 亿输出词元。公告没有披露内部模型的实际成本，因此把公开 API 单价直接乘上输出词元，只能得到假设下的估算，不能当成 OpenAI 的真实账单。
过程也不只是“给模型一道题等答案”。团队先让约 100 个智能体用约 50 小时处理无外力欧拉问题，随后把结果交给更多智能体，调整资源和模型版本，并用 Codex 汇总各组思路。这更像人类设计、调度和筛选的大规模研究系统。
数学结果之外，争议发生了什么
数学家 Tristan Buckmaster 在 9 月 8 日的声明中介绍了他与 Levent Alpöge 的私人合作。他们使用 Claude、Codex 等工具，公布了带光滑外力的三维欧拉方程等成果；这与 OpenAI 的带外力纳维—斯托克斯结论不是同一个命题。
Buckmaster 称，在 OpenAI 发布前的沟通中，对方曾提议由他单独改写 OpenAI 的证明、排除 Alpöge，并出现了他理解为涉及职业前途的措辞。他同时明确写道：自己没有看过 OpenAI 的证明，不知道其模型如何工作，也不知道他们的数据是否被使用；他的声明是在陈述沟通过程，并没有据此指控抄袭。
OpenAI 的公告承认 Alpöge 与 Buckmaster 在带外力欧拉问题上的优先成果，并称研究人员和智能体在对方公开前没有看到其工作。9 月 10 日，OpenAI 又更新公告，称内部调查确认 Buckmaster 在公告前两个月的 Codex 提示不可能以任何方式影响该系统，包括训练。这是 OpenAI 公布的调查结论，不等同于外部独立审计；但它也意味着，录制节目时“训练影响仍未获回应”的信息已经过时。
判断这次突破，至少等三份答案
第一份答案来自数学复核：论文和 Lean 形式化是否准确覆盖 Clay C、D 的全部条件，独立研究者能否重建并理解证明。
第二份答案来自研究叙事：哪些步骤由内部模型完成，哪些来自团队提示、方向调整、汇总和验证，已有数学工作又在其中扮演什么角色。
第三份答案来自研究治理：同期贡献如何确认，用户数据影响的调查能否提供足够可信的证据，沟通和署名规则能否经得起公开审视。
这三份答案不必互相捆绑。数学成立，不会自动替发布过程背书；沟通失当，也不会自动推翻一个正确证明。真正经得住时间的突破，应当既能被检查，也能把贡献和边界说清楚。
收看本期节目
节目主页：听懂 AI ｜ 本期 B站视频：BV1YsYQ6XEhE
原始资料与延伸阅读
本文由《听懂 AI》第 033 期《OpenAI 宣布破解纳维—斯托克斯：证明之外，为什么吵翻了？》整理而成，核对日期为 2026 年 9 月 12 日。节目采用脚本化双人对谈，不代表采访了 OpenAI、Buckmaster、Alpöge 或 Clay。OpenAI 的结果与资源数字均按其公告归因；本文没有独立验算证明。Buckmaster 的陈述与 OpenAI 的回应分别呈现，HN 只作为社区讨论入口。
- OpenAI：On the Navier–Stokes Millennium Prize Problem——2026 年 9 月 8 日公告，9 月 10 日更新了用户数据影响调查结论。
- OpenAI：NavierStokesAndEuler——Lean 4 形式化、构建方式与独立检查入口。
- OpenAI：Finite time blowup for Navier–Stokes——166 页分析证明原文；本文未独立验算。
- Charles L. Fefferman：Clay 官方问题说明——用于核对外力条件以及 C、D 命题。
- Clay Mathematics Institute：千禧年难题评审规则——候选解答的出版、时间与共同体接受条件。
- Tristan Buckmaster：2026 年 9 月 8 日声明——同期成果、沟通过程和数据疑问的一方陈述。
- Lean：Axioms and Computation——编辑阶段补充的形式化证明背景资料。
- HN：Buckmaster 声明讨论与 HN：OpenAI 公告讨论——社区观点，不作为数学事实依据。