Axiom Math 完成 Stacks Project 形式化，旨在防止 AI 生成低质数学内容

Axiom Math 宣布正式完成 Stacks Project 的形式化验证，将约 7,654 页数学内容转化为 1600 万行 Lean 代码，旨在为 AI 智能体提供可靠的数学基础，避免生成低质数学内容。CEO Carina Hong 指出，通过让 AI 智能体并行工作并保留定理间的逻辑连接，该公司填补了代数几何形式化的重大空白，使未来证明可直接基于已验证的数学成果构建。