Axiom Math 验证 Stack 斯项目

政策AI应用axiom math人工智能信号强度 0.91 条来源

来源

1 条

Axiom Math 宣布正式验证 Stack斯项目，这是数学领域最大的人类编写的数学文献之一。该公司希望以此为基础，防止AI在数学研究中产生错误或低质量成果。

2026-11-06

TechCrunchtechcrunch.com媒体