Terence Tao frames AI in mathematics as a testable capability conjecture
burny_tech · x · 2026-07-26
Terence Tao’s talk frames AI in mathematics as a concrete capability question: whether, in the near future, AI tools can complete research-level mathematical tasks with non-trivial success, under some cost and human supervision.
The slide argues this should be treated as a family of conjectures, with the key variables left intentionally open: which math fields, what success rate, what level of correctness, and how much supervision is required.
Related event: Terence Tao at ICM: AI Ushers Math into an Era of Proof Surplus(14 posts)→
More from AGI Musings
- Should AI models be taught morality? Breakout incidents expose missing ethical training — Pfungus_ · 2026-09-11
- SoftBank's Masayoshi Son predicts 100 trillion self-replicating AIs: "humans' era as top life form is ending" — Puzzleheaded-King584 · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- The AlphaFold lesson: AI-solved math may mean fewer mathematicians needed — kiki-le-koala · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11
- "ChatGPT 6 Makes Workers with IQ Below 130 Useless": French AI Debate Sparks Backlash — mitchdeg · 2026-09-11