Buckmaster 称 OpenAI 宣称 AI 已解 Navier-Stokes 千禧难题，引发学术署名争议
kimmonismus · x · 2026-09-08
围绕 Navier-Stokes 千禧年难题爆发了一场激烈争论，以下是已知事实的梳理：
已发表的工作
- Alpöge 与 Buckmaster 基于 Córdoba 和 Martínez-Zoroa 的研究，用 Claude 与 OpenAI 模型证明了光滑流体在外力作用下如何发展出奇点，并发布了论文与 Lean 形式化，Terence Tao 也称赞了这一进展。
- 但其结果覆盖的是 Euler 方程及相关方程，并未解决额外涉及黏性的 Navier-Stokes 千禧难题；合适的扩展才可能解决它。
争议部分
- Buckmaster 称，OpenAI 于 9 月 6 日告知他其内部模型已产出带外力的 forced Navier-Stokes 证明，可能完成了最后一步。该说法未经验证，他也没见过该证明。
- 他表示 OpenAI 的投入始于其团队进展的消息传到公司之后，并质疑「极少人类参与」的说法：实际是团队作战、多次尝试、大量算力。
- 他还称 OpenAI 的发表提议包括让他单独署名撰写 OpenAI 的结果、不带 Alpöge，理由是 Alpöge 任职 Anthropic 构成障碍；他说在表示要公开时被问「为什么要毁掉自己的职业生涯」。
- Bubeck 公开否认针对他的指控，称其为「虚假且煽动性」的说法。目前也没有证据表明 OpenAI 在他们的私有 Codex 会话上训练或窃取草稿——Buckmaster 本人明确写道「我不知道我们的数据是否被使用」。
tl;dr：两人用 AI 取得了与千禧难题相关的实质进展但未解题；OpenAI 私下宣称其模型已完成剩余一步，传闻称其完全解决了千禧难题，均未证实，争论已演变为学术优先权与署名的纠纷。
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「漫话AGI」频道最新
- 反 AI 内容算法爆火很赚钱，作者：两边都在卖货 — annetgriffin · 2026-10-26
- 硅谷解读：斯坦福 20 公里圈五巨头市值约 18 万亿美元 — FinanceYF5 · 2026-10-26
- 从 Claude 到 AlphaEvolve：AI 自我改进离「奇点」还有多远 — Exponential View (Azeem Azhar) · 2026-10-26
- 人形机器人两年跑赢人类：半马破纪录、百米超博尔特 — ben_j_todd · 2026-10-26
- Stephen Casper 播客畅谈：AI 会否成为网络空间的「寄生(peer)物种」 — StephenLCasper · 2026-10-26
- EMNLP 主题演讲背后：用语言模型「模拟学习者」生成儿童语言习得新假设 — najoungkim · 2026-10-26