Axiom Math 完成对 Stacks Project 的形式化验证

Axiom Math 宣布已对 Stacks Project 完成形式化验证，将约 7,654 页数学内容转换为约 1,600 万行 Lean 代码，并由计算机逐行检查。公司称，这项成果补充了代数几何领域的形式化数学基础，可供后续证明和 AI 智能体使用。