Sharing AI progress in mathematics

T1Covered by 1 source · first reported by OpenAI News at 06 Oct, 12:00 UTC

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.