MNEMOSYNEv0.1.2563

Mnemosynev0.1.2563

Podcasts

Andrea Cirla (233 · 2 transcripts)
Angelicum (0)
Artesquieu (686 · 2 transcripts)
Collège de France (0)
Collège des Bernardins (25)
Elucid (168)
Fadi Akil (Untimely Thoughts) (7)
Gregory B. Sadler (0)
Hopliteia (81)
Intellectual Deep Web (1)
Interesting Times with Ross Douthat (11)
Lecture Sleep Club (0)
Les Financiers (0)
Lex Fridman Podcast (488)
Mets tes bottes ! (0)
Résonance[s] (12)
Rien ne veut rien dire (381 · 1 transcript)
Roger Scruton Lectures (0)
Sator (0)
Storiavoce (0)
Transmission (48 · 18 transcripts)

Browse

Full transcripts
Guests
Tags

Podcasts/Tags/Lean proof assistant

Lean proof assistant

Lex Fridman PodcastJun 14, 2025Tao, TerenceTerence Tao: Hardest Problems in Mathematics, Physics & the Future of AI