Axiom Math wants to keep AI slop out of mathematics

Axiom Math's AI agents formally verified the Stacks Project, one of mathematics' largest libraries, aiming to keep AI-generated proofs out of the field. The startup's verification system checks proofs for correctness, addressing concerns about unchecked AI slop flooding math. This milestone could set a standard for AI-assisted mathematical research.