OpenAI Just Posted Hundreds More Results on Major Math Problems
OpenAI has published 722 manuscripts in 372 result families from an unreleased internal model, claiming progress on problems from the quasi-Riemann hypothesis to matrix multiplication. We count how much is checked in Lean, explain the 372-versus-377 confusion, score the release against the AGMAI guidelines and set out what it means for businesses relying on AI output.
