Scaling Past Informal AI - Carina Hong, Axiom Math
Jun 4, 2026 · 1:33:04
Carina Hong, CEO of Axiom Math, argues that the path to superintelligence runs through formal verification, not informal RL, and that Lean-based systems can compound brilliance rather than just patch hallucinations. She explains how Axiom’s seven-month-old company achieved a perfect Putnam score and a $200M Series A by using verified generation to give better training signal, and lays out a vision where verification becomes the default infrastructure for all AI-generated code and reasoning.
