核心看点
- Claude在研究版本中对黎曼假设发起挑战,虽未完全解决,但在相关问题上取得重大突破
- 将黎曼zeta函数零点满足假设的比例下限从41.6%提升至67.2%
- 使用60个子智能体协作,消耗3100万token,历时一天半完成
- 成果已通过Anthropic数学家验证,并生成Lean形式化证明
详细解析
近日,Anthropic发布了一项令人惊叹的研究成果:一个未发布的研究版本Claude对数学界最著名的未解难题之一——黎曼假设(Riemann Hypothesis)发起了挑战。
黎曼假设由德国数学家波恩哈德·黎曼于1859年提出,是克雷数学研究所设立的七大千禧年大奖难题之一,悬赏金额高达100万美元。该假设描述了素数分布的规律,如果被证明,将极大地推动数论和密码学的发展。
Claude的突破
虽然Claude未能完全证明黎曼假设本身(这在预期之中),但在尝试过程中,它意外地在相关问题上取得了重大进展:
Claude将黎曼zeta函数零点满足假设的比例下限从41.6%大幅提升至67.2%。这意味着,现在我们可以确定至少67.2%的零点都位于那条关键的直线上。
这个突破基于多位数学家的前期工作,包括Aryan、Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh以及Bombieri的研究成果。Claude的创新在于将这些工作巧妙地结合起来,并运用了全新的数学视角。
工作方式
这次研究展示了AI多智能体协作的强大能力:
- Claude在Claude Code环境中进行了两次会话
- 总共消耗了3100万输出token
- 协调了约60个子智能体协同工作
- 运行了2400个shell命令,编写了数百个Python脚本
- 最初尝试了650个想法都失败了,但在”继续尝试”的鼓励下重新出发
有趣的是,Claude最初对自己的能力持怀疑态度——这可能是因为它在训练中学到了数学难题的困难程度和AI模型的局限性。但在得到”相信自己””继续前进”等鼓励后,它最终取得了突破。
验证过程
为了确保结果的正确性,Claude进行了严格的自我验证:
- 让多个子智能体审查证明
- 搜索反例
- 从arXiv下载了54篇论文确认该发现是否已被发表
- 独立从头重新证明该结果
- Anthropic数学家Levent Alpöge和Ralph Furman验证了该工作
- 使用Lean形式化验证工具确认了结果的正确性
意义与展望
这一结果表明,AI模型能够以新的、有时令人惊讶的方式扩展数学家思想的影响和范围。即使无法解决最困难的开放问题,AI仍能在相关领域取得实质性突破。
Anthropic指出,Claude使用的技术不太可能直接导致黎曼假设的证明,但这一工作再次展示了AI模型数学能力的快速进步。
相关论文、形式化证明和详细过程记录已公开发布,供数学界进一步研究和验证。
总结
Claude在黎曼假设相关研究上的突破,不仅是一个数学成果,更是AI辅助科学研究的一个里程碑。它展示了:
- AI在高级数学研究中的潜力
- 多智能体协作解决复杂问题的能力
- AI作为数学家”思维放大器”的可能性
虽然距离证明黎曼假设还有很长的路要走,但Claude的这一成果无疑为数学界提供了新的工具和视角。未来,我们或许会看到AI在更多基础科学领域带来类似的惊喜。
发布时间:2026年8月14日 | 信息来源:Anthropic官方研究博客
本文地址:https://www.163264.com/14901


微信扫一扫,鼓励一下~