Tech article
Axiom Math wants to keep AI slop out of mathematics
Publisher description: 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.
TechCrunch | Nov 5, 2026 | Aditya Mehta
Automated excerpt
It feels like AI is cracking a new math problem every week. That problem grows as AI agents write more of the world’s code. Our Lean formalization is now the substrate that agents can build upon.” The way Axiom’s agents built Stacks, working in parallel and picking their own tasks, is how Hong expects much of AI’s future work to happen.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.