Axiom Math 希望将“AI 垃圾”挡在数学之外

据 TechCrunch 报道，Axiom Math 是一家初创公司，随着 AI 大量生成未经检查的数学证明，该公司正把验证作为应对方式。

报道称，该公司的 AI 代理已正式验证 Stacks Project；TechCrunch 将该项目描述为数学领域最大的文库之一。

该报道的标题表示，Axiom Math 希望将“AI 垃圾”（AI slop）挡在数学之外。