AI
Axiom Math Stacks Project Release Brings 16M Lines of Verified Code
Axiom Math has released a formalized version of the Stacks Project, an extensive mathematical reference covering algebraic geometry. Its AI agents generated approximately 16 million lines of Lean code, creating a machine-checked library that researchers can…