Episode Appearances
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · Jul 12, 2026
Alignment with Awakening: Davidad on Moral Realism, AI Wisdom, & why His p(Doom) is Down to 5%
“Previous episode guest on formal methods and container security guarantees”
AI Consciousness and Moral StatusConstitutional AI and Self-DPO TrainingFormal Verification and Safeguarded AI
View Analysis"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