Axiom 宣布完成 Stacks Project 形式化验证

Axiom Math 宣布已对 Stacks Project 完成形式化验证，将这部约 7654 页的大型数学参考库转译为约 1600 万行代码，由 Lean 证明助手逐行检查。 Stacks Project 是人类编写的最大规模数学参考库之一，此番验证意味着其内容已全部通过计算机证明校验。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。