Axiom

@axiommathai • 23,147 subscribers

The Starting Point for Reasoning

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

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 🌆

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 🌆

6,301,947 次观看 • 23 小时前

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.

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.

3,729,079 次观看 • 9 天前

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.

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.

409,640 次观看 • 7 个月前

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.

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.

26,627 次观看 • 4 个月前

"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.

"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.

11,991 次观看 • 6 个月前

没有更多内容可加载