原文跳转提示
此资讯内容来源于外部网站，将在 60 秒后自动跳转到原文页面
https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/
Axiom Math 希望阻止 AI 低质量内容充斥数学领域
未经核验的证明不断涌入数学领域，初创公司 Axiom Math 因此押注于验证技术。该公司的 AI 智能体已对 Stacks Project 进行形式化验证；这是该领域规模最大的资料库之一。
本文来源：TechCrunch，仅供学习参考，版权归原作者所有。