OpenAI publishes frontier-model results on open math problems
OpenAI shared results from an internal frontier model on open mathematics problems, publishing Lean proof formalizations and research details on GitHub. Secondary coverage frames it as solving dozens of top open problems across hundreds of papers.
Concrete research with Lean proofs on GitHub; primary source, high capability signal despite bold secondary framing.