The $64M Bet on an AI That Has to Be Right | Carina Hong, CEO of Axiom
Gradient Dissent: Conversations on AIShow Notes
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/
More from Gradient Dissent: Conversations on AI
Can today's power grid handle the explosive growth of AI data centers? Tesla Alum Drew Baglino, now founder & CEO of Heron Power, doesn't think so.
Should American companies be worried about Chinese open-source AI models?
"We are going to switch from the problem in AI being that nothing works to the problem being that everything works."
Samuel Rodriques left physics because there were no unsolved problems left. Instead, he built an AI scientist named Kosmos to cure every disease, solve aging, and map the human brain. In this episode: The cure his AI proposed for blindness Why he would never touch a peptide Whether we'll need human scientists in 20 years What's stopping America in drug discovery
"Every vehicle is capable of driverless operation. That's clearly the steady state of where we're going." Wayve started in a rented house in Cambridge with $1.5M, a car in the garage, and an aim to integrate end-to-end AI into driving. A decade later it's driven across 506 cities without a single HD map and is worth over $8.6 billion. In this episode, CEO Alex Kendall joins Lukas Biewald to talk about how he built the AI driver Uber, Nvidia, Mercedes, and Nissan all backed, and why putting self-driving AI into 100 million cars a year is a far bigger bet than 10,000 robotaxis. Waymo and Tesla both come up. He doesn't shy away.