Post #399658 42 Oct 6, 2026, 22:44 UTC Sharing AI Progress in Mathematicshttps://openai.com/index/sharing-ai-progress-in-mathematics/ OpenAI Sharing AI progress in mathematics OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.