Anthropic模型在黎曼猜想上取得突破 60个子智能体协作

很多朋友不知道【Anthropic模型在黎曼猜想上取得突破 60个子智能体协作】，今天小绿就为大家解答一下。

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

Claude

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

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

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

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

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

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

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

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

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

以上问题已经回答了。如果你想了解更多，请关新经网网站 (https://www.xinhuatone.com/)