The Upstarts Podcast cover image

Axiom’s Carina Hong: Solving Math’s Hardest Problems With AI, And AI's Problems With Math

The Upstarts Podcast

00:00

Code Verification as a Business

Carina explains verified code generation's commercial value and Axiom's strong benchmark results.

Play episode from 32:27
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