#Lean

Axiom Math scales formal verification to clean up AI-generated math

Axiom Math has formally verified the Stacks Project using AI agents, creating a reliable foundation for future AI-driven science and software development.