OpenAI 证明 Navier-Stokes 引爆数学与 AI 圈论战

OpenAI 宣布其未发布模型调用的 1 万个智能体耗时 88 小时，证明了 Navier-Stokes 方程在特定条件下会产生物理上不可能的解（方程「破裂」），该问题关联 Clay 数学研究所 100 万美元千禧年大奖。随后数学界与 AI 圈围绕「是否真正解决问题」爆发激烈争论：多位数学家指其钻题设漏洞、只解出带外力的变体，Gary Marcus、Sabine Hossenfelder、Grady Booch 等人则就技术事实与 AI 能力边界展开多轮交锋。

已确认

• OpenAI 宣称由内部 LLM 生成的证明解决了带外力情形下的 Navier-Stokes 问题，动用 1 万个智能体、耗时 88 小时（m7）。
• 《科学美国人》报道了多位数学家的质疑，芝加哥大学 Luis Silvestre 等专家指出该证明利用外部力破解方程，可能「解错了题」（m17、m20、m1）。
• Gary Marcus 将争议拆解为三个层面：按 Clay 标准是否算解决（他认为算）；训练中是否依赖未发表工作（不清楚）；是否真正解决了物理学家关心的核心问题（他认为没有）（m4、m13、m8、m16）。
• Sabine Hossenfelder 力挺 OpenAI，认为其解决的就是克雷千禧年难题本身，并批评一些人在问题被解决后故意淡化其相关性、改口称「真正的问题」是别的东西（m18）。
• 博主汇总多位数学家观点：Navier-Stokes 问题有多个层面，OpenAI 只解决了其中一部分，官方推文表述存在夸大（m10）。
• 一位机械工程热流体教授认为该解法在物理上不可复现，只是「数学上的猎奇」，对湍流本质无增益（m3）。
• Grady Booch 重申：基于 Transformer 的 LLM 架构本质是下一词预测、非确定性统计引擎，外层符号化 harness 只是磨钝棱角；当代 AI 能做归纳与演绎，但尚无真正的溯因推理能力（m2、m5、m9）。
• Pedro Domingos 转引 martinmbauer 的辩护：问题本就包含有外力与无外力两种情形，只解出「有外力」不等于回避问题，并以麦克斯韦方程组的真空解类比；他还炮轰《科学美国人》的报道倾向（m11）。数学家 Paul Calhoun 也反驳了「避重就轻」的质疑（m1）。

尚未确认

• OpenAI 训练中是否依赖了未发表的人类数学家工作，Gary Marcus 明确表示不清楚（m4、m13）。
• Grady Booch 提到不少专家怀疑洞见并非来自 AI 本身，而是来自人类专家，此点暂无定论（m12）。

为什么重要

• 事件触及 AI 能力宣称的可信度问题：即便按形式化标准解决了千禧年问题，是否等同于解决科学核心问题，成为分歧焦点（m8、m13）。
• cloneofsimo 认为学界严重低估了 OpenAI 数学 Agent 已解决的问题量，反驳「偷学数学家 Codex 日志」的论调，但同时强调即使出现极强的证明生成机器，数学家的价值依然巨大（m6、m19）。
• austinc3301 主张求解 Navier-Stokes 显然需要智能，若一种智能定义排除这种表现，则该定义本身缺乏预测价值（m15）。
• Booch 借洞穴寓言提醒，模型内部发现的任何结构并非根植于模型自身的感知与行动，AI 社区两个阵营在互相错过对方观点（m14）。

2026-09-22 ~ 2026-09-23 · 20 条相关

事件全程(共 20 集)→

