OpenAI has released a broad collection of new mathematical results produced by an internal frontier model.

The work is being published on GitHub, with many proofs formalized in Lean for computer verification, alongside reasoning summaries, compute estimates and statistics on attempted problems. OpenAI says the release is intended to improve scientific transparency and help establish better standards for sharing AI-generated advances in mathematics.