Tao’s ICM 2026 hypothesis: AI may soon handle a meaningful share of research math
AlexKontorovich · x · 2026-07-25
Terrence Tao’s ICM 2026 talk starts from a working hypothesis: AI tools will reasonably soon be able to perform a reasonable fraction of research-level mathematical tasks, with acceptable levels of success, quality, supervision, and cost.
He then asks what follows if that hypothesis holds. The central question is not just capability, but the consequences for the mathematics community, its goals, and how mathematical research is organized in an AI-saturated future.
Related event: Mathematicians Predict AI Will Soon Handle Research-Level Math(2 posts)→
More from AGI Musings
- 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
- Thread argues today’s models already match most human researchers — bookwormengr · 2026-07-25
- Alex Kontorovich says AI tools are still too opaque about how they solve problems — sull · 2026-07-25
- Sequoia: America's Open-Model Paradox and Dependence on Chinese Distillation — Sequoia Capital · 2026-07-25
- Conference slide warns AI optimization could pull mathematics’ goals apart — AlexKontorovich · 2026-07-25