AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
The MAD Podcast with Matt Turck
5 DAYS AGO
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
The MAD Podcast with Matt Turck
5 DAYS AGO
Unprocessed episode, you can be the first!
Shownote
Shownote
What if AI didn’t just sound right — but could prove it? In this episode of the MAD Podcast, Matt Turck sits down with Carina Hong, a 24-year-old former math olympiad competitor and Rhodes Scholar, and the founder/CEO of Axiom Math, to unpack how AxiomProv...
Highlights
Highlights
Chapters
Chapters
Transcript
Transcript
