Axiom Math 用形式驗証應對 AI 數學証明氾濫

據TechCrunch AI發布，隨着 AI 湧入未經覈査的數學証明，Axiom Math 押注形式驗証方法，其 AI 智能體剛剛形式驗証了數學領域最大的資料庫之一 Stacks Project。