OpenAI 万级Agent宣称破解Navier-Stokes难题引争议
OpenAI宣布其由约1万个自主AI Agent组成的群体在未公开的先进模型上运行88小时，在三维Navier-Stokes方程中找到「blowup」奇点，并在Lean中完成形式化证明，宣称解决了这一悬置约90年的千禧年大奖难题。据Quanta Magazine报道，该问题关乎三维光滑流体运动的数学描述是否会崩塌，是数学最前沿的深层难题之一。消息公布后即在数学界与AI社区引发激烈争议。
已确认
- OpenAI官方宣布给出Navier-Stokes千禧年大奖难题的一个解，证明由Agent群体完成并在Lean中形式化（@dlweekly，据Quanta Magazine报道）
- 规模数据：约1万个并发Agent、运行88小时、交换270万条消息、消耗约1300亿token（@HealthyOutcome7897）
- 据《卫报》报道，OpenAI投入约1万个自主Agent攻坚，据估算花费约1500万美元（@nordicinst；其帖题中「1.5亿美元」与正文「1500万美元」不一致，存疑）
尚未确认
- 具体花费金额在不同帖文中口径不一（1500万美元 vs 1.5亿美元）
- 所用模型未公开，成果的完整数学有效性尚待学界独立验证
为什么重要
- 一位NYU教授对OpenAI成果的表述与实际含金量公开表达不满，Fireship新视频亦拆解了双方论点与「AI解数学题」宣传口径的争议
- @HealthyOutcome7897认为宣传夸大了前沿模型的真实能力：这不是单个模型的灵光一现，而是工业级树搜索
- @pstAsiatech指出此事无需数学背景也能理解：它证明AI进展正在加速，但同时带来令人担忧的风险面，构成加速与风险并存的双面叙事
- @arvolog转述的Reddit讨论显示，这一突破已引发从业者焦虑：有用户将其类比2016年AlphaGo战胜李世石，怀疑现在认真学AI是否已经太晚
- 若成果最终成立，将是AI辅助数学研究的标志性案例；若宣传失实，则加剧公众对AI能力宣传的不信任
2026-09-12 ~ 2026-09-13 · 7 条相关
- 第 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,7 条)
- 第 17 集:陶哲轩「不满AI解题」说法被指误读，数学价值之争引爆X(2026-09-12,18 条)
一手来源
- OpenAI 万级 Agent 协作 88 小时,Lean 形式化证明 Navier-Stokes 奇点 — dl_weekly ·
- Navier-Stokes 证明背后：1万 agent 跑88小时、1300亿 token — Healthy_Outcome7897 ·
- OpenAI 用1万个Agent烧1.5亿美元攻克千禧年数学难题 — nordicinst ·
- OpenAI 宣称破解 90 年老难题,NYU 教授公开泼冷水 — Fireship · 2026-09-12
- AI 攻克千禧年数学难题：加速进展背后的双面叙事 — pstAsiatech · 2026-09-12
- 【源头】Navier-Stokes 证明背后：1万 agent 跑88小时、1300亿 token — Healthy_Outcome7897 · 2026-09-12
- 【源头】OpenAI 用1万个Agent烧1.5亿美元攻克千禧年数学难题 — nordicinst · 2026-09-12
- 【源头】OpenAI 万级 Agent 协作 88 小时,Lean 形式化证明 Navier-Stokes 奇点 — dl_weekly · 2026-09-13
- OpenAI 宣称用智能体群攻克悬置 90 年的纳维-斯托克斯难题 — CurieuxExplorer · 2026-09-13
- 「现在入行 AI 是否太晚」:OpenAI 攻克千禧年难题引发讨论 — arvolog · 2026-09-13