Axiom veröffentlicht eine Formalisierung des gesamten Stacks Project mit 16 Millionen Zeilen

Axiom, das KI-Mathematikunternehmen, hat eine Formalisierung des gesamten Stacks Project veröffentlicht, eines umfangreichen Referenzwerks zur algebraischen Geometrie, das Axiom als kritische Infrastruktur der modernen Mathematik bezeichnet. Laut Axiom umfasst das Ergebnis 16 Millionen Zeilen, weist eine optimierte Codequalität auf und bewahrt die stark vernetzte Struktur des Projekts. Axiom nennt es „eine mathematische Stadt“.

Axiom präsentierte die Veröffentlichung als Gegenbeispiel zur Ansicht, dass Vibecoding im großen Maßstab zu minderwertigem Code führt. Bis zum Nachmittag des 4. November hatte der Beitrag etwa 2.000 Likes.