On ZeroBench, the impossible visual benchmark, GPT-5.6 Sol became the first model to reach the 30% human baseline.
Asked by a non-mathematician to take a real stab at the Riemann hypothesis, an unreleased research Claude instead raised the lower bound for zeta zeros on the critical line from 41.6% to 67.2%, using 60 subagents and a formally verified Lean proof.