OpenAI 称一万个智能体 88 小时证出纳维-斯托克斯方程爆破解，NYU 数学家指其抢跑

百万美元奖金的千禧年难题，这次不是被一个天才在阁楼里攻克的，而是被一万个 AI 智能体用一周算力「围剿」的——还顺带引发了一场抢功官司。

三个关键信息

OpenAI 9 月 8 日公布：一个未发布模型带着约 1 万个智能体，用约 88 小时找到了纳维-斯托克斯方程的爆破证明。 结论是三维不可压缩纳维-斯托克斯方程在光滑初值和光滑外力下可以在有限时间内出现奇点。据 TechCrunch，整个项目一周内消耗约 3000 亿输出 token，按现价折合约 2250 万美元算力。

克雷数学研究所尚未认可，数学界争议不小。 该所仍把问题列为未解决，证明也未经独立验证；不少数学家指出，这个证明依赖外力项，而他们真正关心的是无外力版本。

NYU 数学家 Buckmaster 指 OpenAI 抢跑。 他与 Anthropic 研究员 Alpöge 借助 Claude 研究相关问题约一年，8 月 15 日证明了更简单的欧拉方程爆破。OpenAI 的智能体攻坚 9 月 1 日才启动，起因是听到了「有人快解出来了」的传闻。OpenAI 否认看过两人的工作，但承认两人使用其产品产生的去标识化数据，可能帮助了模型改进。

王斗视角

先把「AI 解决千禧年难题」的标题放一放，看账本：2250 万美元、3000 亿 token，换来一个克雷研究所还不肯盖章、而且带着外力项的证明。这个奖金才 100 万美元，OpenAI 花了二十多倍的钱去抢一个头衔——这是营销预算，不是科研经费。真正值得警惕的是它的打法：学者磨了一年、刚摸到门，传闻一出，一万个智能体连夜冲上去，88 小时把人家的方向铺满。以后谁还敢在做出来之前跟同行聊进展？更尴尬的是那句「去标识化数据可能帮助了模型」：翻译过来就是，你用我的产品做研究，你的思路可能变成我的燃料，然后我用它来跟你抢发表。数学从来讲究谁先证明；现在变成了谁的 GPU 先烧完。

来源：TechCrunch · Scientific American · Interesting Engineering