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 🌆