AxiomMath验证Stacks Project 旨在将AI生成内容排除在数学领域外

AxiomMath这家初创公司宣布正式验证了Stacks Project，这是人类编写的最大数学文献库之一。该公司利用AI智能体将Stacks Project约7,654页的资料转化为约1600万行经过计算机检查的代码，并采用Lean编程语言进行形式化验证。AxiomMath认为，可验证的数学结果是未来AI智能体构建软件和科学研究的可靠基石，尤其在代数几何等领域填补了知识空白。