The A.I. Daily
Axiom Math formally verifies Stacks Project with AI agents
Axiom Math, valued at $1.6B, said its AI agents translated the roughly 7,654-page Stacks Project into about 16 million lines of computer-checked Lean code, a formal verification push against unchecked AI-generated proofs flooding math.