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 researcher, moved from RAND to lead ARIA in UK”
Mathematical SuperintelligenceFormal VerificationLean Programming Language
View Analysis