OpenAI publishes AI math results on GitHub
New results from an internal frontier model, with Lean formalizations of many of the proofs.
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
Official source
Sharing AI progress in mathematicsopenai.com · published