---
format: "aidr-story-markdown/v1"
id: "ebef47c413e7a9e7a43039e682fec229c019cff8be72d22d9f9ef486321ef254"
canonical_url: "https://aidr.today/ebef47c4?lang=en"
title: "Axiom Math wants to keep AI slop out of mathematics"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-11-05T16:16:45.000Z"
category: "Agents"
topics: ["agent"]
source_urls: ["https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/"]
summary: "Axiom Math is working to prevent unverified AI-generated mathematical proofs from entering the field by using AI agents to formally verify the Stacks Project, one of the largest libraries in mathematics."
---

# Axiom Math wants to keep AI slop out of mathematics

> [Open the canonical story](<https://aidr.today/ebef47c4?lang=en>)

**Published:** 2026-11-05T16:16:45.000Z
**Category:** Agents
**Topics:** agent

## Summary

Axiom Math is working to prevent unverified AI\-generated mathematical proofs from entering the field by using AI agents to formally verify the Stacks Project, one of the largest libraries in mathematics\.

## Sources

- [Story source](<https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/>)