Carina Hong
Founder and CEO of Axiom (Axiom Math) and former math olympiad competitor and Rhodes Scholar, known for leading AxiomProver which achieved major formal-verification math milestones like a perfect Putnam score and solving open conjectures.
Best podcasts with Carina Hong
Ranked by the Snipd community
158 snips
Feb 26, 2026 • 1h 4min
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Carina Hong, founder and CEO of Axiom and former math olympiad competitor and Rhodes Scholar, built AxiomProver that scored 12/12 on the Putnam and proved open conjectures. The conversation covers formal verification with Lean, the generation-plus-verification loop, solving research problems autonomously, scaling verified reasoning to code and hardware, and the idea of a coming math renaissance driven by trusted AI proofs.
Apr 2, 2026 • 39min
Axiom’s Carina Hong: Solving Math’s Hardest Problems With AI, And AI's Problems With Math
Carina Hong, founder and CEO of Axiom Math and former Morgan Prize–winning mathematician, leads work on AI that performs and verifies advanced mathematics. She discusses building AI that solves and formalizes hard proofs, Axiom’s real-time Putnam success, and using formal verification to make AI-generated code and math trustworthy.
