AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
The MAD Podcast with Matt Turck · 64:00
Axiom, an AI-math startup about seven months old, is building an "AI mathematician" whose proofs are checked in the Lean formal proof language, so every output it presents is guaranteed correct. CEO Carina Hong argues...