Wie schwer die Probleme sind, die OpenAI gerade gelöst haben will, zeigt kein Benchmark, sondern eine Geschichte.
Hugo Duminil-Copin, Mathematiker in Genf und Fields-Medaillenträger von 2022, hat erzählt, wie er die Nachricht aufgenommen hat. In einer Videokonferenz der Société mathématique de France am Donnerstag, dem 8. Oktober, sagte er, er habe in der Nacht auf Mittwoch geweint, so laut, dass seine Tochter davon aufwachte. Dann sagte er ganz ruhig den Satz, der seitdem durch die Medien geht: Sie hätten sein Forschungsgebiet vernichtet. Dazu zeigte er eine Folie, ausgerechnet KI-generiert, auf der ein Kaninchen von mehreren Lastwagen überrollt wird. OpenAI habe beweisen wollen, dass man die Mathematiker massakrieren könne. Später in der Fragerunde sprach er von einem „Abbau“ seines Fachs.
Der Anlass: Am 6. Oktober stellte OpenAI auf einen Schlag gut 700 Manuskripte online, gebündelt in 372 Ergebnisfamilien, mit dem Anspruch, zahlreiche offene Probleme gelöst zu haben. Im September hatte das Unternehmen noch von „über 100“ gelösten Problemen gesprochen. 16 der jetzt beanspruchten Fragen betreffen direkt Duminil-Copins eigene Arbeit. Er sagt, es sei praktisch jedes große offene Problem dabei, über das er je öffentlich gesprochen hat.
Das ist der eigentliche Gradmesser. Über Duminil-Copin sagte Wendelin Werner einmal, er habe grob die Hälfte der zentralen offenen Fragen der Perkolationstheorie gelöst. Wenn so jemand den Rest von einer Maschine abgeräumt sieht, geht es nicht mehr um Fleißaufgaben, sondern um aktuelle Spitzenforschung.
Für ihn war es nicht einmal der erste Schlag. Schon im April hatte er gemerkt, was diese Systeme können, und zwar zusammen mit einem Kollegen an einer KI von Anthropic. Am 8. September folgte der nächste Schock: OpenAI legte Belege vor, dass seine Modelle das Navier-Stokes-Problem gelöst hätten, eines der Millennium-Probleme, auf die seit 2000 eine Million Dollar ausgesetzt ist. Der Release vom 6. Oktober war für Duminil-Copin also schon der dritte Treffer. Le Monde fasst die Stimmung so zusammen: Die Mathematik erlebe seit einem Monat einen Albtraum.
Er ist mit dem Gefühl nicht allein. Ben Green zufolge hat der Release etwa drei Viertel der Forschungsziele eines renommierten europäischen Grants erledigt, den er erst im Juni bekommen hatte. Matt Zaremsky verglich vier Jahre Arbeit mit einer Ausgrabung, bei der man Stück für Stück ein Dinosaurierskelett freilegt. Dann rückt ein Billionenkonzern mit Sprengstoff an, drückt einem das fertige Skelett in die Hand und geht wieder. Doktorand Tristan Humbert erfuhr morgens, dass OpenAI das zentrale Problem seiner Dissertation bewiesen haben will, und schrieb den Vormittag über seinen Forschungsplan für die Postdoc-Bewerbungen um.
Ganz so glatt ist die Sache allerdings nicht. Schon am 7. Oktober zog OpenAI drei Manuskripte zurück, weil ein Vorzeichenfehler ein Argument und zwei darauf aufbauende Konstruktionen zu Fall brachte. 14 weitere wurden überarbeitet. Andere Arbeiten gelten als schwer lesbar. Und beim größten Brocken reichte es nicht: Die Riemannsche Vermutung hatte OpenAI im Visier, bewiesen wurde aber nur eine schwächere Variante. Selbst Terence Tao ist hin- und hergerissen. Er findet in den Beweisen offenbar clevere neue Ideen, vermisst aber jeden Menschen, der sie erklären, vortragen oder unterrichten könnte.
Am meisten beunruhigt mich die Nebenwirkung. Mathematik lebt davon, dass offene Fragen geteilt werden: in Vorträgen, auf Problemlisten, beim Kaffee. Duminil-Copin fürchtet, dass manche Kolleginnen und Kollegen ihre Probleme künftig lieber für sich behalten. Petra Schwer stellt schon jetzt fest, dass vorsichtiger über Forschung gesprochen wird. Die Technik, die angeblich Wissenschaft beschleunigt, könnte die Mathematik also verschlossener machen. Und am härtesten trifft es die Jungen: Duminil-Copins größte Sorge gilt dem Nachwuchs, der gerade erst sein eigenes Forschungsgebiet sucht.
Er selbst schrieb, morgen werde man einen Weg finden. Im Moment fehle ihm aber schlicht die Energie.
Traurig. Aber zurückdrehen lässt sich das nicht mehr.
Quellen:
