Harmonic

Mentioned in 6 analyzed podcast episodes across 5 shows

Mentioned On

This Week in Startups How I Invest with David Weisburd Bankless "The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis Dwarkesh Podcast

Episode Mentions

This Week in Startups · Aug 7, 2026

How AI splits startups into winners and losers | E2322

“Startup intelligence database used live on-air to rank companies by stock-based compensation as % of revenue.”

AI adoption as a differentiator in SaaS earnings performanceStock-based compensation analysis in public and private tech companiesSmall modular nuclear reactors for maritime and data center energy

View Analysis

How I Invest with David Weisburd · Jun 15, 2026

E390: Ron Rofé 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 · 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