过去37年，人类顶尖数学家把这个进度条往前推了多少？ 0.8个百分点。 这一次，Claude一口气飙了25.6个百分点。…

过去37年，人类顶尖数学家把这个进度条往前推了多少？ 0.8个百分点。 这一次，Claude一口气飙了25.6个百分点。

算的是什么？ 黎曼猜想。 准确说，这绝不是证明了黎曼猜想。 而是证明“临界线”上非平凡零点的已知比例。 人类在这个问题上卡了几十年，之前的极限停在41.7%。 现在，AI直接把比例拉到了67.25%，跨过了三分之二大关。

这是自2013年张益唐证明有界素数间距以来，解析数论界最大的地震。

Claude是怎么做到的？ 它不是算力大飞砖，而是完全换了一条路。 从1974年到2020年，数学界一直在死磕同一种旧方法。 46年里像挤牙膏一样抠出了6.9%的增量，然后彻底摸到了天花板。 Claude拿出了第二种方法。 它用线性代数替换了1973年一个论证里的假设条件，硬是把一个有条件结论变成了无条件定理。 这套证明，已经通过了Lean 4系统的机器严格验证。

但这不代表黎曼猜想被终结。 这套新方法自带物理极限，最高只能推到68%左右。 想啃下最后三分之一的硬骨头，还要等第三个颠覆性的新点子。