RecodeX 重构消息，Axiom Math的AI智能体已完成对Stacks Project的形式化验证。Stacks Project是该领域规模最大的数学资料库之一。随着AI大量生成未经核验的数学证明，这家初创公司押注于验证环节，以阻止低质量内容涌入数学研究。