Axiom Math formally verifies the Stacks Project using AI agents to reduce errors in mathematical proofs
Read the original at techcrunch.com→As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
Original headline: "Axiom Math wants to keep AI slop out of mathematics"
Coverage timeline
- Nov 5, 16:16 UTC TechCrunch AI lead source Axiom Math wants to keep AI slop out of mathematics