OpenAI 最近宣布在数学领域取得了令人震惊的进展，具体是关于千禧年大奖难题之一的纳维-斯托克斯方程的证明。然而，这一消息却被另一位数学家特里斯坦·巴克马斯特（Tristan Buckmaster）提出质疑，他声称 OpenAI 在得知他与 Anthropic 研究员莱文特·阿尔波格（Levent Alpöge）的相关工作后，仓促推进了解决方案，并试图影响成果的署名权。
纳维-斯托克斯方程是克雷数学研究所设立的千禧年大奖难题之一，奖金高达 100 万美元。OpenAI 的数学家兼 AI 研究员塞巴斯蒂安·布贝克（Sebastien Bubeck）在新闻发布会上表示，公司于 8 月 28 日开始训练一款具备高级数学能力的新型 AI 模型。得知 Anthropic 在该问题上取得进展的传闻后，OpenAI 决定投入更多资源攻关。
OpenAI 动用了超过 1000 个智能代理，连续工作超过 50 小时，最终动用多达 1 万个代理，才发现他们成功找到了问题的解决方案。布贝克回忆道：“我当时以为一定是哪里出了错。直到周日早晨，我们才得到了最终的解决方案，且用 Lean 语言完成了形式化证明。”（Lean 是一种可用于形式化数学证明的编程语言。）
OpenAI 还指出，解决该问题所需的计算资源远超以往解决数学问题的投入，花费达数百万美元。研究主管马克·陈（Mark Chen）表示，这次计算资源的投入极为庞大。
与此同时，阿尔波格和巴克马斯特在周一发布了相关文档，声称在与纳维-斯托克斯问题相关的领域取得了关键进展。他们使用了包括 Claude 和 Codex 在内的多款 AI 模型完成工作。
巴克马斯特还发表声明称，上周他得知 OpenAI 已获悉他们的工作，并开始投入大量资源攻关。他询问 OpenAI 是否访问了他们的 Codex 日志，得到的回复是模型“没有查看用户数据”，但对训练数据的问题未得到回应。随后，巴克马斯特称 OpenAI 提出多项“建议”，其中包括允许他发表一篇论文，宣布纳维-斯托克斯问题由 OpenAI 内部模型解决，但不包含阿尔波格的名字。
对此，布贝克在社交媒体上否认公司曾建议删除阿尔波格的署名。OpenAI CEO 山姆·奥特曼（Sam Altman）也公开支持团队的工作。
截至目前，巴克马斯特、阿尔波格及 Anthropic 尚未回应媒体采访请求。
在发布会上，布贝克和其他 OpenAI 高管否认曾查看两位数学家的 Codex 提示内容以指导自己的工作。“无论是研究人员还是智能代理，我们直到昨晚他们公开发布成果前，都没有看到他们的工作。”布贝克说。
OpenAI 在博客中写道：“虽然可能性不大，但我们不能排除从他们使用我们产品的去标识化数据中获得的间接信息，帮助改进了我们的模型。”
布贝克强调：“我们非常明确地承认莱文特·阿尔波格和特里斯坦·巴克马斯特在无强迫欧拉问题上的优先贡献，并向他们取得的这一重大成就表示祝贺。我们没有使用他们的提示或证明来提示我们的模型或指导我们的智能代理。”
公司数学家文·钱德拉塞卡兰（Ven Chandrasekaran）也强调，他们的解决方案在本质上与 OpenAI 模型产生的方案有显著差异。
关于谁应获得这项重大数学难题解决方案的功劳之争，可能还将持续一段时间。随着 AI 在数学证明工作中扮演越来越重要的角色，此类争议或将变得更加频繁。
