Axiom 发布了对整个 Stacks Project 的形式化成果，共 1600 万行

AI 数学公司 Axiom 发布了对整个 Stacks Project 的形式化成果。Stacks Project 是一部关于代数几何的大型参考著作，Axiom 称其为现代数学的关键基础设施。Axiom 表示，成果共有 1600 万行，代码质量经过优化，并保留了该项目高度互联的结构；Axiom 将其称为“一个数学之城”。

Axiom 将这次发布作为一个反例，反驳了“规模化 vibecoding 会产出垃圾”的观点。截至 11 月 4 日下午，这篇帖子获得了约 2000 个赞。