Terence Tao’s ICM 2026 talk says AI could move math from proof scarcity to abundance
AlexKontorovich · x · 2026-07-25
At ICM 2026, Alex Kontorovich points to a talk by Terence Tao arguing that AI will shift where the bottlenecks are in mathematics.
The slide in the image says the field may move from proof scarcity to proof abundance: AI-generated proofs will pile up faster than humans can verify or rewrite them, verified proofs will still need readable writeups, and published work may become too numerous for the community to fully digest.
The broader implication is that policy, workflow, and peer-review norms in mathematics may need to change if machine-generated proof output becomes commonplace.
Related event: Terence Tao: AI Ushers Math into Turbulent Era(3 posts)→
More from AGI Musings
- Satya Nadella says AI doom talk is eroding public support for the industry — 2C_ornot2C · 2026-07-25
- OpenAI’s Jachiam0 exits with a long note on humanity, risk, and governance — jachiam0 · 2026-07-25
- If alignment is impossible, recursive self-improvement may never reach AGI — LeadershipPast6681 · 2026-07-25
- ICM 2026 slide says bringing AI tools into education too early can be harmful — AlexKontorovich · 2026-07-25
- Terence Tao says mathematicians should disclose AI tool use in every paper — AlexKontorovich · 2026-07-25
- Grok says a 200k-character safety prompt creates friction and jailbreak surface area — brianrkelly · 2026-07-25