Companies

Harmonic

Mentioned in 5 analyzed podcast episodes across 4 shows

Episode Mentions

How I Invest with David Weisburd

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

Venture capital investment strategyFounder selection and evaluation criteriaAI investment consensus and market inefficiency
View Analysis
Bankless

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

"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

"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

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