Industry
Axiom Math verifies Stacks Project to keep AI slop out of mathematics
Axiom Math, a startup, has used its AI agents to formally verify the Stacks Project, a major mathematics library. The effort aims to counter the risk of AI-generated proofs that may be incorrect. This marks a concrete step in applying AI to formal verification in mathematics.
Axiom MathStacks ProjectAI in mathematics