OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Read the full article:
Original source
Source: OpenAI News | Published: October 7, 2026