OpenAI 宣称 AI 解 Navier-Stokes 难题引数学界质疑
OpenAI 于 9 月 8 日前后宣称其 AI 智能体解决了千禧年大奖难题之一的 Navier-Stokes 方程存在性与光滑性问题,该问题悬赏百万美元。宣称随即在数学界引发广泛争论,焦点集中在成果的独立性、署名归属、求解对象是否为原始难题以及 OpenAI 宣传的可信度;由于 OpenAI 尚未公布解法,目前没有独立验证的完整证明。
已确认
- 据 @emmanuelvivier 转述的 Wired 报道,NYU 教授 Tristan Buckmaster 与数学家 Levent Alpoge 一直在独立研究该问题;Buckmaster 公开指控 OpenAI 在得知该问题接近被解决后,部署数万个 agent 抢先完成成果,涉嫌「偷用」其 Codex 会话中的研究思路。
- 据 @scientificamerican 与 @PolarBearby、@AnkaReuel 转述的《科学美国人》报道,三位数学家指出 OpenAI 的证明「钻了题目空子」:其求解的可能是对参数/假设作了不同设定后的变体问题,而非数学界公认的原始千禧年难题,等于「回避了问题本身,而非解决它」。
- 据 @nordicinst 转述的《卫报》社论,数学界部分人士称此事件引发该领域的「存在性危机」,批评者指出 OpenAI 的结果仍依赖人类数学家,人类对该成果不可或缺。
- 据 @burnytech 转述,@polynoamial 澄清 AI 并非陶哲轩团队解决 Navier-Stokes 的功臣;@hallerite 亦表示千禧年难题不会就这么被解决,前沿模型目前也无法协调 1 万个 agent 的集群。
- 据 @teortaxesTex,Rohit Krishnan 转发相关消息并惊呼「This is insane!」;由于 OpenAI 未披露解法,teortaxesTex 建议一个双赢做法:先公开无歧义的问题描述及答案的哈希,供外界在官方正式发布前验证与复现。
- 据 @gerardsans,AI 研究者 Gerard Sans 指出 OpenAI 并非第一次向公众歪曲技术细节,而是多年反复出现的行为,建议对 OpenAI 的任何公告都当作营销看待,即「一点技术真理加大量夸张」。
- 据 @IAmSamFin,Sam Fin 转引一条「半小时得到 27 个引理」的推文,半开玩笑开价 10 亿美元换 20 分钟内给出 50 个引理;他并补充背景称,据称 OpenAI 在 Navier-Stokes 上的突破实际只是一个引理。这一说法与学界对成果实际分量的质疑相互呼应。
- 据 @burnytech 转述的 New Scientist 报道,数学领域数百年来仅经历印刷术与计算机两次根本性扰动,AI 的冲击被认为更为剧烈,数学家角色面临重塑。
- 并非所有研究者都持否定态度。据 @acoolrandomusername,研究者 Acer 发文称 OpenAI 的内部数学模型已解决让研究者「彻夜难眠」的数学难题,批评学界仍在以「那不过是 Erdős 问题」的论调持续低估这一领域取得的重大进展。
- 据 @skdh,在 Gary Marcus 参与的相关争论中,物理学家 Sabine Hossenfelder 为 OpenAI 辩护称,所采用的策略在 Clay 数学研究所的规则下是明确被允许的,数学家事后改口称「这不是我们本意」的说法站不住脚。
- 据 @arannayebi 转述 @haider1 的帖子,OpenAI 新训练的内部模型除宣称攻克 Navier-Stokes 外,还声称在数学大多数领域解决了 100 多个长期悬而未决的开放问题,进展速度令 OpenAI 内部数学家都感到意外;该说法同样未经独立验证。
尚未确认
- OpenAI 宣称的成果本身、解法细节、「部署数万个 agent 抢先完成」的指控细节、「求解的是变体而非原始难题」的质疑、「成果只是一个引理」的说法,以及「另解决百余个开放问题」的说法,目前主要来自媒体转述与当事人单方说法,尚无独立验证的完整证明、求解对象确认与署名结论。
为什么重要
- 这一事件集中暴露了 AI 参与前沿数学研究时的知识产权与署名难题:模型训练与会话数据可能吸收未发表的研究思路,成果归属难以界定。
- 《科学美国人》的质疑与 Hossenfelder 依 Clay 规则的辩护形成直接冲突:争议核心在于「解的是什么题」以及事后变更判题标准是否合理,凸显重大科学宣称需要精确界定求解对象并接受独立核查;公开题目与答案哈希等可复现机制可作为降低信任成本的折中方案。
- 舆论呈现两极:一面是对夸大宣传的反弹与对人类数学家作用的坚持,另一面是如 Acer、Hossenfelder 所代表的观点——学界可能系统性低估 AI 数学能力进展。这一分歧本身值得关注。
- OpenAI 多次被指夸大宣传,进一步削弱公众与学界对 AI 实验室重大宣称的信任,凸显对厂商公告独立核查的必要性。
2026-09-20 ~ 2026-09-22 · 16 条相关
- 第 1 集:Navier-Stokes 证明之争:万级 agent 集群贡献几何(2026-09-18,12 条)
- 第 2 集:Noam 澄清:多智能体对千禧年难题贡献不足 10%(2026-09-19,3 条)
- 第 3 集:AI 解 Navier-Stokes 耗 1300 亿 token 价值引热议(2026-09-20,2 条)
- 第 4 集:曝 OpenAI 用约 1 万个 Agent 协作攻克 Navier–Stokes 难题(2026-09-20,2 条)
- 第 5 集:OpenAI 宣称 AI 解 Navier-Stokes 难题引数学界质疑(2026-09-20,16 条)
一手来源
- OpenAI 称解出 Navier-Stokes,被质疑「偷用」数学家的 Codex 会话成果 — ExamImmediate8956 ·
- 数学家指控 OpenAI 抄其思路抢先解 Navier-Stokes,却仍离不开用 AI — emmanuelvivier ·
- 《科学美国人》质疑:OpenAI 可能解错了 Navier-Stokes 问题 — scientificamerican ·
- 【源头】数学家指控 OpenAI 抄其思路抢先解 Navier-Stokes,却仍离不开用 AI — emmanuelvivier · 2026-09-20
- 【源头】OpenAI 称解出 Navier-Stokes,被质疑「偷用」数学家的 Codex 会话成果 — ExamImmediate8956 · 2026-09-20
- OpenAI 宣称 AI 智能体解决 Navier-Stokes,数学界质疑成果独立性与署名 — nordicinst · 2026-09-21
- OpenAI 攻克 Navier-Stokes 相关难题,数学家角色面临重塑 — burny_tech · 2026-09-21
- 别指望前沿模型协调万级agent集群,Navier-Stokes并非AI立功 — burny_tech · 2026-09-21
- 网友历数 OpenAI「误导公众」前科:Navier-Stokes 证明引数学界反弹 — gerardsans · 2026-09-21
- 研究者批 OpenAI 常年夸大宣传:把公告当营销看 — gerardsans · 2026-09-21
- 【源头】《科学美国人》质疑:OpenAI 可能解错了 Navier-Stokes 问题 — scientificamerican · 2026-09-22
- 三位数学家质疑 OpenAI 纳维-斯托克斯证明:钻了题目空子 — PolarBearby · 2026-09-22
- OpenAI 未公布解法引热议,网友建议公开题目与答案哈希供复现 — teortaxesTex · 2026-09-22
- OpenAI 内部数学模型解题引争议:研究者称学界持续低估其意义 — acoolrandomusername · 2026-09-22
- OpenAI 不公开解题方案,网友呼吁发布题目与哈希 — teortaxesTex · 2026-09-22
- 曝 OpenAI 内部新模型声称攻克纳维-斯托克斯问题等百余数学难题 — aran_nayebi · 2026-09-22
- 网友称 20 分钟可出 50 个数学引理,OpenAI 解 Navier-Stokes 进展实为一个引理 — IAmSamFin · 2026-09-22
- 三位数学家质疑 OpenAI 纳维-斯托克斯解:回避问题而非解决 — AnkaReuel · 2026-09-22
- 数学家质疑 AI 证明争议:策略符合 Clay 标准何谈不算数 — skdh · 2026-09-22