• 第 1 集:陶哲轩等25位菲尔兹奖得主联名警告AI冲击数学(2026-09-12,95 条)
• 第 2 集:AI 解题之后人类数学还剩什么：X 多方激辩(2026-09-12,26 条)
• 第 3 集:菲尔兹奖得主反AI公开信遭批：利益驱动的自我合理化(2026-09-12,2 条)
• 第 4 集:陶哲轩与 Litt 激辩：AI 时代纯数学会否沦为爱好而终结(2026-09-12,7 条)
• 第 5 集:数学研究者:AI 与数学的目标都不该是理解优先(2026-09-13,2 条)
• 第 6 集:Szepesvári 澄清数学家公开信：只反跑分不反 AI(2026-09-13,5 条)
• 第 7 集:25 位菲尔兹奖得主联署声明警告 AI 与数学界错位(2026-09-13,4 条)
• 第 8 集:Szepesvári：AI 冲击数学界「为好奇而好奇」的价值根基(2026-09-14,4 条)
• 第 9 集:菲尔兹奖得主联名警告 AI 数学风险，遭业界多方反驳(2026-09-14,2 条)
• 第 10 集:OpenAI 攻克百年数学难题，菲尔兹奖得主联名示警(2026-09-17,4 条)
• 第 11 集:菲尔兹奖得主 Gowers 撰文回应数学界 AI 联署公开信(2026-09-17,3 条)
• 第 12 集:AI密集攻破数学难题 OpenAI拿下Navier-Stokes问题(2026-09-18,2 条)
• 第 13 集:25位菲尔兹奖得主联署反对AI刷数学题(2026-09-19,2 条)
• 第 14 集:罗博深在陶哲轩博客撰文：AI 时代仍需人类数学家(2026-09-20,4 条)
• 第 15 集:OpenAI 称新模型解决百余数学难题并设数学家顾问组(2026-09-22,59 条)
• 第 16 集:OpenAI 证明 Navier-Stokes 引爆数学与 AI 圈论战(2026-09-22,20 条)
• 第 17 集:开发者质疑普通人能用 prompt 攻克科学难题(2026-09-22,3 条)
• 第 18 集:AI 实验室数学成果该不该即时公开引发圈内激辩(2026-09-22,14 条)
• 第 19 集:传OpenAI未发布模型24天解决百余个数学开放难题(2026-09-22,5 条)
• 第 20 集:顶尖数学家联署警告：AI 与数学界目标严重错位(2026-09-22,3 条)

• Grady Booch：LLM 本质仍是非确定性统计引擎 — Grady_Booch · 2026-09-22
• 「解出 Navier-Stokes 就是智能」：X 上激辩 AI 智能定义 — austinc3301 · 2026-09-22
• cloneofsimo:学界严重低估 OpenAI 数学 Agent 已解决的问题量 — cloneofsimo · 2026-09-22
• 观点:即便 AI 能证题,数学家的价值依然巨大 — cloneofsimo · 2026-09-22
• OpenAI 纳维-斯托克斯证明被指钻了题设漏洞 — joshgans · 2026-09-22
• Gary Marcus 质疑 OpenAI 对 Navier-Stokes 求解的夸大宣称 — GaryMarcus · 2026-09-22
• 数学家怎么看 OpenAI 的 Navier-Stokes 宣称：只解了一半 — ProfNoahGian · 2026-09-22
• 热流学教授：OpenAI 的 Clay 问题解法不可物理复现 — GaryMarcus · 2026-09-22
• Gary Marcus 拆解 OpenAI 物理争议:解决了 Clay 的问题≠解决物理学家的问题 — GaryMarcus · 2026-09-22
• 【源头】OpenAI 万个智能体 88 小时证明 Navier-Stokes 变体,却陷抄袭疑云 — DeepLearningAI · 2026-09-22
• 物理学家 Sabine 力挺 OpenAI:干掉的就是千禧年数学难题 — skdh · 2026-09-22
• 三位数学家质疑 OpenAI Navier-Stokes 工作:只需解 1 题却解 2 题被指避重就轻 — aran_nayebi · 2026-09-23
• Gary Marcus 转引质疑:OpenAI 千禧年大奖解题靠漏洞而非真解纳维-斯托克斯 — GaryMarcus · 2026-09-23
• 【源头】科学家质疑:OpenAI 解的 Navier-Stokes 是「错误版本」 — srchvrs · 2026-09-23
• OpenAI Navier-Stokes 进展引争议，Pedro Domingos 炮轰《科学美国人》 — pmddomingos · 2026-09-23
• Grady Booch 坚称 Transformer 本质仍是下一词预测，请求对方确认共识 — Grady_Booch · 2026-09-23
• Grady Booch 质疑：当代 AI 尚无真正的溯因推理能力 — Grady_Booch · 2026-09-23
• Grady Booch 质疑 AI 解 Navier-Stokes：灵感或来自人类专家 — Grady_Booch · 2026-09-23
• Grady Booch 以洞穴寓言质疑模型内部结构解释的真实性 — Grady_Booch · 2026-09-23

另有 1 条近重复转述:GaryMarcus