一觉醒来，AI 又解决了困扰人类的上百年的数学难题。

OpenAI 宣布解决的千禧年大奖难题之一：三维 Navier–Stokes 方程的存在性与光滑性。

这个问题有多硬？

Navier–Stokes 方程描述流体（水、空气等）怎么流动，是天气、航空、湍流的核心数学模型。

Clay 数学研究所 2000 年把它列为七大千禧年难题之一，每题悬赏 100 万美元。

整个时间线，从方程到现在：

1822：纳维叶写下这些方程。
1845：斯托克斯将它们完善，并以他的名字命名。
1934：勒瑞证明弱解永恒存在，并留下光滑性问题未解。
2000：克雷数学研究所在这一空白上悬赏100万美元。费弗曼撰写正式声明，列出四个选项。
2014：罗和侯在数值模拟中观察到3D欧拉方程的爆破。
2016：陶哲轩证明平均纳维叶-斯托克斯方程的爆破。
2021：埃尔金迪证明粗糙数据的欧拉爆破。
2023至2026：科尔多瓦和马丁内斯-佐罗亚构建强制爆破，带有粗糙力。

核心问题是：三维光滑初始条件下，解会不会一直保持光滑，还是会在有限时间内「爆破」（速度变成无穷大，方程失效）。

此前只有庞加莱猜想被佩雷尔曼解决。

OpenAI 称其内部未发布模型（比刚出的 GPT-6 Astra 更强）加上约 1 万个并行 Agent，用了约 88 小时 和数百万美元算力，证明了：在施加光滑外力、能量始终有限的情况下，初始静止且光滑的流体可以在有限时间内产生奇点。这对应官方表述里的 C、D 条款。结果附带了 Lean 形式化验证。

OpenAI 明确表示不领那 100 万美元。

如果经得起审，这会是目前 AI 独立产出的最重要数学结果之一。

但争议也很快出现（图二直接爆粗口了）。

他说：这一整场精心策划的事件服务于一种绝望的财务议程，在IPO前夕的恐慌中，面对缩放定律的放缓以及投资者对基础模型盈利能力的日益怀疑，OpenAI需要制造一个人为的“人造斯普特尼克时刻”。声称解决了千禧年奖项却不立即将证明提交给传统同行评审，这意味着利用基础数学的声望作为廉价营销燃料，来膨胀一个妄想的估值！！！

纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 近一年来一直用 AI（包括 OpenAI 的 Codex 和 Anthropic 的 Claude）做流体方程爆破，已经在 Euler 方程（无粘性版本）以及带外力的变体上取得实质性进展，并把草稿、prompt 喂进了 Codex。

Buckmaster 的指控大致是：
OpenAI 是在听说他们的进展之后，才把大量算力砸到同一条很少有人走的「加光滑外力」路线上。
对方提出过署名方案：让他单独写 Navier–Stokes 论文，把 Alpöge 拿掉（理由是 Alpöge 在对手公司），通话里还出现过类似「你为什么要毁自己职业生涯」的话。
担心 Codex 里的未发表草稿被看到或间接进入训练。
OpenAI 的回应是：
他们是听闻「有人快解决千禧年难题」的传闻后才加码（传闻本身可能还被误传过）。
没有直接看过对方的 prompt 或证明，也没有为解题去翻用户数据。
两边证明并不完全一样（例如 Euler 部分有 forced / unforced 的差别）。
但承认「不能完全排除」去标识化的产品使用数据曾经帮助过模型变强。

目前双方各说各话，证明文本刚公开，数学界还在讨论。