Axiom Math wants to keep AI slop out of mathematics
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
阅读原文 · TechCrunch（AI 版块）本文由 SoccerDream AI 自动聚合索引，内容版权归原作者与 TechCrunch（AI 版块） 所有。
本站仅作技术动态聚合，不构成任何形式的建议。
本站仅作技术动态聚合，不构成任何形式的建议。