PERSON DIRECTORY
Terence Tao
Terence Tao appears in 2 indexed conversations across Dwarkesh Podcast, Lex Fridman Podcast. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
Terence Tao – How the world’s top mathematician uses AI
AI has driven idea-generation costs toward zero in mathematics, shifting the scarce resource to verification as journals face floods of submissions and human peer review cannot scale to 1,000 theories a day.Roughly 50 of 1,100 Erdős problems were solved with AI assistance before a plateau, while Tao reports 5x gains in auxiliary work but little core improvement, making scalable benchmarks, cumulative learning, and cryptography risks the next signals to monitor.
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Lean could become the trust layer for scalable mathematics, despite formalization currently taking Tao roughly 10 times longer than writing proofs by hand.The Equational Theories Project tested about 22 million implications across roughly 4,000 algebraic laws, while AI supplies perhaps “30, 40%” of mathematical skills but still lacks reliable judgment; adoption could accelerate once formal-first workflows fall below the 1× effort threshold.