Axiom Math完成Stacks Project形式化验证

Axiom Math宣布已完成对 Stacks Project 的形式化验证，将约 7,654 页数学内容转为约 1,600 万行 Lean 代码，并由计算机逐行检查。公司称，这项成果补充了代数几何领域的形式化数学基础，可供后续证明和 AI 智能体使用。

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

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