# Axiom Math wants to keep AI slop out of mathematics

**Published:** November 5, 2026
**Author:** Aditya Mehta
**Source:** TechCrunch — AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/en/articles/axiom-math-wants-to-keep-ai-slop-out-of-mathematics

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.

> From the original source: **TechCrunch — AI**
> [Read full article at TechCrunch — AI](https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/)

**Tags:** #OpenAI

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*