Terence Tao Talks to Numberphile About AI and Math
10b0t0mized · reddit · 2026-10-15
A Reddit post shares Numberphile's latest video featuring Fields Medalist Terence Tao discussing AI — its role in mathematics and research — in an episode titled 'NO MORE HEROES'. Tao has been a prominent voice on formal proofs and LLMs in math, making this a must-watch for anyone following AI-assisted mathematics.
More from AGI Musings
- Super-Worms Warning: AI-Powered Self-Propagating Malware and a Fragmenting Internet — JensHonack · 2026-10-23
- Wolfram Opens Rule 30 Prizes to AIs: $30,000 for Three Open Problems — cephaloform · 2026-10-23
- Mathematicians and Biomedical Researchers React to AI in Strikingly Different Ways — manorlaboratory · 2026-10-23
- Stanford and Databricks use AI agents to reproduce medical findings and test analytical robustness — ChengleiSi · 2026-10-23
- ISMS Fellow Avi Goldfarb: AI disruption raises returns to exploring research directions — avicgoldfarb · 2026-10-23
- signull on AI-found PHP exploits: economic liability is the forcing function legacy software needs — signulll · 2026-10-23