OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题

OpenAI 于 9 月 8 日宣布在千禧年大奖难题之一的纳维-斯托克斯（Navier-Stokes）方程上取得结果：约 10000 个协作 AI agent 借助比 GPT-6 Astra 更强的下一代模型，在 88 小时内得出解，全程施加强监控与隔离等前沿评估防护。据 New Scientist 报道，结论是方程描述的流体确实会在某些情况下速度发散（blow-up）。Greg Brockman 随后在 a16z 播客访谈中确认动用了 10000 个 agent 协作求解，并宣告 OpenAI 进入「AGI 时代」。此事在学界与社区引发广泛讨论：有人盛赞其价值堪比佩雷尔曼的工作，也有人质疑人类数学家早已完成关键突破、AI 的独立贡献与巨额投入产出比存疑。

已确认

• OpenAI 于 9 月 8 日宣布该成果；据前 OpenAI 员工 Oleg Murk（任职约 5 年）转发转述，官方称一群 Agent 借助比 GPT-6 Astra 更强的下一代模型给出了解；Noam Brown 亦参与转述。
• 官方描述的规模为约 10000 个协作 agent、88 小时完成，并施加强监控与隔离等评估防护；WSJ 报道口径为「数百万美元算力和几天时间」，社区多转述为约 1500 万美元。
• Greg Brockman 在 a16z 播客访谈中确认实际动用了 10000 个 agent 协作解决 Navier-Stokes 问题，并将此成果与「AGI 时代」的宣告相联系。
• 据 New Scientist 报道，该成果针对 Navier-Stokes 方程 blow-up 问题，结论是流体在某些情况下速度确实会发散。
• 康奈尔大学数学系教授、科普作家 Steven Strogatz 在 WIRED 采访中谈及 AI 近期数学突破时当场落泪，随后发帖尝试解释原因。
• 数学研究者 Scott Armstrong 回应外界对该 PDE 证明「不好读」的批评：论文确实不完美，但 PDE 分析领域被困扰 100 年、多数顶尖学者尝试均告失败，如今证明已通过 Lean 编译器检验，其价值堪比佩雷尔曼的工作。

尚未确认

• Robert Bhargava 提出核心疑问：人类数学家似乎已完成关键突破，AI 只是后续跟进，其独立贡献程度不明。
• danbri 帖子的回帖指出，相关成果其实已有数学家分别做出，只是散落在不同领域、封闭期刊与专业术语之中——此说法仍属社区推断。
• 网传「1500 万美元 token 预算」的具体表述未经证实，lescarr 也自注其吐槽属传闻，且其梗点在投入产出比而非数学本身。
• 「比 GPT-6 Astra 更强的下一代模型」的说法来自转发转述的官方口径，模型细节未公开。

为什么重要

• 计算复杂性博客作者 Bill Gasarch 曾放话「只有 AI 解决千禧年大奖难题才值得写文章」，此次事件迫使他撰文反思 AI 做数学的进展，可见其标志性意义。
• Brockman 在 a16z 播客中将该成果直接与「AGI 时代」绑定，使这一数学突破成为 OpenAI 能力叙事与市场传播的核心素材。
• Armstrong 的评价代表专业数学界的一种正面声音：Lean 编译通过意味着证明经受了形式化检验，为「AI 产出可信数学」提供了范例。
• 万级 agent 长时间自主协作求解前沿数学题的模式（88 小时、强监控与隔离），也被社区视为 AI 能力与安全评估的新样本。
• Reddit 用户 RaccoonMinimum172 质疑用数学问题当营销素材的倾向：若目标真是造福人类，花费数百万美元算力求解已接近解决的问题是否合理。lescarr 亦以投入产出比开涮：花 1500 万美元去博 100 万美元的千禧年奖金，对 OpenAI 来说只是日常操作。
• danbri 则给出另一面解读：把分散在封闭文献里的已解知识整合起来，本身可能正是 AI 的独特价值所在。

2026-09-14 ~ 2026-09-16 · 11 条相关

事件全程(共 20 集)→

