Axiom publie une formalisation de 16 millions de lignes de l’intégralité du Stacks Project

Axiom, l’entreprise spécialisée en mathématiques par IA, a publié une formalisation de l’intégralité du Stacks Project, un vaste ouvrage de référence en géométrie algébrique qu’Axiom décrit comme une infrastructure essentielle des mathématiques modernes. Axiom indique que le résultat compte 16 millions de lignes, avec une qualité de code optimisée et la structure très interconnectée du projet préservée, et le qualifie de « ville mathématique ».

Axiom a présenté cette publication comme un contre-exemple à l’idée que le vibecoding à grande échelle produit du travail bâclé. Le post avait recueilli environ 2 000 mentions J’aime dans l’après-midi du 4 novembre.