OpenAI证明纳维-斯托克斯方程遭质疑抢跑，是首次由AI公司而非人类数学家攻克此类难题

OpenAI宣布其内部AI模型证明了三维纳维-斯托克斯方程（Navier-Stokes equations）会在有限时间内产生"奇点"，这是克莱数学研究所"千禧年七大难题"之一（悬赏100万美元），也是首次由AI公司而非人类数学家攻克此类难题；但这一成果随即被纽约大学数学家Tristan Buckmaster指控"抢跑"，引发一场关于研究成果归属与AI公司训练数据使用的大范围争议。

Buckmaster与目前供职于Anthropic的数学家Levent Alpöge此前一年一直私下合作，大量借助Claude、Codex等AI工具辅助研究，并已用"力迫"（forcing，由数学家Diego Córdoba与Luis Martínez-Zoroa此前提出的方法）解决了欧拉方程（Euler equations），被视为通往纳维-斯托克斯问题的关键垫脚石；两人还相信已找到一个特定的纳维-斯托克斯变体结果，但截至目前尚未正式发表或经过同行验证。

据Buckmaster说法，9月初网上开始流传"千禧年难题被解决"的传闻后，他于9月3日主动联系OpenAI方面澄清这是私人合作、与所在机构无关；OpenAI则确认，其团队正是在9月1日听闻相关传闻后才启动内部模型攻坚，并于9月8日公布证明结果——与Buckmaster公开初步成果为同一天。OpenAI CEO Sam Altman表示，"现在我们能看到他们的成果了，两种方法看起来是不同的"，并确认公司不会申领这笔100万美元奖金。

Buckmaster在公开声明中称，OpenAI研究员Sebastien Bubeck曾提出两种方案——要么由Buckmaster一方先发论文、OpenAI次日紧跟发布，要么由Buckmaster单独署名发一篇论文并把Alpöge从作者名单中移除，理由是Alpöge任职于竞争对手Anthropic；他还称对方在被拒绝后说出"你为什么要毁掉自己的职业生涯"这类说法。Bubeck方面则回应称，他当时明确告诉Alpöge"成果应归功于Alpöge和Buckmaster"，愿意分享包括提示词在内的全部资料；他承认自己确实说过"毁掉职业生涯"这句话，但称这是"沮丧之下的失言"，当场就已收回，本意是想帮数学家保住署名，结果传达出了相反的意思；他还表示，移除Alpöge的说法源于通话中期他才得知对方解决的是欧拉方程而非完整纳维-斯托克斯问题所产生的误会，指的只是若由Buckmaster单独重写OpenAI自己的成果这一假设情形。

OpenAI这次投入了约1万个并行"智能体"、产生约3000亿个输出token（按当前算力定价约合2250万美元），证明过程通过Lean编程语言完成形式化验证，被认为"基本能确保正确性"；数学家Diego Córdoba对此评价"我们都有点震惊"，另一位数学家Luis Silvestre则表示"这两天太疯狂了，整个学界都在讨论其影响"。

这场争议真正引爆网络的，是OpenAI一份措辞谨慎的回应：公司表示"虽然可能性不大，但我们不能排除，用户使用我们产品产生的、经过脱敏处理的数据，间接帮助改进了我们的模型"，同时强调默认不会用企业客户数据训练模型，个人ChatGPT用户可选择退出；OpenAI坚称在成果公开前"没有通过任何方式看到过对方的工作"。但这一表态仍让大量用户担心，自己长期把未发表的研究草稿放进付费使用的Codex会话中，可能间接被用来训练出与自己竞争的模型——受益方是掌握海量用户会话数据、算力规模远超个人研究者的大型AI实验室，承压方则是依赖这些工具搞研究、却对自身草稿数据流向缺乏控制权的独立学者与竞争对手实验室的员工。

来源：公开信息