Mentioned On
Episode Mentions
How I Invest with David Weisburd · Jun 15, 2026
E390: Ron Rofé on AI, Founder Obsession, and Venture Returns
“AI company founded by Vlad Tenev and Tudor from Robinhood; invested 2.5 years ago”
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”
"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”
"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”
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”