Axiom Math verifies Stacks

Axiom Math 正式驗證了人類歷史上最大的數學資料集之一 Stacks Project，將其 7,654 頁內容轉化為 1,600 萬行 Lean 程式碼，為 AI 提供可靠的數學基礎。