# Axiom Math wants to keep AI slop out of mathematics

- Source: TechCrunch
- Published: 2026-11-05T16:16:45+00:00
- Category: Tech
- Original: https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/
- Canonical: https://groundlevelnews.com/story/axiom-math-wants-to-keep-ai-slop-out-of-mathematics-262e78/

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.

_Ground Level News shows a short summary only; the full article and all rights belong to TechCrunch._