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: https://www.linkedin.com/in/carina-hong/Axiom: https://www.linkedin.com/company/axiommath/Lukas Biewald: https://www.linkedin.com/in/lbiewald/Weights & Biases: https://www.linkedin.com/company/wandb/
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from Gradient Dissent: Conversations on AI
Elon's Former Battery Chief: AI Data Centers Will Make Electricity Cheaper
40 Trillion Tokens a Day (Yes, More Than OpenAI) | Lin Qiao, CEO of Fireworks
He's Building an AI That Can't Lie | Dan Klein
He Raised $70M to Cure Every Disease With AI | Samuel G. Rodriques, Edison Scientific
Get summaries like this every morning.
Free AI-powered recaps of Gradient Dissent: Conversations on AI and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.