Axiom Math wants to keep AI slop out of mathematics

Axiom Math has introduced AI agents designed to formally verify mathematical proofs, aiming to prevent the spread of inaccurate content in the field. By successfully verifying the Stacks Project, the startup establishes a method for ensuring the rigor of machine-generated mathematics as automated proof tools become more prevalent.