OpenAI releases 722 AI-generated math manuscripts from internal frontier model

OpenAI published 722 manuscripts covering 372 result families from an unreleased internal frontier model, claiming solutions or progress on hundreds of open problems in mathematics and theoretical computer science, with many Lean formalizations. The average result used compute equivalent to roughly three hours of ChatGPT Pro thinking. This follows the company's prior Navier-Stokes claim and involves consultation with an independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study.