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

Axiom Math 于周三宣布，其 AI agent 已完成对 Stacks Project 的形式化验证，将约 7,654 页数学内容转为约 1600 万行经计算机逐行检查的 Lean 代码。 Stacks Project 是人类编写的最大规模数学文献之一，此次验证意味着其全部内容已通过计算机形式化检查。

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

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