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.