【CNMO 科技消息】8 月 12 日消息，人工智能公司 Anthropic 宣布，其一款尚未对外发布的内部模型在黎曼猜想这一数学史上最重要的未解难题之一上取得了显著进展。该模型大幅提升了黎曼猜想成立的最小解下界，为这一困扰数学界超过 150 年的问题提供了新的研究线索。目前，针对黎曼猜想的完整证明仍设有 100 万美元的悬赏奖金，至今无人成功领取。

Claude

黎曼猜想由德国数学家波恩哈德 · 黎曼于 1859 年提出，核心命题涉及素数分布的规律性。尽管当代人工智能模型尚无法给出完整的通用证明，但 Anthropic 的最新实验表明，AI 在这一领域的探索能力已远超外界预期，这一发现可能重新引发关于人工智能能否独立发现全新科学和数学思想的长期争论。

据 Anthropic 披露，一位不具备深厚数学背景的内部员工向模型发出指令，要求它 " 认真尝试 " 证明黎曼猜想，随后任由模型自主协调任务推进。在接下来的 36 小时内，该模型测试了 650 种不同的解题思路，调动 60 个子智能体分工协作，总计消耗 3100 万 token 的计算资源。

论文脚注详细记录了 60 个子智能体的角色分工：其中 2 个负责开发核心数学思路，13 个为前者提供辅助性想法，30 个尝试开发新思路但未能成功，13 个承担验证者角色负责检查论证的正确性，最后 2 个协助撰写论文初稿。这一分工模式展现了大规模语言模型在复杂数学问题上的组织协调能力，不同子智能体在思路生成、验证和文档撰写等环节形成了有效配合。

该研究成果已经过 Anthropic 内部两位数学家的确认，并通过开源证明辅助工具 Lean 进行了形式化验证。Lean 是一种用于数学证明计算机辅助验证的编程语言，能够将自然语言描述的数学论证转化为可由机器检验的形式化表达，从而确保证明的严谨性。

这并非人工智能在数学领域的首次突破。今年以来，多个 AI 模型已成功解决若干道埃尔德什问题，随着模型能力的持续增强，取得的成果也愈发令人瞩目。OpenAI 近期发布了其内部代号为 Astra 的模型在十项重大数学成果上的证明记录，Anthropic 的另一项独立研究则成功证伪了长期存在的雅可比猜想。这些进展共同构成了大语言模型推动数学前沿研究的加速趋势。

然而，AI 在数学领域的快速渗透也引发了学界内部的兴奋与忧虑并存。今年 6 月，一群知名数学家联合签署了一份公开声明，对人工智能可能削弱数学领域核心价值观表示担忧。声明特别指出，真正的数学证明应当 " 归属于具体的发现者，由其对发现享有署名权并对正确性承担责任 "，而 AI 辅助的研究模式可能模糊这一传统标准。

不过，数学界对于如何接纳这些新的研究工具仍存在分歧。菲尔兹奖得主、剑桥大学教授蒂莫西 · 高尔斯在一篇回应声明的博客文章中提出了更为复杂的积极视角。他写道：" 如果我们最终进入一个数学定理不再与特定数学家相关联的世界，或许这并不会比恒星不再以天文学家的名字命名、甚至大多数恒星根本没有名字这一事实更具问题性。"

高尔斯的比喻暗示，数学研究可能正在经历一场类似于天文学观测革命的范式转变。当天文学家借助望远镜发现越来越多无法逐一命名的天体时，数学界也可能需要适应由 AI 辅助生成的大量难以单独归因的成果。

版权所有，未经许可不得转载