OpenAI 88小时攻克NS方程，弃领百万美元大奖

OpenAI 宣布，其使用一个比 GPT-6 Astra 更强大的未公开下一代模型，联合约 10000 个并发 AI Agent，耗时 88 小时攻克了千禧年难题之一的纳维-斯托克斯方程的存在性与光滑性问题。该问题悬赏 100 万美元，过去 90 年无人解决。OpenAI 同时发布了 166 页的推导论文和 Lean 形式化验证代码，并宣布放弃申领奖金，称此举旨在展示 AGI 正转变为推动前沿科学探索的引擎。Sam Altman 和 Greg Brockman 均对此给予高度评价。

纳维-斯托克斯方程描述流体运动，核心问题是三维流体在平滑初始条件下能否永远保持平滑，或是否会在有限时间内出现奇点。OpenAI 选择了允许构造光滑外力使方程无法在所有时间内维持光滑解的 C、D 方向。其构造中，流体受有限且光滑的外力作用，形成不断收缩和拉长的涡旋，导致局部速度在有限时间内趋于无穷，同时系统动能保持有限。证明难点在于不能依赖人为无限外力，各项需精确抵消。

研究中，OpenAI 将约 1 万个 Agent 拆分为不同小组，分别探索不同解题方向。部分 Agent 先解决了无外力欧拉方程的有限时间奇点问题，为后续提供了思路。中间成果定期汇总，由 Codex 整理并交叉传递。约 88 小时后系统找到解法，随后 GPT-6 Astra 花费 17 小时完成 Lean 形式化验证。整个项目 Agent 交换了 270 万条消息，消耗约 1300 亿 Token，算力成本达数百万美元。OpenAI 强调全程维持了安全监控和隔离环境。

消息公布后引发争议。纽约大学数学教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 声明，他们此前也在研究相近问题，并已于 8 月取得带光滑外力的欧拉方程结果。Buckmaster 质疑 OpenAI 模型是否访问过其未公开的 Codex 草稿，并称 OpenAI 曾提出将其单独列为纳维-斯托克斯论文作者，排除 Alpöge。OpenAI 研究员 Sébastien Bubeck 否认此说法，并展示聊天截图。OpenAI 官方回应称，其研究人员和 Agent 未在两人公开成果前看到其工作，但无法完全排除去标识化数据曾帮助模型训练，并强调两组工作解决的具体问题不同。

该内部模型从 8 月 28 日开始训练，未公布名称和参数，但数学能力提升显著。此次它带领 Agent 攻坚，而 Astra 仅负责后续验证。OpenAI 表示正集中精力理解该模型，并据此决定未来能力提升节奏。