Claude挑战数学界百年难题:黎曼假设研究取得重大突破

核心看点

  • 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

(0)
上一篇 10小时前
下一篇 3小时前

相关推荐