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
- Is the talk of slowing AI development just cover for doubling down behind closed doors? — RachelVT42 · 2026-09-13
- How Should Superintelligence Handle Evolving Morals? Distributed Decisions vs Centralized Ideals — voooooogel · 2026-09-13
- 'Independent evaluators' will be the most powerful people on the planet — cgarciae88 · 2026-09-13
- whurley calls AI safety push regulatory capture to kill open weights — whurley · 2026-09-13
- 'Deploy, deploy, deploy': diffusing current AI capabilities into apps is the moment — annbordetsky · 2026-09-13
- Ex-Google quantum lead claims big labs have achieved RSI and aim to cement an intelligence cartel — beffjezos · 2026-09-13