OpenAI Shares AI Progress in Mathematics

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