TBPN cover image

AI vs. Dog Cancer, Oscars Reactions, How to Lose the AI Arms Race | Kevin Espiritu, Paul Conyngham, Tony Zhao, Drew Oetting, Carina Hong, Cameron Fink, Debra Birnbaum

TBPN

00:00

Axiom bets verified math unlocks superintelligence

Carina Hong explains Axiom’s use of formal verification and Lean proofs to push math reasoning beyond current models toward reliable AI systems.

Play episode from 02:43:20
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app