AI向数学界终极难题发起冲击

近日，Anthropic公司披露了一项引人注目的内部实验。他们让一个尚处于研究阶段、未对外发布的Claude模型，尝试解决数学领域最负盛名且悬而未决的难题之一——黎曼猜想。这个猜想自1859年由德国数学家波恩哈德·黎曼提出以来，一直困扰着无数数学天才，其证明与否对素数分布理论乃至整个数学体系有着深远影响。

未竟的证明与实质的突破

实验的结果是混合的。这个研究版Claude最终未能给出黎曼猜想的完整证明，这并不出乎意料，毕竟这是跨越了一个半世纪的挑战。然而，它的表现绝非失败。在围绕猜想的验证工作中，AI取得了显著的实质性进展。

具体而言，Claude的工作聚焦于验证黎曼ζ函数的非平凡零点——这些零点的分布是猜想的核心。此前，数学界通过严谨的数学方法，已经能够证明至少有41.6%的零点满足黎曼猜想所预测的规律。而经过Claude的演算和推理，这一验证比例的下限被成功提升到了67.2%。

比例提升意味着什么？

从41.6%到67.2%，这个看似只是百分比的增长，在数学研究上却是一个巨大的飞跃。它意味着：

  • 验证范围大幅扩展：更多零点的行为被确认符合猜想的预测，增强了猜想成立的可能性。
  • 方法论的新启发：AI在分析过程中可能采用了与传统数学家不同的思路或计算路径，这为人类研究者提供了新的探索方向。
  • 计算能力的证明：处理如此复杂、抽象的数学结构，展现了高级AI模型非凡的符号推理和逻辑演绎能力。

AI作为数学研究伙伴的未来

这次实验清楚地表明，像Claude这样的高级AI，其角色并非要取代数学家，而是成为一个强大的研究伙伴。它能够以超乎人类的速度和规模处理复杂的计算与枚举，帮助数学家验证猜想、探索反例，或者从海量数据中发现潜在的模式和规律。

Anthropic此举也打开了人们的想象：当AI的推理能力与人类的直觉、创造力相结合，我们是否正站在一个新时代的门槛上？未来，那些最深奥的数学谜题，或许将首先由人机协作的团队取得关键性突破。黎曼猜想67.2%的验证比例，也许只是这个漫长征程中，一个充满希望的开始。