Anthropic 今天宣布，一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中，虽然没能证明猜想本身，却在一个相关问题上取得了重大突破：
它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界，从 41.6% 提高到了 67.2%。
1942 年 Selberg 首次证明有正比例的零点在线上，但比例很小；
1974 年 Levinson 证明至少三分之一；
1989 年 Conrey 推到五分之二；
此后又经历了几代数学家的努力，到 2020 年 Pratt 等人才把这个数字推到 41.7%。
Claude 一步跳到 67.2%，让大家不由猜想下个版本会怎么样。
