OpenAI Releases 722 AI-Generated Math Manuscripts Built on Frontier Reasoning Models.
OpenAI Releases 722 AI-Generated Math Manuscripts, Sparking Debates over Formal Verification and Retractions OpenAI has published a massive repository containing 722 mathematical manuscripts across 372 result families , generated by an unreleased internal frontier reasoning model. By feeding approximately 4,000 unsolved research problems to the model, the initiative yielded a dense body of work spanning theoretical computer science, algebraic geometry, and number theory. While the release showcases the accelerating power of AI in automated conjecture and proof generation, recent paper retractions and revisions highlight ongoing challenges in machine-assisted mathematical verification. Massive Research Output, Theoretical Computer Science, and Lean Formalization Prompting Unsolved Mathematics at Scale: Large Problem Input Set: OpenAI posed roughly 4,000 open research problems to its unreleased frontier model, utilizing an average of approximately three hours of thinking compute per...