OpenAI称破解千禧年难题，遭数学家质疑

数学史级别的大新闻，OpenAI宣布其内部尚未发布、能力显著超过GPT-6 Astra的模型，已解决纳维-斯托克斯存在性与光滑性问题，这是悬赏100万美元的七大千禧年难题之一，此前仅庞加莱猜想被解决。OpenAI称，为解题调动约1万个Agent并行工作88小时，发出270万条消息，消耗约1300亿输出Token，随后GPT-6 Astra用17小时将证明形式化为Lean版本检查漏洞。OpenAI表示不领取奖金。

该问题描述三维流体运动是否永远保持平滑，或可能在有限时间内出现奇点（速度冲向无穷大）。OpenAI给出的答案是构造一种最初静止的平滑流体，施加平滑外力，使内部旋涡不断收缩、拉长，旋转速度持续增大，最终在有限时间内冲向无穷大，且总能量保持有限。OpenAI称证明完成了克雷研究所题目中的C和D两种情况。

然而，事件引发争议。纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge指控OpenAI抢先。两人过去一年沿“平滑外力构造有限时间爆破”方向研究，8月15日已取得突破，证明相关方程在平滑外力下能发生爆破，8月22日欧拉方程结果通过Lean验证，陶哲轩给予高度评价，并判断该方法推进到纳维-斯托克斯无根本障碍。两人原计划整理后再发布。

Buckmaster称，研究期间使用OpenAI Codex，草稿与推导均在其中。9月3日他联系OpenAI解释尚未解决该问题，9月5日OpenAI的Agent即完成证明。他询问模型是否访问其会话或使用其数据，未获明确回应。OpenAI否认查看两人工作，但表示无法排除使用其产品产生的去标识化数据帮助改进模型的可能性。

Buckmaster还公开声明，OpenAI研究员Sebastien Bubeck两次希望将Alpöge排除在作者名单外，因其就职于Anthropic，并称对方有“毁掉职业生涯”等言论。Bubeck回应称联系是为协调发布时间，承认说过该话但无威胁意味并道歉，否认要求排除作者，认为Buckmaster混淆了两份工作。Buckmaster表示未直接指控窃取成果，仅公开事实。