OpenAI 称在数学领域取得重大发现，部分学者表示质疑

OpenAI今天表示，它已经为数学界最大的难题之一找到了一种AI生成的解决方案——这是一个有着200年历史、描述水和空气等流体自然行为的方程。

这一声明似乎展示了AI推动数学发展的惊人力量。但这一消息也受到了另一位数学家Tristan Buckmaster指控的影响，他表示OpenAI在得知他与另一位数学家的研究进展后，便抢先解决了这一问题，并随后试图影响研究成果的归属。

该证明涉及Navier-Stokes方程，这是克雷数学研究所千禧年大奖 (Clay Millennium prizes)中的未解难题之一，每项大奖价值100万美元。

OpenAI的数学家兼AI研究员Sebastien Bubeck在新闻发布会上表示，公司于8月28日开始训练一个具有高级数学能力的新型AI模型。

在读到有关Anthropic在解决Navier-Stokes方程方面取得进展的传闻后，Bubeck表示，公司决定投入更多资源来攻克这一难题。公司动用了1,000多个智能体，经过50多个小时的攻关，最终发现已经得出了解决方案。

“我当时认为肯定哪里出错了，”Bubeck说。“但到了周日早上，我们拿到了最终解决方案，经过了Lean形式化且完整无缺。”（Lean是一种可用于形式化数学证明的编程语言。）

OpenAI指出，解决这个问题所需的算力远超以往解决数学问题时的投入。OpenAI研究负责人Mark Chen表示，所需成本“高达数百万美元”。

周一，NYU数学家Buckmaster和Anthropic研究员Levent Alpöge发布了文件，声称在Navier-Stokes方程相关领域取得了关键进展。两人表示，他们使用了包括Claude和Codex在内的多个AI模型来完成工作。

Buckmaster还发表了一份声明，称他在上周获悉OpenAI已经察觉到了他与Alpöge的工作，并开始向该问题投入大量资源。Buckmaster声称，他询问了OpenAI领导层该公司是否查阅了两人的Codex日志。他说他被告知该模型“没有查看用户数据”，但他声称公司没有回应有关训练的问题。他接着表示，OpenAI提出了几项“提议”，其中包括Buckmaster可以发表一篇论文，宣布Navier-Stokes问题已由OpenAI内部模型解决，但不包括Alpöge的名字。

Buckmaster、Alpöge和Anthropic没有立即回应WIRED的置评请求。

在简报会上，Bubeck和其他OpenAI高管否认了公司曾检查过两人的Codex提示词以指导自身工作的说法。“无论是研究人员还是智能体，在昨晚公开发布之前，我们都没有看到他们的任何工作，”他说。

“我想非常明确地表示，我们认可Levent Alpöge和Tristan Buckmaster在无迫欧拉 (unforced Euler) 方程工作上的优先权，我们对他们取得的这一里程碑式成就表示衷心祝贺。需要明确的是，我们没有使用他们的提示词或证明来提示我们的模型或指导我们的智能体，”Bubeck说。

OpenAI今天表示，希望认可Alpöge和Buckmaster之前的贡献。然而，该公司数学家Ven Chandrasekaran也强调，他们的解决方案与OpenAI模型生成的方案在本质上存在显著差异。

关于谁该因解决这一数学界最大难题之一而获得荣誉的争论可能会持续一段时间。随着AI承担更多寻找证明的工作，此类纷争或许会变得更加普遍。

这是一个正在发展的报道。请稍后查看更新。