OpenAI veröffentlicht 719 Mathematikarbeiten eines unveröffentlichten KI-Modells und spaltet die Fachwelt

OpenAI hat auf GitHub eine Sammlung mathematischer Ergebnisse veröffentlicht, die von einem KI-Modell erzeugt wurden, das das Unternehmen bisher nicht öffentlich zugänglich gemacht hat. Die im frühen Oktober 2026 veröffentlichte Sammlung umfasst Hunderte Forschungsarbeiten, die nach Angaben des Unternehmens seit langem offene Probleme lösen. Die Veröffentlichung hat unter Mathematikern stark gespaltene Reaktionen ausgelöst.

Die Sammlung umfasste bei der Ankündigung 722 Arbeiten. Am 7. Oktober wurden drei davon zurückgezogen, nachdem in einem Beweis ein Fehler entdeckt worden war, sodass sich die Gesamtzahl auf 719 verringerte. Gegen die übrigen Arbeiten ist bislang öffentlich kein konkreter Einwand bekannt geworden. OpenAI gibt an, dass für jedes Ergebnis Rechenleistung in etwa drei Stunden ChatGPT-Pro-Argumentation verbraucht wurde.

Die Überprüfung läuft noch

Zur Prüfung der Arbeiten setzt OpenAI auf Lean, ein System, das Beweise in einer formalen Sprache darstellt, sodass ein Computer jeden logischen Schritt verifizieren kann. Auf diese Weise bestätigt wurden bislang knapp die Hälfte der Arbeiten. Eine unabhängige Prüfung ist dennoch nötig, nicht zuletzt um sicherzustellen, dass die formal geprüfte Aussage tatsächlich mit der Behauptung in der jeweiligen Arbeit übereinstimmt. Die wissenschaftliche Anerkennung der Ergebnisse steht daher noch aus.

Der französische Mathematiker Hugo Duminil-Copin, bekannt für seine Arbeiten zur Wahrscheinlichkeitstheorie und statistischen Physik, erklärte in einer Videokonferenz, dass 16 Probleme, an denen er jahrelang gearbeitet hatte, in der Sammlung auftauchen. Aus seiner Sicht liegt das Kernproblem nicht darin, dass eine Maschine sie zuerst gelöst hat, sondern darin, dass die Ergebnisse in enormem Umfang eintreffen, ohne der Fachgemeinschaft Zeit zu lassen, sie zu verarbeiten. Ein früherer offener Brief, unterzeichnet von 25 Fields-Medaillen-Trägern, hatte gewarnt, dass die gleichzeitige Veröffentlichung vieler Lösungen zu wenig Raum lässt, um die dahinterstehenden Ideen und Methoden zu verstehen.

Boykottaufruf und abweichende Stimmen

Die Human Mathematics Association (HMA) ging weiter und argumentierte, die Arbeit sei eher eine Demonstration technologischer Macht als ein wissenschaftlicher Beitrag. Sie rief Mathematiker dazu auf, eine Zusammenarbeit mit OpenAI zu boykottieren. Der Fields-Medaillen-Träger Timothy Gowers vertritt eine andere Position: Die schiere Zahl der Ergebnisse sollte nicht automatisch als negativ gewertet werden. Seine Sorge betrifft die langfristige Entwicklung. Offene Probleme helfen, junge Menschen für die Mathematik zu gewinnen, und es ist unklar, wie tragfähig dieser Nachwuchsweg künftig sein wird.

OpenAI kündigte an, Workshops, Konferenzen und eigene Forschungsprogramme zu finanzieren, damit die Fachgemeinschaft die Ergebnisse einordnen kann. Außerdem stellt das Unternehmen Zusammenfassungen der Argumentationsschritte, Schätzungen zum Rechenaufwand und Verifikationsmaterialien bereit. Der Vorgang markiert eine neue Etappe in der Debatte darüber, welche Rolle KI bei der Wissenschaftsproduktion spielt und wie menschliche Forschende mit dieser Entwicklung Schritt halten können.