AxiomMath will KI-Schlamperei aus der Mathematik fernhalten
techcrunch ·
AxiomMath, ein Startup mit einer Bewertung von 1,6 Milliarden US-Dollar, das von der Stanford-Abbrecherin Carina Hong gegründet wurde, hat erfolgreich das Stacks Project formal verifiziert, eines der umfangreichsten Werke menschlich geschriebener Mathematik. Durch die Übersetzung von etwa 7.654 Seiten in 16 Millionen Zeilen Lean-Code zielt das Unternehmen darauf ab, eine zuverlässige Grundlage für KI-Agenten in der Softwareentwicklung und wissenschaftlichen Forschung zu schaffen. Dieser Ansatz adressiert wachsende Bedenken hinsichtlich minderwertiger „KI-Slop“, die akademische Journale mit nicht überprüften Behauptungen überschwemmen. Der Verifikationsprozess gewährleistet logische Korrektheit durch Beweisassistenten und bewahrt die vernetzte Struktur komplexer Sätze in der algebraischen Geometrie. Axiom trainierte eigene Modelle, um ein intuitives Verständnis für mathematische Richtigkeit zu entwickeln, was es parallelen KI-Agenten ermöglicht, effizient an dem Projekt zu arbeiten. Die daraus resultierende formalisierte Bibliothek dient als wiederverwendbare Basis, die es zukünftigen Beweisen ermöglicht, auf geprüften Ergebnissen aufzubauen, anstatt bei Null zu beginnen. CEO Hong fordert andere Coding-Unternehmen auf, ähnliche groß angelegte Formalisierungsanstrengungen zu übernehmen, um die Integrität KI-generierter Infrastrukturen sicherzustellen.
techcrunch