Anthropic’s Claude Raises Proven Share of Riemann Zeta Zeros on Critical Line to 67.2%
Anthropic says the unreleased Claude produced a formally checkable proof, underwent internal checks, received brief external expert inspection, and has a Lean formalization while broader peer review remains pending.
