As of: 2026-11-09 21:13 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/p/x-axiommathai-2118028834515874112/

# “Most think vibecoding at scale is slop. Here’s a counterexample.”

Axiom (@axiommathai), X, 2026-11-04.
Source: https://x.com/axiommathai/status/2118028834515874112

## Archived text

> 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 🌆

Archived 2026-11-08 via fxtwitter (unofficial).
Counts: 6,963,716 views, 7,022 likes, 1,553 reposts, 851 replies (at fetch time)
Media: https://video.twimg.com/amplify_video/2118025261501595648/vid/avc1/1920x1080/57aEDWGAn18tnGcg.mp4?tag=29

## Cited in

- 2026-11-04: [Axiom: the Stacks Project formalized in Lean](https://postcutoff.com/e/2026-11-04-axiom-stacks-project-lean-formalization/)