Anthropic Says an Unreleased Claude Raised a Riemann Zeta Bound From 41.6% to 67.2%

Anthropic reported that an unreleased research version of Claude improved a long-standing lower bound on the fraction of nontrivial zeros of the Riemann zeta function that lie on the critical line, raising it from 41.6 percent to 67.2 percent. The Riemann hypothesis asserts that all such zeros lie on that line. Proving a positive fraction, and then pushing that fraction up, has been a decades-long program in analytic number theory.

Anthropic states that two mathematicians on staff studied and validated the model's paper, and that Claude also produced a formally verifiable proof of the result. A machine-checkable proof matters more than the headline percentage, because it removes the usual failure mode in which a model produces a plausible argument with a subtle gap.

The lab is explicit about the limit of the claim. It does not expect the techniques used here to lead to a proof of the Riemann hypothesis. This is an improvement to a quantitative bound inside an established framework, not a new route to the conjecture.

Two caveats matter here. The model is not released, so no outside group can reproduce the run, and the mathematicians who checked the work are employed by the company that benefits if the claim holds. Independent number theorists working through the argument, and the formal proof passing an outside proof assistant check, are what would move this from a vendor report to an established result.