Opinion: Celebrating math beyond proofs
The gist
Grant Sanderson argues math should credit "motivated explanations," not just proofs.
The debate matters because AI can now generate proofs without human understanding.
How it unfolded
- Sep 14, 2026Daniel Litt publishes "A beginning for mathematics" on Proofs and Prompts, arguing AI is resolving open questions and the profession needs radical rethinking.
- Sep 15, 2026A Facebook post titled "When AI Races to Prove Math, Who Gets the Credit?" appears, noting Sébastien Bubeck celebrated these models' successes.
- Sep 18, 2026Terence Tao publishes guest post by Grant Sanderson: "If math is more than proof, we need to better celebrate the rest of it."