Home / Technology / Axiom Builds Verified Math Framework for AI Future
Axiom Builds Verified Math Framework for AI Future
5 Nov
Summary
- Axiom's AI verified the massive Stacks Project, a foundational mathematics library.
- Formal verification ensures logical soundness of complex mathematical proofs.
- This verified foundation aims to improve AI's reliability in software and science.
Axiom, a $1.6 billion startup, has successfully verified the Stacks Project, one of the most significant collections of human-generated mathematics. This monumental effort involved translating roughly 7,654 pages into approximately 16 million lines of computer-checked code. The process, known as formal verification, uses proof assistants to ensure the logical integrity of mathematical theorems and definitions.
Founded in March 2025 by CEO Carina Hong, Axiom aims to create a verified foundation upon which AI agents can reliably build software and conduct scientific research. This verified mathematical structure addresses a significant gap in formalized math, particularly in algebraic geometry, providing a crucial building block for future discoveries.
The company's AI agents worked in parallel, identifying tasks autonomously to manage the Stacks Project's intricate interdependencies. Axiom also trained specialized AI models to enhance their mathematical reasoning capabilities, ensuring the preservation of mathematical beauty and consistency.
This initiative extends beyond mathematics, as the principles of formal verification are already used in engineering to ensure chip designs function correctly. Axiom's work seeks to bring similar reliability to AI-generated code, preventing the propagation of errors and improving the overall quality of AI outputs in various fields.
