An der Stanford University sprach OpenAI-CEO Sam Altman vor hunderten Studierenden, die sich um ihre berufliche Zukunft sorgen, über die kollektive Psyche der Mathematikwelt im Angesicht der KI. Seiner Ansicht nach durchliefen die Mathematiker eine Art „Trauer“-Reise.
Die erste Phase war der Unglaube, unmittelbar darauf folgte der Schmerz. Altman zitierte die typischen Reaktionen aus der Szene: Am ersten Tag dachten alle „wir sind erledigt, auch das Fach Mathematik ist am Ende“, und man erwog sogar, Doktoranden zum Fachwechsel zu raten; am dritten Tag schlug die Stimmung in Wut um, gerichtet gegen „OpenAI, das so etwas wirklich zu weit treibt“.
Die Wende kam am fünften Tag. Die Mathematiker begannen, die Realität zu akzeptieren – in Forschung und Beweisführung ist die KI zu einem unverzichtbaren Werkzeug geworden. Viele glaubten nun, dass sich ihr Weg als Mathematiker ändern werde, aber in der Hoffnung, „dass es besser wird als zuvor“. Altman selbst ist optimistisch und hält es nicht für möglich, dass die KI eine Katastrophe für den Arbeitsmarkt auslöst.
Das Ende der romantischen Ära und die Kontroversen
Altmanns Optimismus steht in scharfem Kontrast zu den Empfindungen vieler Mathematiker. Im September dieses Jahres verkündete OpenAI plötzlich, ein Modell habe das seit dem 19. Jahrhundert ungelöste Navier-Stokes-Problem bezwungen, was einen Sturm der Empörung entfachte. Forscher der New York University und von Anthropic warfen dem Unternehmen vor, ihre Chatprotokolle als „Munition“ zu benutzen; andere ärgerten sich darüber, dass die KI nur Antworten liefert, ohne die Ableitungen zu zeigen, und den Menschen nur die trockene Verifikation übrig lässt.
Über den Aufruhr hinaus ging das Drama weiter. Eine Gruppe von Bachelor-Studierenden am Caltech rief einen „Mathematik-Marathon“ ins Leben, der dazu ermutigen sollte, mithilfe der KI an lange ungelösten harten Problemen zu knabbern. Über 700 Wissenschaftler kritisierten gemeinsam, dass dies KI-generierten Müllinhalten Vorschub leiste, OpenAI zog sich daraufhin aus der Sponsorschaft zurück, und nach einer Änderung der Wettbewerbsregeln soll der Wettbewerb im November starten.
Terence Tao sagte unmissverständlich, das „romantische Zeitalter“ der mathematischen Forschung sei vorbei, und Spitzenkollegen gingen davon über, Probleme selbst zu lösen, hin zur Überprüfung der KI-Antworten. In diesem Monat verkündete OpenAI erneut, über 700 mathematische Probleme gelöst zu haben, woraufhin Tao seufzte: „Da geht etwas verloren.“ Altman fasste zusammen: Nie zuvor habe er ein Feld gesehen, das diese gesamte Reihe von Veränderungen so schnell durchlaufen habe.