OpenAI宣布已找到纳维-斯托克斯问题的一个解法。这是数学界长期悬而未决的重大难题之一,若相关证明最终成立,无疑是一项重大成果。然而消息公布后很快陷入争议:有人质疑OpenAI是否利用了其他研究者尚未公开的研究成果,此外OpenAI还被指曾试图影响最终论文中成果署名与贡献认定。
争议一方是纽约大学数学家Tristan Buckmaster,以及受雇于Anthropic、但以个人身份参与研究的Levent Alpöge。两人在研究过程中使用了多种大语言模型,包括Anthropic Claude、OpenAI的Codex工具及其前沿模型Astra;另一方则涉及OpenAI数学家兼AI研究员Sebastien Bubeck及其内部研究团队。Buckmaster质疑,OpenAI是否在得知他们接近突破后迅速启动同方向研究,并追问自己与Alpöge长期上传至Codex的研究草稿、提示词和对话内容,是否曾被用于OpenAI模型的训练或迭代。
Buckmaster还声称,OpenAI曾向其提出两种成果发表方案,其中一种要求最终论文中不包含Alpöge的名字。Bubeck随后公开否认曾要求删除Alpöge的署名,OpenAI CEO Sam Altman也发表了自己版本的事件说明。多方说法不一,目前尚无权威验证结论。
纳维-斯托克斯问题是Clay Mathematics Institute于2000年提出的7个千禧年大奖难题之一,每解决一道可获得100万美元奖金,自奖项设立以来此前只有一个问题得到解决。该方程描述流体动力学,核心问题之一是在三维情况下光滑解是否始终存在,还是可能在有限时间内出现奇异行为。
需要区分的是,Buckmaster与Alpöge目前公开的成果并未宣称已彻底解决该千禧年难题。Buckmaster在Mastodon上表示,两人公开了三项研究成果,分别涉及不可压缩多孔介质方程、布辛涅斯克方程以及三维不可压缩欧拉方程的光滑驱动有限时间爆破证明。他们认为亚耗散纳维-斯托克斯方程同样存在有限时间爆破的可能性,但相关论文尚未公开,Lean形式化验证也未完成。这场本应聚焦数学本身的进展,正演变为关于AI科研规则、成果归属、数据使用与学术伦理的争论。