NewsSharing AI progress in mathematicsOctober 6, 20261 min readSource: OpenAI NewsOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.