Axiom pubblica una formalizzazione di 16 milioni di righe dell’intero Stacks Project

Axiom, l’azienda di matematica basata sull’IA, ha pubblicato una formalizzazione dell’intero Stacks Project, un’ampia opera di riferimento per la geometria algebrica che Axiom definisce un’infrastruttura critica alla base della matematica moderna. Axiom afferma che il risultato conta 16 milioni di righe, presenta una qualità del codice ottimizzata e conserva la struttura altamente interconnessa del progetto, definendolo «una città matematica».

Axiom ha presentato la pubblicazione come una confutazione dell’idea che il vibecoding su larga scala produca codice scadente. Nel pomeriggio del 4 novembre, il post aveva circa 2.000 «Mi piace».