ICM2026 talk frames mathematics as a five-stage pipeline AI only partly covers
lmthang · x · 2026-07-26
- The full slide deck from Terry’s talk at #ICM2026 is now available.
- The talk frames mathematics as a five-step pipeline: proof generation, verification, exposition, publication, and finally canonicalization into textbooks for future generations.
- The post highlights a key asymmetry: AI is already doing well at generation, and is making meaningful progress on verification.
- The harder parts are the later stages — exposition, publication, and canonicalization — which still depend on human institutions, standards, and long-term consensus.
Related event: Terence Tao at ICM: AI Ushers Math into an Era of Proof Surplus(14 posts)→
More from Research
- Open ECDSA.fail challenge uses AI agents to shrink Shor's-algorithm quantum circuits for Bitcoin keys — StefanoGogioso · 2026-09-11
- Alex Townsend posts 200 open problems in numerical linear algebra for humans and AI agents — IgorCarron · 2026-09-11
- Navier-Stokes, Riemann, P vs NP: what this week's math buzzwords mean for you — koltregaskes · 2026-09-11
- Fruit fly brain as an LLM: connectome-driven language model demo goes live — ngxson · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11
- The Waymo effect: how AI is quietly making research less collaborative — JohnHammersley · 2026-09-11