Axiom Math verifies 7,654 pages of Stacks Project math to prevent AI errors

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.