Huge release for AI and math! Many people assume AI-generated code at scale means low quality. Ax...
elvis(@omarsar0) · 人工智能
Huge release for AI and math! Many people assume AI-generated code at scale means low quality. Axiom's new Stacks Project formalization in Lean says otherwise. The Stacks Project is a massive, deeply interconnected foundation for modern algebraic geometry. They turned it into machine-checkable code and kept that structure intact. AI agents now have a reusable foundation to build new math on. 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 🌆 Your browser does not support the video tag. 🔗 View on Twitter 🔗 View Quoted Tweet 💬 6 🔄 3 ❤️ 19 👀 3256 📊 7 ⚡ Powered by xgo.ing