OpenAI 用一万 AI 智能体攻克纳维-斯托克斯千禧年难题

北京时间 9 月 9 日 01:20，OpenAI 发布重磅消息：内部模型搭配约一万个 AI 智能体，宣称攻克了七大千禧年难题之一的纳维-斯托克斯方程问题。

这道难题聚焦三维流体运动，悬而未决近 90 年，克雷研究所为此悬赏 100 万美元。整套证明耗时 88 小时完成，后续 GPT-6 Astra 又花了 17 小时，用 Lean 工具做机器逻辑核验，同步放出 166 页论文与验证代码。OpenAI 表示不会申领这笔百万奖金。

可事情并没有就此盖棺定论。这次证明的前提是施加了光滑外力，并非大家最关心的无外力版本。而且 Lean 只能校验推导逻辑没有出错，并不等于数学界认可结论，最终还需要顶尖数学家进行长期同行评审。

消息一出立刻引发争议。纽约大学数学家 Tristan Buckmaster 公开质疑，认为 OpenAI 是在得知他团队相近方向研究后才启动项目，存在成果优先权纠纷的可能。目前克雷研究所尚未认定该难题已被解决。

参考来源：X。想继续跟进 AI 与数学的前沿讨论，欢迎到云栈社区和开发者们一起聊聊。