Axiom Math AI agents formally verify the Stacks Project to curb unchecked proofs

The startup is betting on verification as AI floods mathematics with unvetted results.