How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman @LexClips
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman @LexClips
Updated September 2026, 1 week ago
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex FridmanHow video compression works - VLC lead developer explains | Lex Fridman PodcastAre we in a Cold War with China? | Lex Fridman PodcastBernie Sanders on military industrial complex | Lex Fridman Podcast ClipsBernie Sanders on Elon Musk | Lex Fridman Podcast ClipsThe 27 Club: Why so many rock stars died at 27 | Rick Beato and Lex FridmanThe iron law of oligarchy: Elites always take power | Marc Andreessen and Lex FridmanHow the Cartel ordered a hit on Paul Rosolie | Lex Fridman Podcast ClipsThe genius of Peter Thiel and Donald Trump | Saagar Enjeti and Lex FridmanWhen will the American Empire collapse? | Saagar Enjeti and Lex FridmanChatGPT vs Gemini vs Claude vs Grok: Who wins? | Lex Fridman PodcastThe unsolvable infinity problem - The Continuum Hypothesis explained | Joel David Hamkins
Lex Clips |

How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER