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