AI article
Sharing AI progress in mathematics
Publisher description: OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
openai | Oct 6, 2026