资讯

Axiom用AI智能体验证Stacks数学库

Axiom Math宣布用AI智能体将约7654页Stacks Project转换为约1600万行Lean代码并通过形式化验证，为AI代理提供可复用的数学基础。