AI与世界难题 · 数学 · Anthropic · 2026-09-26
Claude改进了关于黎曼ζ函数零点中满足黎曼猜想的比例的一个长期存在的下界
原标题: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
黎曼猜想是一个尚未解决的问题，它指出黎曼ζ函数的零点全都位于某条垂直直线上。在尝试解决该问题的过程中，一个未发布的Claude研究版本并未证明该猜想，但改进了关于满足该条件的零点所占比例的一个长期存在的下界，将其从41.6%提高到67.2%。两位Anthropic的数学家验证了这篇论文并撰写了一份非正式的专家说明，Claude还给出了一个可形式化验证的证明。预计这一结果不会促成对该猜想本身的证明。