
He's Building an AI That Can't Lie Dan Klein
Jun 16, 2026 - 01:14:41
Radio and PodcastLive Radio & Podcasts
Formal verification already consumes years of human effort. In this episode, Lukas Biewald talks with Carina Hong, Founder & CEO of Axiom, about why verification is becoming the real bottleneck in high stakes AI systems....
The $64M Bet on an AI That Has to Be Right Carina Hong, CEO of Axiom is an episode from Gradient Dissent by Lukas Biewald. Formal verification already consumes years of human effort. In this episode, Lukas Biewald talks with Carina Hong, Fo...
This episode belongs to Gradient Dissent.
Use the player on this page to stream the episode online.
Published Feb 5, 2026, 50:40 long, audio available.