Riemann Hypothesis

Anthropic’s Claude Raises Proven Riemann Zeta Zero Bound to 67.2%

Anthropic says an unreleased research Claude recombined prior papers to increase the proven fraction of zeta zeros on the critical line and produced a Lean formalization, producing a major AI-assisted advance in analytic number theory.