Axiom(@axiommathai):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 🌆

Axiom

@axiommathai

The Starting Point for Reasoning

가입 September 2025

73 팔로잉 중 24.3K 팬

Axiom@axiommathai

2026.11.04 17:13

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 🌆