blog — Proofs and Prompts — 14 Sep 2026
A beginning for mathematics
#large-language-models #ai-mathematics #automated-reasoning
Daniel Litt, professor at the University of Toronto Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO. Now, these systems are autonomously resolving major open questions. It’s hard to imagine this trend continuing for […]