科技Axiom Math盼將低品質AI內容擋在數學之外

未經查核的證明大量湧入數學領域之際，Axiom Math押注驗證技術。這家新創公司的AI代理剛完成對Stacks Project的形式化驗證；該計畫是數學界規模最大的資料庫之一。

人工智慧數學形式化驗證

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