🔬Scaling Past Informal AI - Carina Hong, Axiom Math
Axiom argues formal verification, not just coding ability, is the key bottleneck on the path to AGI.
“Verification to me is about scaling brilliance, compounding brilliance,”— Dario Amodei
Axiom Math, a seven-month-old startup, solved all 12 Putnam problems and its CEO Carina Hong argues that formal verification (proving in languages like Lean) is the missing ingredient beyond coding for reaching AGI. This signals a growing industry thesis that verified, compounding reasoning will bottleneck or unlock AI progress where current code-centric scaling falls short.