KI kann jetzt echte Wissenschaft betreiben. Der Preis für Entdeckungen ist gerade gefallen.

OpenAIs nächstes Modell, Astra, hat soeben zehn mathematische Probleme gelöst, an denen Experten seit mindestens einem Jahrzehnt — manche noch viel länger — gescheitert sind. Das ist keine KI, die Dinge zusammenfasst, die sie aus Büchern gelernt hat. KI kann jetzt Ergebnisse erzeugen, die vorher nicht existierten. Das ist ein echter Wandel.

Die Probleme kamen aus den Tiefen der Mathematik: Wie packt man Kugeln in tausend Dimensionen möglichst dicht? Wie lassen sich bestimmte Verschlüsselungscodes effizienter gestalten? Astra löste alle zehn für etwa 2.000 Dollar Rechenzeit — ungefähr das, was ein kleines Unternehmen monatlich für Software-Abonnements ausgibt. Jede Lösung ist in einem 249-seitigen Dokument auf GitHub veröffentlicht, wobei jeder Beweisschritt maschinell geprüft wurde — mit einem Tool namens Lean 4. Ein Computer hat jede einzelne Zeile überprüft.

Die Kosten sind die eigentliche Geschichte. Tim Gowers, ein Mathematiker, der den höchsten Preis seines Fachs gewonnen hat, würde einen der Beweise für eine Spitzenzeitschrift empfehlen. Diese Art der Expertenvalidierung bedeutet normalerweise jahrelange Arbeit eines kleinen Teams. 2.000 Dollar für zehn Forschungsdurchbrüche — diese Zahl verändert, wie man über Wissensarbeit denkt. Branchen, die bereits auf formale Verifikation angewiesen sind — Chip-Design, Kryptographie, Sicherheitssoftware — können diese Prüfvorgänge jetzt automatisch durchführen.

Der Punkt ist nicht, dass KI Forscher ersetzen wird. Der Punkt ist, dass KI jetzt helfen kann, Antworten zu finden, die noch kein Mensch gefunden hatte. Wenn Ihr Unternehmen auf Forschung angewiesen ist — in jedem Bereich, wo es darauf ankommt, recht zu haben und es beweisen zu können — ist der Preis für Entdeckungen dramatisch gesunken. Fangen Sie jetzt an zu überlegen, wo KI in Ihren Forschungsprozess passt, nicht erst wenn ein Wettbewerber das schon getan hat.