What if AI could generate enormous amounts of code without sacrificing quality?
@AxiomMathAI has transformed the Stacks Project, one of mathematics' most complex and interconnected foundations, into a vast library of machine-checkable code.
The impressive part isn't just the scale. It's how the mathematics fits together, preserving the connections between individual results to create something much bigger.
A foundation that could help AI agents solve increasingly difficult problems in mathematics and beyond.
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆
Show more