科技

Axiom Math用AI代理形式化验证Stacks项目

TechCrunch·1小时前

这家初创公司希望以验证机制应对AI生成数学证明泛滥的问题，其AI代理已完成对Stacks项目的正式验证。

阅读原文 · TechCrunch（在新窗口打开）