Axiom Math完成Stacks Project形式化验证

初创公司 Axiom Math 宣布其 AI Agent 团队已完成对 Stacks Project 的形式化验证，将约 7654 页数学内容转化为约 1600 万行经过计算机检查的 Lean 代码。 Stacks Project 是人类撰写的最大规模数学文献之一。此次验证通过自动化手段将其内容转换为机器可校验的代码，标志着在大规模数学知识形式化方面取得进展。

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

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