Claude把黎曼猜想的零点下界推到67.25%，此前37年只挪了0.8%

数学圈这两天在传一件事：Anthropic的Claude在黎曼猜想上把零点下界推到了67.25%。

说人话，就是确认了超过三分之二的zeta零点位于临界线上且为单零点。距离彻底证明还差32.75%，但这个数字的意义要看参照系——过去37年，人类在这个下界上总共只推进了约0.8%。

黎曼猜想是解析数论的承重墙，素数分布的深层规律挂在它上面，上千条高阶定理的前提写着”假设黎曼猜想成立”。

Claude走的路子不算优雅。它没有找什么巧妙的结构性洞察，而是靠计算随变量增长的巨大矩阵，用矩阵的迹、Hilbert–Schmidt范数，加上一套复杂的秩-迹不等式，硬把下界顶上去。有人形容这是”暴力美学”，我觉得这个词挺准确。

需要说清楚的是：推进下界不等于证明猜想。剩下那32.75%完全可能需要一个全新的想法，而不是把现在这套算法再跑久一点。历史上这类下界推进停在某个数字上几十年不动，正是因为方法本身到顶了。

不过对数学工作者来说，这类成果已经改变了工作方式。以前是人想方法、机器验算；现在机器能在一个明确的目标函数下自己找路径，人负责判断这条路径有没有意义。