AI 一个月攻克流体方程爆破证明,OpenAI 被指控截胡并威胁学者

AI寒武纪 · wechat · 2026-09-08

纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 公布三项重磅成果：证明了光滑外力下多孔介质方程、Boussinesq 方程与三维不可压缩欧拉方程的有限时间爆破，相关证明已通过 Lean 形式化验证，陶哲轩第一时间称赞并解析了其数学内核。研究借助 Claude、Codex 等模型，在一个月内完成关键证明。

伴随论文发布的还有一份四页声明，指控 OpenAI 高管 Sébastien Bubeck 得知进展后组织内部团队截胡，并要求把在 Anthropic 工作的 Alpöge 从作者名单中剔除；遭拒后对 Buckmaster 发出「毁掉职业生涯」的威胁。Buckmaster 拒绝两个方案后决定公开全部草稿、Lean 代码与内幕说明。这一事件把 AI 在顶级科研中的角色、成果归属与学术道德问题推上台面。