// AI
Axiom Math's agents turned 7,654 pages of human math into 16 million lines of checked Lean
The startup formally verified the Stacks Project, a huge open reference in algebraic geometry, with agents working in parallel. It wants verified math to be the base layer for AI code.