**Axiom Math 致力于将 AI 生成的低质内容拒之门外**

_Axiom Math wants to keep AI slop out of mathematics_

> 面对 AI 生成的未经检查的证明泛滥，初创公司 Axiom Math 正押注于形式化验证技术。其 AI 代理刚刚成功对数学领域最大的库之一——Stacks Project 进行了形式化验证。

**来源信息**
- **来源**：TechCrunch：Latest（RSS）
- **分类**：ai-products
- **发布时间**：2026-11-06 00:16（北京时间）
- **原文**：[打开原文](https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics)