The $64M Bet on an AI That Has to Be Right Carina Hong, CEO of Axiom

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. They discuss how Axiom uses AI to take on the tedious checking that stretches verification cycles across years, starting with formal mathematics and extending to hardware and software. Carina also explains why Axiom’s approach to auto-formalization mirrors spec driven models like Kiro from AWS. Connect with us here: Carina Hong: Axiom: Lukas Biewald: Weights & Biases:

You can listen to The $64M Bet on an AI That Has to Be Right Carina Hong, CEO of Axiom online on Radio and Podcast. Open the player on this page to stream the available audio.

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.

This episode is 50:40 long.

This episode was published on Feb 5, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Gradient Dissent when more episodes are available from the podcast feed.