Stacks Project 相关资讯

Axiom Math：给AI数学证明当"验货员"

随着AI大量生成未经核验的数学证明，数学界面临信任危机。创业公司Axiom Math押注形式化验证，试图为AI时代的数学建立质量关卡。该公司宣布，其AI代理已完成对Stacks Project——代数几何领域最重要的文献库之一——的形式化验