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

A year ago, Morgan Prize-winning math prodigy Carina Hong was working on her PhD at Stanford. Now, she runs startup Axiom Math, a math AI startup valued at $1.6 billion. Axiom has already solved complex math problems, and Hong hopes it can help researchers solve more. But her ambitions go beyond that: to solve AI code's 'slop' problem by running math-based verification in real-time. On The Upstarts Podcast, Hong shares her founder journey from immigrant to MIT and Stanford; why most perceptions of code verification are wrong, and how she’s learning on the job to help Axiom compete in a red-hot new category. Plus, she shares her Upstart Moment as Axiom's tools took on the world's hardest college-level math test. Chapters: 00:00 Introduction 00:48 Intro to Carina Hong 02:02 What Axiom Math does 05:51 ‘Math is AGI’ 08:48 Not replacing mathematicians 13:28 Winning the Morgan Prize 17:17 Origins of Axiom 22:22 The new math AI race 25:51 Carina’s Upstart Moment 31:47 Axiom’s business prospects 36:39 Why the future is verified coding For more, visit https://www.upstartsmedia.com/ Season 1 of the Upstarts Podcast is presented by Mercury: https://mercury.com/ Produced & edited by Eric Johnson from LightningPod: https://lightningpod.fm/