OpenAI releases hundreds of math manuscripts generated by unreleased model

OpenAI shared a collection of 722 research papers produced by a new frontier AI model after analyzing thousands of open math problems. Many proofs include automated checks using the Lean proof assistant, though independent experts must still inspect unverified results.