Axiom Math's AI agents formally verify the Stacks Project to fight AI slop in mathematics

The startup bets on verification tools as unchecked machine-generated proofs proliferate.