OpenAI近日宣布在数学领域取得了令人震惊的进展，声称解决了著名的Navier-Stokes方程问题，这一难题是克雷千禧年大奖中的未解难题之一，奖金高达100万美元。然而，这一消息却引发了另一位数学家Tristan Buckmaster的质疑，他指责OpenAI在得知他与Anthropic研究员Levent Alpöge的相关工作后，仓促推进了该问题的解决，并试图影响成果归属的认定。
OpenAI的数学家兼AI研究员Sebastien Bubeck在新闻发布会上表示，公司于8月28日开始训练一款具备高级数学能力的新型AI模型。得知Anthropic在Navier-Stokes问题上取得进展的传闻后，OpenAI决定投入更多资源攻关。超过1000个AI代理在50多个小时内持续工作，最高峰时多达1万个代理同时运行，最终成功找到了解决方案。
Bubeck回忆道：“我当时以为一定是哪里出了错，但周日早晨我们得到了最终的解决方案，且通过Lean语言完成了形式化证明。”（Lean是一种用于形式化数学证明的编程语言。）
OpenAI指出，解决该问题所需的计算资源远超以往，花费达数百万美元。研究主管Mark Chen表示，这次投入的计算成本极高。
与此同时，Alpöge和Buckmaster在周一发布了相关文件，声称在Navier-Stokes问题相关领域取得了关键进展。他们利用了包括Claude和Codex在内的多款AI模型完成研究。
Buckmaster还发布声明称，上周他得知OpenAI已获悉他们的工作，并开始投入大量资源攻关。他曾询问OpenAI是否访问了他们的Codex使用记录，得到的答复是模型“未查看用户数据”，但对训练细节未作回应。Buckmaster称，OpenAI曾提出多项“建议”，其中包括允许他发表一篇论文，宣布Navier-Stokes问题由OpenAI内部模型解决，但不包含Alpöge的名字。
对此，Bubeck在社交媒体上否认公司曾建议剔除Alpöge的名字。OpenAI CEO Sam Altman也公开支持团队的工作。
目前，Buckmaster、Alpöge及Anthropic尚未回应相关采访请求。
在发布会上，Bubeck及其他OpenAI高管否认曾查看过两人的Codex提示内容以辅助研究。“无论是研究人员还是AI代理，我们直到昨晚公开发布他们的工作前，都未曾接触过他们的研究内容。”
OpenAI在博客中写道：“虽然可能性不大，但我们不能排除从他们使用我们产品的去标识化数据中获得的间接帮助。”
Bubeck强调：“我们非常尊重Levent Alpöge和Tristan Buckmaster在无强迫Euler问题上的优先贡献，衷心祝贺他们取得的重大成就。明确表示，我们没有使用他们的提示或证明来指导我们的模型或代理。”
公司数学家Ven Chandrasekaran也指出，他们的解决方案在本质上与OpenAI模型产生的结果有显著不同。
关于这场围绕数学重大难题解决归属的争议，预计还将持续发酵。随着AI在数学证明领域扮演越来越重要的角色，此类争论或将变得更加频繁。
