Terence Tao talk prompts a deeper question: what counts as solving a problem in the AI era
samiramanabi · x · 2026-07-26
A post sharing Terence Tao’s talk argues that in the age of cheap intelligence, the value of solving problems is no longer the solution itself, but whether it becomes useful to humanity. The attached slide frames the math goal as moving from open problems to verified, published, and finally “definitive” solutions. The author says the question is deeper than solving: when intelligence is cheap, usefulness becomes the real measure of value.
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