OpenAI刚刚宣布了一项巨大的数学发现。一些学者因犯规而哭泣

OpenAI今天表示 它已经找到了一种人工智能生成的解决方案来解决最大的问题之一 数学 - 一个有200年历史的方程，描述了水和空气等流体的自然行为。 这一声明似乎证明了人工智能在推进数学方面的惊人力量。但另一位数学家特里斯坦·巴克马斯特（Tristan Bucmaster）的说法却损害了这一观点，他表示，在了解了巴克马斯特（Bucmaster）和一位大学人类研究员列文·阿尔波格（Levent Alpöge）的工作后，OpenAI急于解决这个问题。巴克马斯特声称OpenAI还试图影响谁获得了这项工作的荣誉。 该证明涉及纳维尔-斯托克斯方程，这是英国未解决的问题之一 粘土千年奖 ，每件价值100万美元。 OpenAI的数学家和人工智能研究员Bubeck在新闻发布会上表示，该公司于8月28日开始训练具有高级数学能力的新人工智能模型。 在了解到Anthropic在解决纳维尔-斯托克斯问题方面取得进展的传言后，布贝克表示，公司决定投入更多资源来解决这个问题。该公司有1，000多名代理人在50多个小时内解决了这个问题;最终，在公司发现之前，多达10，000名代理人正在努力工作 拿出一个解决方案 . “我想一定是哪里出了错误，”布贝克说。“周日早上，我们有了最终的解决方案，Lean正式化等等。”(Lean是一种可用于形式化数学证明的编程语言。） OpenAI指出，解决这个问题需要使用比以前解决数学问题更多的计算能力。OpenAI研究主管Mark Chen表示，所需金额“高达数百万美元”。 周一，阿尔波格和纽约大学数学家巴克马斯特， 张贴的文件 声称在与纳维尔-斯托克斯问题相关的领域取得了关键进展。两人表示，他们使用了包括Claude和Codex在内的多种人工智能模型来实现

注：以上内容摘选自原始新闻，点击「访问原文」查看完整内容。