Mentioned On
Episode Mentions
Bankless · Apr 10, 2026
ROLLUP: Iran Ceasefire Rally | Anthropic’s “Mythos” Model | Q-Day Divide | Stablecoin Yield Debate
“Developing Aristotle theorem-proving AI model for formal verification of critical software systems”
Iran-US Ceasefire and Strait of Hormuz ControlBitcoin as Sanction-Resistant Payment SystemAnthropic Mythos AI Model and Cybersecurity Implications
View Analysis
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · Mar 1, 2026
Situational Awareness in Government, with UK AISI Chief Scientist Geoffrey Irving
“AI company achieving IMO Gold level performance with formal methods and Lean theorem proving”
AI Safety EvaluationCatastrophic AI RisksAI Jailbreaking Techniques
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
“AI research lab founded by guests, creators of Aristotle mathematical reasoning system”
Mathematical SuperintelligenceFormal VerificationLean Programming Language
View Analysis
Dwarkesh Podcast · Dec 30, 2025
Adam Marblestone – AI is missing something fundamental about the brain
“Billion-dollar valuation company building on formal math proving infrastructure for AI-assisted theorem proving”
Brain Architecture and Learning SystemsLoss Functions and Reward Design in AIConnectomics and Brain Mapping Technology
View Analysis