Claude的黎曼猜想突破

人类数学家从1974年到2020年花了46年时间，才将已证明的下界提高了约8个百分点^[3]。Claude在一次运行中就跨越了超过三倍于此的差距，将数值从41.6%提升至67.2%，实现了25.6个百分点的飞跃^[1]。使其成功的突破性思路是概念性的而非计算性的：Claude没有将临界线上的零点和线外零点作为两个独立问题来分析，而是构建了一个基于Weil诱导的二次型的统一空间，其中正定子空间代表临界线上的零点，负定子空间代表线外零点^[1]。Anthropic自己的报告将决定性步骤归功于一个具体的大胆举动：‘敢于将整个空间视为一体，同时考虑正定性和负定性，并允许二次型为非对角形式，在某种意义上正是这一步使Claude能够基于重要前期工作得出结论’^[1]。换句话说，所需的基本要素（2000年Enrico Bombieri的论文以及后续的配对关联研究脉络）早已存在；所缺少的只是将其以非对角、统一形式组合起来的意愿。

通向这一结果的道路并非首次尝试就获得优雅洞见。Claude的第一次尝试生成并测试了650个不同的想法，但无一成功^[1]。只有在被提示再次尝试后，它才组织了大约60个子代理，在约一天半的时间内协调执行了2,400条shell命令和数百个Python脚本^[5]，两次会话总共消耗了3,100万输出token^[1]。启动整个链条的提示并非来自数学家，而是一位Anthropic员工随口提出的请求——让Claude‘认真尝试一下’这个猜想，之后所有数学选择均由模型自行决定^[4]。这一起源故事——一个随意的请求后接开放式的鼓励而非技术指导——在结果传播后也成为热议话题：社交媒体上的评论对此类松散、非技术性的提示方式反应不一，既有对结果本身的真实震惊，也有对其过程听起来过于不科学的尖锐质疑。

这个标题数字容易引发误解。正如某媒体直接指出的：‘这并不是向证明黎曼猜想前进了67.25%。它也没有定位到那剩余32.75%不在临界线上的零点’^[2]。Anthropic自身的说明更进一步，明确表示‘目前所用的技术几乎没有可能导向黎曼猜想的完整证明’^[3]。Claude实际建立的是一个自然密度下界：即对位于临界线上零点比例的保证，而不是排除那些可能不在其上的零点的方法。这一区别至关重要，成为数学素养较高的受众接触该结果后讨论的主要技术焦点——反复强调的观点是，即使密度界限接近100%，也不等于证明，因为仍可能存在极小但非零的例外集合，超出任何密度论证的覆盖范围。这种张力——一方面是有史以来由AI辅助取得的空前进展，另一方面是类型明确且已被充分理解的结果——正是该事件真正的分歧所在。

该结果的可信度很大程度上依赖于Lean这一形式化证明助手，Claude的输出在Anthropic研究员Eric Easley的帮助下被翻译进了Lean系统^[6]。但形式化验证回答的问题比‘这是否正确且重要’要窄：它确认的是逻辑一致性，而非数学上的自然性或现实世界中的适用性^[3]。外部评审方面，则来自两位受邀的数论专家，他们在短时间内给出了积极但非正式的评价；截至发布时，该工作尚未提交期刊，也未完成同行评审^[3]。这种机器验证的逻辑与人类评判的重要性之间的差距，构成了反应中怀疑派的主要立场：一些读者指出该报告具有伪造或夸大结果的特征，另一些人则反驳称Lean和Mathlib的形式化本身就是反对伪造的直接证据。这两种反应可以同时成立——逻辑经得起检验，而其重要性如何仍是一个开放的人类判断问题。