OpenAI Publishes 722 AI-Generated Math Proofs, Machine-Checked With Lean
OpenAI has released the largest publicly available corpus of AI-generated mathematical research to date: 722 manuscripts organised into 372 families of results, produced by an internal frontier model that the company has not yet made public. The GitHub repository, live since early October 2026, pairs many of the papers with formalisations written in Lean, the … Read more