OpenAI 说解决了千禧年难题，然后被数学家"手撕"了。

数学史级大新闻，愣被 OpenAI 整成连续剧。

先说它官宣了什么：一个仍在训练、能力超 GPT-6 Astra 的内部模型，拿下了纳维–斯托克斯存在性与光滑性问题——七大千禧年难题之一，悬赏 100 万美元。OpenAI 摇来约 1 万个 Agent，并行 88 小时、发 270 万条消息、耗约 1300 亿输出 Token，做出"流体在有限时间内冲向无穷大"的有限时间爆破证明，再由 Astra 跑 17 小时把它形式化成 Lean 版本查漏洞。《科学美国人》称"可能是数学界 20 年来最重要的一天"。

但掌声还没送出去，剧情就歪了。

传闻 OpenAI 9 月 1 日听到风声：有人快做出来了。那个团队，正是纽约大学 Buckmaster 和 Anthropic 研究员 Alpöge——两人沿"平滑外力构造爆破"路线研究一年，8 月 15 日刚拿下欧拉方程爆破，陶哲轩评价"了不起的成就"，并判断推进到纳维–斯托克斯"看不出根本障碍"。他们本想再花几周把 AI 草稿改得像人话（原版被称为"AI 垃圾"），结果硅谷不等人。

9 月 1 日 OpenAI 启动 Agent，9 月 5 日就跑完证明。而两人研究期间一直用 Codex，草稿和推导都放在会话里。Buckmaster 警觉发问：内部模型是否访问过你们的 Codex 会话、训练是否用了这些数据？OpenAI 否认"主动检索"，却留了句微妙的话：不排除两人使用产品产生的"去标识化数据"曾改进模型。

更火药的是发布博弈。据 Buckmaster 声明，OpenAI 研究员 Bubeck 两次希望把 Alpöge 排除作者名单——原因很简单，人家是 Anthropic 的。"你为什么要毁掉自己的职业生涯？""如果你不希望我友善，我也不必友善。"Bubeck 后来回应：说过但无威胁、已道歉；从未要求把 Alpöge 从两人欧拉方程论文除名，只是不愿让 Anthropic 员工署名 OpenAI 内部模型的工作。

最后还得泼盆冷水：OpenAI 证明的并非"无外力时流体自己会不会爆"这个核心版本，而是克雷题面允许的 C/D 两种情况（施加平滑外力后爆破）。按白纸黑字它通关了，但学界真正关心的无外力正则性，还没大结局。

百万美元的题，用数百万美元算力解出来，奖金连电费都报不了。至于这算数学突破还是硅谷商战，你品。🧮