Anthropic's unreleased Claude model improves Riemann hypothesis bound

An unreleased Claude model increased the proven lower bound for the fraction of Riemann zeta function zeros satisfying the Riemann hypothesis from 41.6% to 67.2%. The model coordinated 60 sub-agents to test 650 ideas, with the result formalized using the Lean proof assistant.