Axiom
@axiommathai • 22,871 subscribers
The Starting Point for Reasoning
Videos
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 🌆
Axiom6,134,281 görüntüleme • 21 saat önce
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
Axiom3,727,194 görüntüleme • 9 gün önce
Axiom launched six months ago with one conviction: mathematics is the right foundation for building systems that reason. Today we announce Axiom's Series A. We raised $200M at a $1.6B+ valuation, led by Menlo Ventures, to extend our lead in formal mathematics into Verified AI.
Axiom409,640 görüntüleme • 7 ay önce
This past March, Carina Hong sat down with Latent.Space for an episode on the Series A announcement. "Verified AI sounds like eating broccoli and paying taxes, but to Axiom it's about scaling brilliance, compounding brilliance." Agentic superintelligence needs Verified AI.
Axiom26,627 görüntüleme • 4 ay önce
"You have Galois who died at the age of 22 out of that famous, romantic duel, and then group theory got set back for decades. One person died, and then entire humanity got set back for decades?" For too long, we've been reasoning-bound. Axiom is building AI for math discovery.
Axiom11,991 görüntüleme • 6 ay önce
Daha fazla içerik yok.