ANTHROPIC said an unreleased research version of Claude attempted to tackle the
Riemann hypothesis. It did not prove the conjecture but raised the lower bound
on the proportion of zeros of the Riemann zeta function that satisfy the
hypothesis from 41.6% to 67.2%.