# Stacks

Axiom验证Stacks项目，AI构建数学逻辑地基

Axiom验证Stacks项目，夯实AI数学逻辑地基。估值16亿美元的初创公司，将7654页数学内容转为1600万行可检查代码，填补形式化数学空白，让未来证明无需从头构建。