axiom math 識別 7,654 頁 stacks project 數學成果，防止 AI 錯誤
axiom math 正式驗證了 stacks project，一個龐大的數學庫，為 ai 代理提供可信賴的基礎，以編寫軟體和進行科學研究。這有助於防止 ai 生成的數學解決方案中的錯誤。
axiom math, founded in march 2025 by ceo carina hong, aims to create a verified foundation for ai agents to write software and do science. the company verified the stacks project, a large body of mathematics, by translating its 7,654 pages into 16 million lines of computer-checked code in the programming language lean. this process ensures the mathematical structure is sound and trustworthy. mathematicians and ai agents can now rely on this verified foundation to build and check new mathematical results, particularly in algebraic geometry. axiom trained its own models to be good at math and gave its agents a loose structure to work in parallel, allowing them to find tasks and identify areas to work on.