Axiom has published a 16-million-line formalization of the Stacks Project using an AI agent swarm. The release converts foundational mathematics across algebra and geometry into verified, machine-readable code.
FireBrief
FireBrief