Updated

Axiom Math says its AI agents formally verified the Stacks Project, one of mathematics' largest reference libraries. The startup is positioning verification as a safeguard against unchecked AI-generated proofs. TechCrunch reported the claim on November 5. The excerpt does not detail the verification process.