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

Axiom Math 宣布完成对 Stacks Project 的形式化验证，把这部数学文献库约 7654 页的内容转换为约 1600 万行 Lean 代码，由计算机逐行检查。 Stacks Project 是人类写成的最大规模数学体系之一。形式化验证意味着其中的数学证明被逐条翻译成计算机可核对的形式，每一步都由验证程序确认无误。

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

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