Axiom Math 正式验证 Stacks Project，构建 AI 可信赖的数学基础

Axiom Math 宣布正式验证了 Stacks Project，该项目是人类编写的最大数学文献之一。公司利用 AI 将其转化为计算机可检查的代码，确保数学结构的准确性。Axiom Math 认为，通过这种方式构建的数学基础将成为未来软件开发和科学研究的基石。