RealFeedApp AxiomMath verified the $1.6B Stacks Project
The $1.6B startup completed formal verification of the Stacks Project, a major mathematical corpus established in 2005.
- Field
- tools and releases
- What they did
- The company Axiom Math completed the formal verification of the entire Stacks Project database, which contains thousands of mathematical theorems and proofs.
- Why it matters
- This will allow creating software and conducting scientific research with a guarantee that the code and conclusions do not contain errors that language models might introduce.
#formal verification#ai safety#mathematics#axiommath
