
Axiom veröffentlicht eine Lean-Formalisierung des gesamten Stacks Project, rund 16 Millionen Zeilen aus KI-Agentenschwärmen
Das rund 7.500 Seiten starke Referenzwerk der algebraischen Geometrie ist nun eine maschinell geprüfte Bibliothek; externe Mathematiker haben die Treue der Aussagen noch nicht geprüft.






