#AI
OpenAI 公布 Navier-Stokes 解，NYU 数学家指控学术不端
OpenAI 于 2026 年 9 月 8 日公布对 Navier-Stokes 千禧年难题的 AI 解，包括一份手稿与 Lean 形式化证明。公司称结果由一个比 GPT-6 Astra 更强的内部模型得出，动用约 1 万个并发智能体。
争议随之而来。NYU 数学家 Tristan Buckmaster 指控，OpenAI 在听说他与 Anthropic 研究员 Levent Alpöge 的非对称路线进展后加大投入抢先求解，并试图将 Alpöge 从署名中移除。Buckmaster 称 OpenAI 研究员 Sébastien Bubeck 两次要求删除 Alpöge 的署名，并当面说「为什幺毁掉你的职业生涯」。
💡 为什么值得看OpenAI 内部模型解千禧年难题，遭 NYU 数学家指控抢发并删稿，影响学界公信。
事件时间线
- **8 月中旬**：Buckmaster 与 Alpöge 声称取得多项突破，开始相信找到了 Navier-Stokes 特定变体的爆破解。
- **8 月 28 日**：OpenAI 开始训练新的数学能力模型。
- **9 月 1 日**：OpenAI 官方称在听说相关传言后加大投入解决该问题。
- **9 月 6 日**：OpenAI 完成求解与 Lean 验证，随后接触两位数学家提议联合发布。
- **9 月 8 日**：Buckmaster 公开指控，OpenAI 发布完整解。独立验证尚未完成。
目前核心争议不在于数学证明是否正确，而在于研究时序与署名伦理。OpenAI 承认从 9 月 1 日开始投入，而 Buckmaster 与 Alpöge 的路线被双方都认定为极少数人在做的方向。
查证
来源与可信度
孤证
· OpenAI 于 2026 年 9 月 8 日公布了 Navier-Stokes 千禧年难题的 AI 解，包括一份手稿与 Lean 形式化证明。
[1]
强
· NYU 数学家 Tristan Buckmaster 指控 OpenAI 在其与 Anthropic 研究员 Levent Alpöge 的工作流传后加大投入抢先求解，并试图将 Alpöge 从署名中移除。
[3][4][5]
延伸阅读
Wired 报道了 OpenAI 与 Buckmaster 之间的完整沟通经过，是理解指控细节的关键一手叙事。
TechCrunch 给出了 3000 亿输出 token、按 Astra 当前费率约 2250 万美元算力成本的估算，视角偏产业。
The Decoder 追加了 Noam Brown 的评论与 OpenAI 官方回应原文，适合想跟进双方说辞演化的读者。