Navier-Stokes 证明争议升级：Buckmaster 指控 OpenAI 抄近路并拒答质疑
eyishazyer · x · 2026-09-08
数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 花一年研究 Euler、Boussinesq 及 Navier-Stokes 变体方程，重度使用 Claude 与 Codex 生成候选证明，经人工验证改写并用 Lean 形式化核验，进展获陶哲轩称赞。随后传出 Anthropic 已解千禧年大奖难题的谣言，Buckmaster 主动联系 OpenAI 澄清工作独立，却被告知 OpenAI 内部模型用完全相同的技术路线产出了 100 页 forced Navier-Stokes blow-up 证明——而按其说法，OpenAI 首次在该问题上的 prompt 出现在其工作信息传到对方之后。他还质问模型是否在存有其 Codex 草稿的会话上训练过，未获明确答复。谈及发表时，他指控 OpenAI 提议将 Alpöge 从合作作者中除名（因其在 Anthropic 任职），遭其拒绝。Sebastien Bubeck 称指控「虚假且煽动性」并承诺回应；Noam Brown 声援，Anthropic 的 Sholto Douglas 则晒出一年前的邮件证明 Alpöge 早在 2025 年 9 月就就该问题联系过 Buckmaster——时间线对 OpenAI 不利。作者结论：若时间线属实，OpenAI 不是先到，而是知道去哪找答案。
所属事件:数学家称借LLM月内破解流体难题，控OpenAI抢发除名(8 条相关)→
「公司和人」频道最新
- OpenAI CFO 曾向投资人提议分享用户开发成果的部分知识产权 — teodorio · 2026-09-08
- 深度调查:Alpha School 训练营里学生到底经历了什么 — benjaminjriley · 2026-09-08
- OpenAI 首席科学家 Pachocki 呼吁前沿实验室放慢脚步 — cccalum · 2026-09-08
- Alpha School 高中生被要求发推涨粉 100 才算通过新式训练营 — benjaminjriley · 2026-09-08
- Shovel 咨询方法：先挖清工作流再决定自动化什么 — jdjohnson · 2026-09-08
- 博主直言：OpenAI 偷看 Codex 私有日志、暗中削弱模型毫不意外 — Linahuaa · 2026-09-08