OpenAI shares AI results on open problems in mathematicsOpenAI shares AI results on open problems in mathematicsOpenAI published new results on open problems in mathematics produced by an internal frontier model. The company also shared Lean proof formalizations and research details on GitHub.01:45AI
