Results for “math”
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Terence Tao discusses the mathematical challenges of the Navier-Stokes equations, explaining how 'supercriticality' allows energy to concentrate into singularities, and details his construction of a 'liquid computer' modsummaryHe also explores the intersection of mathematics and AI, highlighting how formal proof assistants like Lean enable collaborative, verifiable research and how large language models can assist in lemma search and literatursummaryMathematical proofs are increasingly being formalized in Lean, a proof assistant language, which allows for 'trustless' collaboration where thousands of contributors can verify proofs atomically, reducing errors and enabtakeaway














