
Scaling Past Informal AI - Carina Hong, Axiom Math
Axiom Math's $200M Series A signals a strategic pivot in AI scaling: formal verification through theorem provers like Lean as the foundation for mathematical reasoning, not a downstream patch. The startup's perfect Putnam score positions verified generation as superior training signal compared to informal reinforcement learning, challenging the assumption that scale alone drives capability. This reflects growing conviction among frontier builders that mathematical AGI requires provable correctness baked into the learning loop from inception, reshaping how the field thinks about reliability and compounding intelligence.90























