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 攻克纳维-斯托克斯千禧难题引热议(33 条相关)→
「漫话AGI」频道最新
- 「非 AI 证明」时代终结：没人再相信你没用过 AI — inductionheads · 2026-09-08
- 观点:阻止 AI 大规模取代工作的只剩成本这一道闸门 — CtrlAltDwayne · 2026-09-08
- GenAI 难撼 EA 体育摇钱树:75% 收入来自直播服务 — dioscuri · 2026-09-08
- 文章预测：到 2035 年机器人反而会让零售业就业增加 — broodsugar · 2026-09-08
- 连续创业重度 AI 用户自述：从 token 狂热转向搞定线下会议 — StewartalsopIII · 2026-09-08
- 工具民主化后短板暴露：idea guy 缺的不是工具而是执行力 — tekbog · 2026-09-08