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

Axiom Math 宣布完成对 Stacks Project 的形式化验证，将约 7,654 页数学文献翻译成约 1,600 万行代码，并经 Lean 证明助手逐行检查。 Stacks Project 是人类编写的大型数学文献汇编之一，此前其内容未经计算机验证。此次验证意味着其中的数学证明已全部转化为 Lean 可校验的形式。

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

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