Axiom Math完成Stacks Project形式化验证

估值16亿美元的初创公司Axiom Math宣布，已将数学领域最大参考文献之一Stacks Project形式化验证为约1600万行Lean代码，为AI代理提供可靠的数学基础，以应对AI生成数学内容质量良莠不齐的问题。