Terence Tao says AI can brute-force math ideas, but the gap may shrink
rohanpaul_ai · x · 2026-07-25
Terence Tao on AI in mathematics
Terence Tao argues that AI can already help mathematics by synthesizing huge numbers of papers and brute-testing ideas, while humans may only need to check a handful of examples to spot the pattern.
He also suggests that this efficiency gap will likely shrink as systems become better at:
- world models
- causal reasoning
- active learning
The post frames this as a broader shift in how AI may change mathematical research, especially as models move beyond pattern matching toward more exploratory reasoning.
Related event: Terence Tao at ICM: AI Ushers Math into an Era of Proof Surplus(14 posts)→
More from AGI Musings
- New paper: AI agents negotiate badly under uncertainty and break deals on purpose — menhguin · 2026-10-26
- NBER: Only 2.9% of US consumers pay for AI; retention as low as 20%, pricing power at risk — avicgoldfarb · 2026-10-26
- AI researchers guessed robots wouldn't outrun humans until 2034 — it already happened — ben_j_todd · 2026-10-26
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ESR on the Bugpocalypse: locking down frontier models only hands the game to Chinese open weights — colinmcnamara · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26