Unreleased Claude Research Model Pushes Riemann Zeta Zero-Density Bound to 67.2% With a 60-Subagent Swarm
An unreleased Claude research model used 60 coordinated subagents to push a Riemann zeta zero-density bound from 41.6% to 67.2%, formally verified in Lean.