OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub

OpenAI published new results on open problems in mathematics produced by an internal frontier model, and shared Lean proof formalizations and research details on GitHub.