❯ Anthropic披露未发布Claude模型，将黎曼猜想相关下界推至67.2%

数学突破Anthropic让一个未发布的研究版Claude正面挑战黎曼猜想，没能解出这个悬赏100万美元、困扰数学界160多年的世纪难题，却把其中一个关键下界——黎曼ζ函数满足该假设的零点比例——从41.6%推高到67.2%，这是该下界近年来最大的一次单次跃升，Anthropic于8月10日在官方研究页披露了整个过程。

集群跑分这套结果不是灵光一现：Claude以约60个子智能体组成的集群在Claude Code里跑了一天半，累计消耗3100万输出token，最初尝试的650个思路全部失败。

数学路径真正起作用的是把Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh等数学家近年的论文和Bombieri在2000年的工作拼在一起，构造出一个由Weil二次型诱导的函数空间，再分析其正定与负定子空间——这是人类数学家此前也在推进、但速度慢得多的路径。

怎么看这不是黎曼猜想被证明，只是其中一块下界被搬动了一截，但它把”AI能不能做真研究”的争论从演示案例推进到了数学界公认难啃的具体问题上。研究员teortaxesTex等人的反应是”意料之中的好”而非”震惊”——真正影响后续判断的，是Anthropic有没有把方法和代码开放给外部开发者复现验证，这决定了这轮进展会不会被数学界正式承认。

▪ SIGNAL下界不是证明，但当一个孤证由Anthropic自己发布时，外部能否复现，比这两个百分点本身更值钱。