#mathematics

OpenAI says 10,000 agents found a singularity in the Navier-Stokes equations, verified in Lean. It won't claim the Clay prize, and a credit fight has erupted.

An unreleased Claude research model raised the proven share of Riemann zeta zeros on the critical line from 41.6% to 67.2%, verified by human mathematicians.

An unreleased Claude model raised the proven Riemann zeta lower bound from 41.6% to 67.2%, using 60 subagents and 31 million output tokens.