Axiom brengt formalisering van het volledige Stacks Project uit, met 16 miljoen regels

Axiom, het AI-wiskundebedrijf, heeft een formalisering van het volledige Stacks Project uitgebracht, een omvangrijk naslagwerk over algebraïsche meetkunde dat Axiom kritieke infrastructuur voor de moderne wiskunde noemt. Volgens Axiom omvat het resultaat 16 miljoen regels, met geoptimaliseerde codekwaliteit en behoud van de sterk verweven structuur van het project. Het bedrijf noemt het „een wiskundige stad”.

Axiom presenteerde de release als tegenvoorbeeld voor de opvatting dat vibe-coding op grote schaal slordig werk oplevert. De post had op de middag van 4 november ongeveer 2.000 likes.