AITechCrunchabout 1 hour ago
Axiom Math Verifies Stacks Project
5 min read
Axiom Math announced on Wednesday that it formally verified the Stacks Project, a massive library of mathematics. The startup, founded by CEO Carina Hong in March 2025, utilized AI agents to translate roughly 7,654 pages into about 16 million lines of Lean code.
Level
Hype check
Tap to vote and see what everyone thinks.