AxiomMath使用形式化验证技术验证Stacks Project

1. 00:16
   TechCrunch · AI

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

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

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。