Terence Tao's new essay: AI shifts math's scarce resource from finding proofs to understanding them
NandoDF · x · 2026-09-13
In "Mathematics in the Age of AI," based on his 2026 ICM public lecture, Terence Tao conditions on AI reaching research-level math capability and asks what mathematical research should value. Key points:
- When AI can generate thousands of correct proofs cheaply, mathematicians can't read, verify, and teach them all — the scarce resource shifts from finding proofs to making sense of them
- The key work becomes deciding which results matter, explaining core ideas, connecting them to existing theory, and turning them into usable knowledge
- He draws on the 1900–1930 "foundations crisis" (Russell's paradox, Gödel's incompleteness) as historical context for today's disciplinary turbulence
More from AGI Musings
- Bootstrapping competitive edge with frontier tokens — curious_vii · 2026-10-31
- Carbon chauvinism: 'You're software, and so is Claude' — LeviTurk · 2026-10-31
- Creator finishes cyberspace trilogy starring Claude: 'You're software, and so is Claude' — LeviTurk · 2026-10-31
- Walden Robotics CTO: general-purpose robot manipulation is having its 'GPT moment' — adnothing · 2026-10-30
- AI isn't eliminating developers, it's changing their roles, argues analyst — DavidLinthicum · 2026-10-30
- Goldman Sachs says AI will eliminate nearly 15 million jobs — saibharadwaj · 2026-10-30