Gradient Dissent: Conversations on AI · 2026-02-05 · 51 min
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.
He's Building an AI That Can't Lie | Dan Klein78 / 100He Raised $70M to Cure Every Disease With AI | Samuel G. Rodriques, Edison ScientificUber, Nissan, and Mercedes Chose This Self-Driving Startup | Alex Kendall, WayveWhy Netflix, Uber, and Spotify Never Lag: The Database Nobody Talks About | Aaron KatzWhat a $42B Software Co. Really Spends on AI Tools