Tristan Buckmaster指控OpenAI在其成果信息传达后数日才发出首个提示，且未回答其模型是否经训练接触过他们在Codex中的草稿
事件全貌
AI 综述数学家Tristan Buckmaster与供职于Anthropic的合著者Levent Alpöge利用AI模型（主要使用OpenAI的Codex）在纳维-斯托克斯方程这一千禧年难题上取得重大进展。Buckmaster公开指控，在其团队研究进展信息被传给OpenAI后，OpenAI声称已通过内部模型完成证明，且其首个提示词是在收到Buckmaster团队信息后数日才发出。Buckmaster质疑OpenAI采用了他们私下选择的、鲜为人知的“外力驱动”研究路径，并怀疑OpenAI可能使用了他们存储在Codex中的草稿数据进行训练，但未获明确答复。
Buckmaster进一步指控，OpenAI研究员Sébastien Bubeck两次要求他将合著者Alpöge从论文中移除，原因是Alpöge在竞争对手Anthropic工作。Buckmaster称，在他拒绝后，Bubeck曾发出“你为什么要毁掉自己的职业生涯？”以及“如果你不希望我对你客气，那我也不必客气”等言论。Buckmaster表示，他公开陈述事实是因为“不想让一系列公告说出我知道是虚假的内容”。
OpenAI方面，据Buckmaster称，曾提出两种方案：一是Buckmaster和Alpöge先发表他们的欧拉方程结果，OpenAI次日发表自己的结果；二是Buckmaster单独发表纳维-斯托克斯方程结果并致谢OpenAI内部模型。两种方案均要求移除Alpöge。Buckmaster拒绝了这些方案。OpenAI尚未对这些指控作出公开回应。Buckmaster本人明确表示，他并未指控任何人，也未见过OpenAI的证明，不知道其模型具体做了什么，也不知道自己的数据是否被使用。
AI 汇总报道生成 · 18分钟前更新。单篇报道保留其发布时的原貌。
最新情况详见事件全貌。
报道时间线
沿着报道，了解事件的不同侧面。
- OpenAI 纳维-斯托克斯方程证明争议：Buckmaster 指控不当行为，各方回应引出开放科学之问
数学家 Tristan Buckmaster 指控 OpenAI 施压、拒绝其合作者 Levent Alpöge（任职于 Anthropic）署名，且可能用两人上传到 Codex 的草稿训练模型，称其为绝对学术不端。
- 纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明
纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。
- OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
- Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
- NYU 数学家指控 OpenAI 抢发 Navier–Stokes 证明并施压，OpenAI 公布完整证明回应
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作，借助 Codex 和 Claude 模型对 Navier–Stokes 光滑性问题取得阶段性证明。
- OpenAI 宣布解决 Navier-Stokes 问题，引发数据使用争议
OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。
- NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争，Bubeck 否认
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。
- 数学家 Buckmaster 称 OpenAI 施压并要求将 Anthropic 职位合作者移出 Navier-Stokes 论文
数学家 Tristan Buckmaster 公开发声，称 OpenAI 在其与 Levent Alpöge 借助 Claude 和 Codex 运行 GPT-5.6 Sol 在 Navier-Stokes 方程上取得进展后对其施压。
- OpenAI 被指抢发 Navier-Stokes 证明并施压数学家移除 Anthropic 合作者
OpenAI 据称宣称其 AI 证明了千禧年难题 Navier-Stokes。数学家 Buckmaster 指控其进展泄露后 OpenAI 竞速抢先，还要求他移除在 Anthropic 工作的合作者。目前实际已验证的是与 Navier-Stokes 相邻问题的结果，OpenAI 的 100 页证明未公开，OpenAI 尚未回应指控。