数学家Tristan Buckmaster公开指控OpenAI在其AI辅助的纳维-斯托克斯方程研究泄露后施压，试图让其移除在Anthropic工作的合著者，并以“毁掉职业生涯”相威胁。OpenAI否认相关指控。
AI解读：这起纠纷的核心是AI辅助数学研究的优先权与数据隐私问题。Buckmaster与Alpöge使用AI模型在纳维-斯托克斯方程上取得突破，并将所有草稿上传至OpenAI的Codex会话。当OpenAI声称独立取得相似成果后，Buckmaster怀疑自己的数据可能被用于训练模型，但OpenAI仅回应“模型未查阅用户数据”，对训练数据问题避而不答。OpenAI否认在公开前接触过他们的工作，并强调成果路径不同。此事对研究者的直接影响是：使用商业AI工具进行前沿研究时，草稿数据可能被用于模型改进，存在被“截胡”的风险。普通研究者应谨慎处理敏感研究数据，或选择本地部署或数据隔离方案。目前双方各执一词，无公开证据证明OpenAI确实使用了其数据，事件结果尚待进一步信息。
数学家Tristan Buckmaster公开指控OpenAI研究员在其AI辅助的纳维-斯托克斯方程突破研究信息泄露后，向其施压，试图移除其在Anthropic工作的合著者Levent Alpöge，并以“毁掉职业生涯”相威胁。OpenAI否认这些指控，称其研究团队和AI代理在成果公开发布前未接触过对方的工作。
事件经过：从合作到指控
Buckmaster与Alpöge数月来使用多种AI模型（包括Anthropic的Claude和OpenAI的Codex）研究纳维-斯托克斯方程，该方程是克莱数学研究所七个千禧年问题之一，每个问题悬赏一百万美元。截至八月中旬，他们自称取得多项突破，并可能找到了特定变体的结果，但尚未发表或正式验证。
九月初，关于重大数学突破的传言开始流传。Buckmaster称，Alpöge获悉他们的工作信息已传达给OpenAI。9月3日，Buckmaster主动联系OpenAI的一位数学家澄清情况，强调这是纯粹的个人合作。OpenAI当天回应，要求提供细节并提出提供算力资源。随后OpenAI多次要求紧急通话，包括周日中午12:45询问当天是否有空。
在通话中，OpenAI的Sébastien Bubeck告知，其内部模型生成了约100页的纳维-斯托克斯方程（含外力）证明。起初称“人工输入很少”，后披露是一个团队协作、使用更简单问题作铺垫并投入大量算力。Buckmaster指出，OpenAI提及的“带外力的纳维-斯托克斯”与他俩选择的罕见路径一致，而他们所有草稿都存在OpenAI Codex会话中。当询问模型是否基于或访问了这些会话时，被告知模型不查阅用户数据；但问及训练数据时，未获回答。
OpenAI的两项提议与威胁
根据Buckmaster的陈述，OpenAI提出两个方案：一是Buckmaster和Alpöge先发布其欧拉方程结果，次日OpenAI再发布自己的结果，并称他们为“最接近问题的人”；二是由Buckmaster单独发布纳维-斯托克斯结果并致谢内部模型。两个方案中，Bubeck均两次“坚持”要求将Alpöge从作者名单中移除，理由是他在Anthropic工作“令人恼火”。
Buckmaster拒绝了两个方案，并警告若OpenAI按此形式发布将公开此事。他称对方回应：“你为什么要毁掉自己的职业生涯？”当他表示自己是学者时，Bubeck说：“如果你不希望我友善，那我也不必友善。”随后Bubeck还单独给Alpöge发短信称“不确定Tristan现在是否完全理性”，Alpöge拒绝回应。Buckmaster明确表示未指控任何人，他没见过OpenAI的证明，也不知道数据是否被使用。
OpenAI的否认与回应
在新闻发布会上，OpenAI通过WIRED否认了Buckmaster的指控。Bubeck表示：“无论是研究员还是AI代理，在昨晚公开发布前都没有看到他们的任何工作。”他“极其明确”地承认Alpöge和Buckmaster工作的优先性，并祝贺他们的“不朽成就”。OpenAI数学家Ven Chandrasekaran称其解决方案在根本上不同于Buckmaster和Alpöge的方法。
OpenAI官方博客称，其工作始于9月1日，在听到传言（后证实与Alpöge和Buckmaster相关）之后。9月6日完成Lean验证后，主动提出联合发布并承认对方优先权，那时才得知对方解决的是带外力的欧拉方程而非纳维-斯托克斯方程。OpenAI表示提供了所有提示的可见性及后续证明访问权。其声明称：“我们（研究员和代理）没有通过任何方式在公开前看到他们的工作——特别是没有为解决问题访问特定用户数据。虽然不太可能，但我们无法排除他们使用我们产品产生的去标识化数据帮助改进了模型。我们的证明差异显著，且在欧拉情形下结果精确不同（有外力与无外力）。”
Buckmaster在Mastodon上回应：“注意他们公开承认使用了我们找到结果之后的训练数据。利用客户数据试图挖走客户是否道德？”目前未知Buckmaster是否已退出OpenAI允许使用客户数据进行模型训练的默认设置。
OpenAI还公布了其纳维-斯托克斯结果：约1万个协调AI代理在88小时内完成证明，使用内部模型，该公司称其“明显比GPT-6 Astra更强”，证明已在Lean中形式化。研究负责人Mark Chen表示仅算力成本就达“数百万美元”。OpenAI开发者Noam Brown类比：o3发布时在ARC-AGI达到87.5%耗资约50万美元，如今Astra只需约20美元；2025年数学奥赛需要大量算力，到2026年任何20美元ChatGPT订阅者或可匹敌。他写道：“我相信一年后每个人手中的AI都能解决这种规模的问题。”内部模型解决的开放数学问题数量是GPT-6 Astra的近三倍，且差距随算力扩大而增大。