科技Axiom Math希望将低质AI内容挡在数学之外

随着未经核验的证明大量涌入数学领域，Axiom Math押注于验证技术。这家初创公司的AI代理刚刚对Stacks Project这一数学领域最大的资料库之一进行了形式化验证。

人工智能数学形式化验证

TTechCrunch★★☆☆☆2026-11-05 16:16原文