Axiom publica una formalización de 16 millones de líneas de todo el Stacks Project

Axiom, la empresa de matemáticas con IA, publicó una formalización de todo el Stacks Project, una extensa obra de referencia sobre geometría algebraica que Axiom considera infraestructura crítica para las matemáticas modernas. Axiom afirma que el resultado consta de 16 millones de líneas, con una calidad de código optimizada y la estructura altamente interconectada del proyecto intacta, y lo describe como «una ciudad matemática».

Axiom presentó la publicación como un contraejemplo a la idea de que programar a gran escala con vibecoding produce código basura. La publicación tenía unos 2.000 «Me gusta» para la tarde del 4 de noviembre.