Axiom publikuje formalizację całego Stacks Project liczącą 16 mln wierszy

Axiom, firma zajmująca się matematyką AI, opublikowała formalizację całego Stacks Project — obszernego opracowania referencyjnego z geometrii algebraicznej, które Axiom określa jako kluczową infrastrukturę współczesnej matematyki. Według Axiom całość liczy 16 milionów wierszy, ma zoptymalizowaną jakość kodu i zachowuje silnie powiązaną strukturę projektu; firma nazywa ją „matematycznym miastem”.

Axiom przedstawiła tę publikację jako kontrprzykład dla poglądu, że vibecoding na dużą skalę prowadzi do powstawania kiepskich rezultatów. Do popołudnia 4 listopada post zebrał około 2000 polubień.