Axiom Math 完成 Stacks Project 形式化验证

Axiom Math 宣布已完成 Stacks Project 的形式化验证，将这一包含7,654页的数学著作转化为约1600万行计算机可检查的代码。这家16亿美元估值的公司通过AI智能体并行工作，将代数几何等领域的数学证明转化为 Lean 编程语言代码，确保每一定理和定义的逻辑一致性。