Anthropic 宣布其尚未发布的 AI 模型在数学史上最著名的未解难题之一——黎曼猜想上取得了重大进展，成功提高了黎曼猜想成立范围的下界。更令人惊叹的是，这一成果是由一名未受过专业数学训练的员工引导模型自主完成的。
150 多年来，黎曼猜想一直是数学领域未解的主要难题之一，这是一个关于质数分布的长期谜题。目前，对黎曼猜想通用证明的悬赏金额为 100 万美元，至今无人认领。
当代 AI 模型仍然无法解决它——但它们能取得的进展远超预期，这一发现很可能重新引发关于当代 AI 发现新科学和数学思想能力的长期讨论。
周一，Anthropic 宣布一款尚未发布的模型在黎曼猜想上取得了重大进展，显著提高了该猜想成立范围的下界。
更令人印象深刻的是取得进展的方式：一名没有显著数学背景的 Anthropic 员工引导模型真正尝试证明这一猜想，然后让模型在接下来的一天半时间内自主协调任务。
总计，该模型测试了 650 种不同的解题思路，协调了 60 个子代理，总共消耗了 3100 万输出 token。
论文脚注说明，60 个子代理中，两个负责开发关键数学思想，13 个为这些代理贡献想法，30 个尝试（但未能）开发新思路，13 个充当验证者检查论证的正确性，最后两个帮助撰写初始论文。
这一发现得到了 Anthropic 内部两位数学家的确认，并使用开源证明助手 Lean 进行了形式化验证。
这是大语言模型在数学领域取得的一系列突破中的最新成果。今年，多个 Erdos 问题已被 AI 模型解决，更强大的模型带来了更令人印象深刻的结果。OpenAI 最近发布了其内部 Astra 模型证明的 10 项重大成果，而 Anthropic 的另一项努力则推翻了长期存在的 Jacobian 猜想。
日益增长的研究成果在数学领域引起了兴奋和担忧。在今年 6 月签署的一份公开声明中，一群知名数学家提出担忧，认为 AI 可能侵蚀该领域的核心价值——特别是真正的数学证明应归因于特定作者，由他们为自己的发现负责并承担正确性的标准。
来源：TechCrunch
