An unreleased Claude research model raises a Riemann zeta lower bound from 41.6 percent to 67.2 percent

Sources: primary, discussion
Summary: Anthropic reports that an unreleased research model raised the lower bound on the fraction of zeros of the Riemann zeta function that lie on the critical line, from 41.6 percent to 67.2 percent. The result ships with a Lean formalization that passes the comparator validation tool. Levent Alpoge and Ralph Furman at Anthropic examined it, along with Brian Conrey and Dan Goldston outside the company.
Why it matters: A machine-checked artifact plus named outside examiners is a stronger evidentiary standard than the prose proof PDFs that earlier AI-credited math claims shipped with.
Follow-up: Independent review of the formalization, and whether the bound is accepted in the analytic number theory literature.