OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题
OpenAI 宣称其一个仍在训练中的内部模型(据 @r0ck3t23 转述强于市售的 GPT-6 Astra)动用约 1 万个相互协作的 AI agent,在 88 小时内解决了 Navier-Stokes 方程解的存在性与光滑性问题的两个关键界,全程执行前沿评估级别的安全监控与隔离措施。解法论文已在 OpenAI 官网开放,据 @AGI Hunt 整理附有 Lean 形式化验证;Quanta Magazine 报道称智能体在方程中找到了「奇点」,可能标志数学研究方式的重大转变。Ben Goertzel 估计 OpenAI 为此投入约 2200 万美元算力(@AGI Hunt 称耗费数百万美元,两说并存)。这是 AI 系统首次大规模攻克顶级数学难题,但目前仍以 OpenAI 单方面宣称为准。Two Minute Papers 已发布视频解读。
已确认
- OpenAI 于 9 月 8 日前后表示:内部模型在 88 小时内解出 Navier-Stokes 问题的部分证明,动用约 1 万个协作 agent,并声称在众多基准上实现「阶跃式」提升;解法论文已在官网开放。
- 据 @AGI Hunt 整理,证明附 Lean 形式化验证,算力耗费以百万美元计,折算相当于一个极度聪明的人不吃不喝连续工作约 100 年。
- 问题的历史脉络:1934 年 Leray 证明弱解存在,但解是否保持光滑悬置 90 年;2000 年被 Clay 数学研究所列为百万美元悬赏的七大千禧年难题之一。Navier-Stokes 是流体运动方程,涉及机翼气流、血液流动、天气与海洋等现象。
- @bengoertzel 评述 OpenAI 投入约 2200 万美元算力用于此次求解。
时间线
- 据 @haider1 整理:8 月 28 日重启 RL 训练;9 月 1 日模型被派去攻千禧年大奖难题,开始 88 小时求解运行时模型仅训练 4 天;一两天后团队切换到更好的 checkpoint,最终产出 Navier-Stokes 解答——此时初始训练甚至尚未跑完。
尚未确认
- 内部模型的具体能力细节、与市售模型的差距,以及最终是否通过完整同行评议获得 Clay 奖金,均以 OpenAI 单方面宣称为准,尚待独立验证;@AlexTensor 也以「科幻新闻」口吻转述,指尚无论文或官方公告佐证(该帖早于论文开放)。
- 据 @eyishazyer 转述,数小时内讨论焦点已从数学本身转向「功劳归属」的争论,相关争议细节尚无定论。
为什么重要
- @kacoef 指出这则新闻与 ZrTe₅ 量子实验突破暗藏同一套理论交点,暗示 AI 可能在多个前沿科学领域复用同一数学能力。
- @robleclerc 让 Grok 复盘后认为「作为数学终点并不意外」:Córdoba–Martínez–Zoroa 早已建立逐尺度放大加光滑外力的研究纲领,Alpög 等前人工作已铺路,AI 的成功是站在巨人肩膀上的必然一步,而非凭空创造。
2026-09-09 ~ 2026-09-11 · 13 条相关
- 第 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 内部模型 88 小时解出 Navier–Stokes,动用约 1 万个协作 Agent — TheMoonMidas ·
- OpenAI 万级 Agent 跑 88 小时,交出纳维-斯托克斯方程证明 — AGI Hunt ·
- OpenAI 纳维-斯托克斯突破:模型仅训练 4 天就开跑 88 小时求解 — haider1 ·
- Grok 复盘 AI 攻克 Navier-Stokes:站在巨人肩膀上的必然一步 — robleclerc · 2026-09-09
- 【源头】OpenAI 纳维-斯托克斯突破:模型仅训练 4 天就开跑 88 小时求解 — haider1 · 2026-09-09
- 曝 OpenAI 新模型 RL 仅两周:从重启训练到产出 Navier–Stokes 解 — haider1 · 2026-09-10
- 悬置 90 年的 Navier-Stokes 平滑性问题被 OpenAI 并行 agent 攻克 — r0ck3t23 · 2026-09-10
- 曝 OpenAI 内部模型宣称破解百年悬题纳维-斯托克斯问题 — AlexTensor · 2026-09-10
- 【源头】OpenAI 内部模型 88 小时解出 Navier–Stokes,动用约 1 万个协作 Agent — TheMoonMidas · 2026-09-10
- 传 OpenAI 用 1 万个 agent 88 小时攻克纳维-斯托克斯难题 — r0ck3t23 · 2026-09-10
- OpenAI 发布 Navier-Stokes 方程解法,人类与 AI 联手攻克数学难题 — Two Minute Papers · 2026-09-10
- OpenAI 万级 Agent 攻克 Navier-Stokes 界,与 ZrTe₅ 量子实验暗藏同一套方程 — kacoef · 2026-09-10
- Goertzel 长文:OpenAI 用 2200 万美元算力求解 Navier-Stokes — bengoertzel · 2026-09-10
- 【源头】OpenAI 万级 Agent 跑 88 小时,交出纳维-斯托克斯方程证明 — AGI Hunt · 2026-09-10
- OpenAI内部模型跑1万智能体88小时,称解出纳维-斯托克斯部分证明 — eyishazyer · 2026-09-11
- OpenAI 万个智能体攻破纳维-斯托克斯方程,千禧年大奖难题再减一 — fortnow · 2026-09-11