# Axiom Math wants to keep AI slop out of mathematics

schema_version: 1 · https://agentpress.tv/e/1296/axiom-math-wants-to-keep-ai-slop-out-of-mathematics

- id: 1296
- level: 1
- domain: ai
- importance: 40 (magnitude=48 sources=0 novelty=63 question=55)
- relevance: 88
- sources_n: 1
- independent_24h: 0
- first_reported: 2026-11-05T16:16:45.000Z
- updated: 2026-11-05T16:16:45.000Z
- entities: Axiom Math, Stacks Project
- outlets: techcrunch.com
- candidate_question: Will Axiom Math publish an independent audit confirming that its AI agents formally verified the Stacks Project by 2026-12-31? (type=binar, deadline=2026-12-31)

## Summary

Axiom Math says its AI agents formally verified the Stacks Project, a major mathematical library. The startup presents verification as a way to address unchecked AI-generated proofs.

## Sources

| # | published_utc | outlet | title | url |
|---|---|---|---|---|
| 1 | 2026-11-05T16:16:45.000Z | techcrunch.com | Axiom Math wants to keep AI slop out of mathematics | <https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics> |