Latest / The MAD Podcast: How AI Gets Built — with Matt Turck
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
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 AxiomProver earned a perfect 12/12 on the Putnam 2025 and why formal verification (via Lean) may be the missing layer for reliable reasoning. Carina argues we’re entering a “math renaissance” where verified reasoning systems can tackle problems that currently take researchers months — and potentially push beyond math into verified code, hardware, and…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.