Claude将黎曼zeta函数零点下界提升至67.2%Anthropic披露，一个未发布的Claude研究版本在尝试黎曼猜想时，虽未能解决这一百年难题，却意外将黎曼zeta函数零点在临界线上的比例下界从41.6%提升至67.2%。该成果借鉴了Baluyot、Goldston等数学家的近期研究。Claude在ClaudeCode中耗费3100万输出token，协调约60个子代理运行数千次数值检验。Anthropic两位数学家与外部专家BrianConrey、DanGoldston已审查验证，Claude还生成了可形式化验证的Lean证明。
发布于：