Axiom Math 用形式验证应对 AI 数学证明泛滥

据TechCrunch AI发布，随着 AI 涌入未经核查的数学证明，Axiom Math 押注形式验证方法，其 AI 智能体刚刚形式验证了数学领域最大的资料库之一 Stacks Project。