OpenAI 刚刚获得了一项巨大的数学发现。一些学者大喊冤枉

OpenAI 今天表示，它已经找到了人工智能生成的解决方案，解决了数学中最大的问题之一——一个有 200 年历史的方程，描述了水和空气等流体的自然行为。这一声明似乎证明了人工智能在推动数学发展方面具有惊人的力量。但另一位数学家特里斯坦·巴克马斯特 (Tristan Buckmaster) 的说法却损害了这一说法，他表示 OpenAI 在得知他和另一位数学家在该问题上取得的进展后，急忙解决这个问题，然后还试图影响谁获得了这项工作的荣誉。证明涉及纳维-斯托克斯方程，这是克莱千禧年奖金中未解决的问题之一，每项奖金价值 100 万美元。 OpenAI 的数学家兼人工智能研究员 Sebastien Bubeck 在新闻发布会上表示，该公司于 8 月 28 日开始训练具有高级数学能力的新人工智能模型。在读到有关 Anthropic 在解决 Navier-Stokes 问题上取得进展的传言后，Bubeck 表示该公司决定投入更多资源来解决该问题。该公司让 1000 多名代理处理该问题超过 50 个小时，才发现已经找到了解决方案。 “我认为一定是某个地方出现了错误，”布贝克说。 “周日早上，我们得到了最终的解决方案，精益形式化的一切。​​” （精益是一种编程语言，可用于形式化数学证明。）OpenAI 指出，解决这个问题需要使用比以前解决数学问题更多的计算能力。 OpenAI 研究主管 Mark Chen 表示，所需金额“数百万美元”。周一，纽约大学数学家 Buckmaster 和 Anthropic 研究员 Levent Alpöge 发布了文件，声称在与纳维-斯托克斯问题相关的领域取得了关键进展。两人表示，他们使用了多种人工智能模型（包括 Claude 和 Codex）来完成他们的工作。 Buckmaster 还发表了一份声明，声称上周他得知 OpenAI 已经意识到他和 Alpöge 的工作，并开始投入大量资源来解决这个问题。 Buckmaster 声称他向 OpenAI 领导人询问该公司是否访问了两人的 Codex 日志。他说，他被告知该模型“没有查找用户数据”，但声称该公司没有回应有关培训的问题。然后他表示 OpenAI 提出了几项“建议”，其中包括巴克马斯特可以发表一篇论文，宣布 Navier-Stokes 问题已通过内部 OpenAI 模型解决，但不包括 Alpöge 的名字。 Buckmaster、Alpöge 和 Anthropic 没有立即回应《连线》杂志的置评请求。在简报中，Bubeck 和其他 OpenAI 高管否认该公司曾经检查过两人的 Codex 提示，以便为他们的工作提供信息。 “我们，无论是研究人员还是特工，直到昨晚公开发布才看到他们的任何工作，”他说。 “我想非常明确地表明，我们认识到 Levent Alpöge 和 Tristan Buckmaster 在非受迫欧拉方面的工作的优先性，我们对他们所取得的这一巨大成就表示祝贺。需要明确的是，我们没有使用他们的提示或证据来提示我们的模型或指导我们的代理，”Bubeck 说。 OpenAI 今天表示希望认可 Alpöge 和 Buckmaster 之前的工作。然而，该公司的数学家 Ven Chandrasekaran 也强调，他们的解决方案在本质上与 OpenAI 模型产生的解决方案有显着不同。关于谁因解决了数学中最大问题之一而获得荣誉的争论可能会持续一段时间。随着人工智能承担更多寻找证据的工作，这种争斗可能会变得更加普遍。这是一个发展的故事。请回来查看更新。