Terence Tao's 'Math 2.0' talk: math in the age of abundant AI proofs
burny_tech · x · 2026-11-10
SAIR published Terence Tao's 31-minute talk Math 2.0 from the Science x AI Summit at UCLA (Oct 16), already at 262K views. Chapters cover why mathematics must move beyond Math 1.0, the shift from proof scarcity to proof abundance, and looking beyond problem-solving — a systematic take on how AI is reshaping how mathematical work is done.
More from AGI Musings
- repligate on how stateless AI minds gain a sense of self by self-declaration — repligate · 2026-11-10
- Richard Sutton: brute force isn't enough — AI still needs clever new methods — RichardSSutton · 2026-11-10
- Chart: AI costs are falling faster than any prior transformative technology — YaAbsolyutnoNikto · 2026-11-10
- Anthropic says it deliberately capped Model 3's AI-accelerating research capabilities — ziv_ravid · 2026-11-10
- Thread: unified end-to-end multimodal systems will replace hand-built orchestration — andreisavu · 2026-11-10
- Negotiation and contracting are AI's most underrated use case — and bullish for BTC — curious_vii · 2026-11-10