AI Has Started Producing Serious Mathematics. ‘Solved’ Is Still the Wrong Default Word
OpenAI’s recent mathematics releases mark a genuine change: models are producing proof attempts, code and Lean formalizations. But discovery, machine verification and mathematical acceptance are three different milestones.
October 9, 2026 · 9 min read