Claude’s Zeta Breakthrough: 67% on the Critical Line
Claude’s attempt to directly tackle the Riemann hypothesis didn’t succeed, but it improved a key analytic number theory result. Anthropic reports a new 67.2% lower bound for the fraction of Riemann zeta zeros on the critical line, validated and formalized in Lean.