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
- Lab monkeys at $30-80K each: a 4-year breeding cycle is the real preclinical drug bottleneck — zebird0 · 2026-10-27
- OpenAI Foundation funds UNC tumor antigen project, hiring senior experimental scientist — iskander · 2026-10-27
- Steering attention heads toward honesty: up moral patienthood, down psychopathy — edelwax · 2026-10-27
- Are transcoders overkill? New paper argues plain neurons suffice for circuit analysis — burny_tech · 2026-10-27
- EMNLP paper GENIE: a fine-grained metric locating where LLM stories are novel — gregd_nlp · 2026-10-27
- Hashed n-gram value embeddings push GPT to 3.2115 loss, beating 30M track record — RobertTLange · 2026-10-27