Episode Appearances
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · Feb 18, 2026
Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything
“Formal methods legend at AWS, previously interviewed on the podcast”
Mathematical SuperintelligenceFormal VerificationLean Programming Language
View Analysis