首页 / 科技 / 人工智能模型在黎曼猜想研究上取得进展

人工智能模型在黎曼猜想研究上取得进展

摸鱼不慌 2026-08-12 09:15:19

人工智能公司Anthropic宣布，其尚未对外发布的内部模型在黎曼猜想这一数学史上最重要的未解难题之一上取得了显著进展。

该模型大幅提升了黎曼猜想成立的最小解下界，为这一困扰数学界超过150年的问题提供了新的研究线索。

截至8月12日，针对黎曼猜想的完整证明仍设有100万美元的悬赏奖金，至今无人成功领取。

黎曼猜想是数学中的核心问题之一，涉及复分析中的ζ函数零点分布规律。该猜想由德国数学家波恩哈德·黎曼于1859年提出，至今尚未得到完全证明或证伪。

专业人士指出，这一进展若得到进一步验证，将有望为数学理论领域带来新的研究视角，对后续相关问题的解决提供参考依据。

Anthropic AI模型在36小时内测试650种思路探索黎曼猜想

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

子智能体是指大规模语言模型在处理复杂数学问题时，自发切分出的任务单元。这些子智能体各司其职，分别从事思路开发、验证、文档撰写等不同环节的工作，形成协同合作的研究网络。

据Anthropic披露，一位不具备深厚数学背景的内部员工向模型发出指令，要求它"认真尝试"证明黎曼猜想，随后任由模型自主协调任务推进。

在接下来的36小时内，该模型测试了650种不同的解题思路，调动60个子智能体分工协作，总计消耗3100万token的计算资源。

论文脚注详细记录了60个子智能体的角色分工：其中2个负责开发核心数学思路，13个为前者提供辅助性想法，30个尝试开发新思路但未能成功，13个承担验证者角色负责检查论证的正确性，最后2个协助撰写论文初稿。

这一分工模式展现了大规模语言模型在复杂数学问题上的组织协调能力，不同子智能体在思路生成、验证和文档撰写等环节形成了有效配合。

该研究成果已经过Anthropic内部两位数学家的确认，并通过开源证明辅助工具Lean进行了形式化验证。

需要说明的是，这并非人工智能在数学领域的首次突破。据素材显示，今年以来多个AI模型的研究成果已对数学研究产生直接推动作用。

这些进展共同构成了大语言模型推动数学前沿研究的加速趋势。Anthropic的这次黎曼猜想探索，只是这一趋势中的最新案例。

人工智能在数学领域的快速渗透引发了学界内部的兴奋与忧虑并存。今年6月，一群知名数学家联合签署了一份公开声明，对人工智能可能削弱数学领域核心价值观表示担忧。

声明特别指出，真正的数学证明应当"归属于具体的发现者，由其对发现享有署名权并对正确性承担责任"，而AI辅助的研究模式可能模糊这一传统标准

不过，数学界对于如何接纳这些新的研究工具仍存在分歧。菲尔兹奖得主、剑桥大学教授蒂莫西·高尔斯在一篇回应声明的博客文章中提出了更为复杂的积极视角。

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

从素材来看，AI在数学研究中的角色尚未形成明确边界，但其在辅助探索黎曼猜想等前沿问题上的能力，已开始实质性地改变数学研究的实践方式。

本文由摸鱼不慌发布，转载请注明出处。
文章链接：https://www.moyubuhuang.com/keji/202608/125821.html