• 第 1 集:传言称 GPT-6 攻克纳维-斯托克斯难题，可信度存疑(2026-09-05,2 条)
• 第 2 集:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(2026-09-09,13 条)
• 第 3 集:「存在性证明」效应：传闻可行就促 OpenAI 攻克难题(2026-09-09,3 条)
• 第 4 集:OpenAI 被指窃取数学家在研证明成果引风波(2026-09-09,6 条)
• 第 5 集:Anthropic 数学证明与合作抢跑争议持续发酵(2026-09-09,2 条)
• 第 6 集:传闻：OpenAI 逼近 Hodge 与 BSD 猜想，千禧难题或被连破(2026-09-10,27 条)
• 第 7 集:OpenAI 宣称攻克 Navier-Stokes，另一千禧难题亦有进展(2026-09-10,21 条)
• 第 8 集:数学家 Thom 指控 OpenAI 用其未发表研究训练 Astra，OpenAI 否认(2026-09-10,9 条)
• 第 9 集:纳维-斯托克斯成果署名争议发酵，AI 实验室抢发文化遭批评(2026-09-10,6 条)
• 第 10 集:OpenAI 否认 Codex 提示词影响训练，「窃取私聊数据」指控被指无据(2026-09-11,8 条)
• 第 11 集:OpenAI 千禧年大奖证明陷署名与抢发争议(2026-09-11,10 条)
• 第 12 集:AI 数学圈热议：千禧年大奖难题或终将失守(2026-09-11,2 条)
• 第 13 集:OpenAI 攻破千禧年难题后数学圈激辩 AI 价值(2026-09-11,8 条)
• 第 14 集:传 OpenAI 用内部模型冲击黎曼猜想与 P vs NP(2026-09-11,7 条)
• 第 15 集:OpenAI 纳维-斯托克斯证明复现通过但遭社区质疑(2026-09-11,2 条)
• 第 16 集:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(2026-09-12,18 条)
• 第 17 集:陶哲轩被指不满AI解题遭误读，数学价值之争引爆X(2026-09-12,18 条)
• 第 18 集:菲尔兹奖得主AI公开信引跨学科激辩(2026-09-12,6 条)
• 第 19 集:OpenAI 宣称解出 Navier–Stokes 爆破问题(2026-09-13,8 条)
• 第 20 集:OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题(2026-09-14,11 条)

• OpenAI 疑为纳维尔-斯托克斯难题砸 1500 万美元算力,效率存疑 — rbhar90 · 2026-09-14
• OpenAI 砸 1500 万美元算力攻数论问题，AI 价值或在于整合分散的人类成果 — danbri · 2026-09-14
• OpenAI 宣称解决纳维-斯托克斯千年难题，数学家撰文反思 AI 做数学 — fortnow · 2026-09-14
• WSJ 报道引热议:AI 烧数百万美元算力数天解数学题被指营销 — RaccoonMinimum172 · 2026-09-14
• 康奈尔数学教授 Strogatz 谈 AI 攻克数学难题当场落泪 — stevenstrogatz · 2026-09-15
• 【源头】OpenAI 称用约 1 万个并发 Agent 攻克纳维-斯托克斯千禧年难题 — DKokotajlo · 2026-09-15
• OpenAI 新模型 88 小时解纳维-斯托克斯,万级 agent 协作引担忧 — ZeroStateReflex · 2026-09-15
• 传 OpenAI 烧 1500 万美元 token 求解纳维-斯托克斯,只为 100 万美元奖金 — lescarr · 2026-09-15
• OpenAI 模型 PDE 证明通过 Lean 编译，学者称其价值堪比佩雷尔曼 — RexDouglass · 2026-09-15
• 【源头】OpenAI 称 AI 智能体破解 Navier-Stokes 方程 blow-up 难题 — AnnaCiaunica · 2026-09-15
• 【源头】Greg Brockman：OpenAI 用 1 万个 Agent 解出 Navier-Stokes，宣告进入「AGI 时代」 — josh_bickett · 2026-09-16