OpenAI: Die Mathe-Offensive, die die Wissenschaft alarmiert

OpenAI hat mit einem neuen Mathe-Modell für Aufsehen gesorgt: Auf GitHub veröffentlichte das Unternehmen einen Katalog mit 722 Manuskripten mathematischer Lösungen. Die Lösungen stammen laut OpenAI von einem Sprachmodell, das noch nicht öffentlich verfügbar ist. Für Fachleute bedeutet das: Arbeiten, für die Mathematiker sonst Monate oder Jahre brauchen, entstanden hier in wenigen Stunden Rechenzeit.

Die Manuskripte bündeln sich zu 372 Ergebnisfamilien und decken akademische Kerndisziplinen wie Zahlentheorie, algebraische Geometrie und theoretische Informatik ab. Schon das wirft die Frage auf, wie ernst die Mathematik-Community solche Ergebnisse nehmen soll – und wie OpenAI selbst mit der eigenen Reichweite umgeht.

Wofür steht das Modell – und welches Ergebnis belegt das?

Nach Angaben von OpenAI benötigte das Modell für ein durchschnittliches Ergebnis rund drei Stunden regulären Zugang zur eigenen Software. Menschliche Fachleute brauchen für vergleichbare Nachweise nach Einschätzung von OpenAI monate- oder jahrelange intellektuelle Arbeit. Zu den gemeldeten Resultaten zählen unter anderem:

• ein Beweis der Quasi-Riemann-Hypothese, formal in der Beweissprache Lean verifiziert
• der Nachweis, dass alle Dirichlet-L-Funktionen in der Halbebene mit reellem Teil größer als 7/8 keine Nullstellen besitzen
• die Eliminierung der sogenannten Landau-Siegel-Nullstelle
• ein Beweis der rationalen Hodge-Vermutung für abelsche Varietäten mit komplexer Multiplikation

OpenAI erklärte, die meisten Ergebnisse seien automatisch vom Modell erzeugt worden. Allein der Beweis der Hodge-Vermutung habe eine besondere manuelle Überprüfung durchlaufen – ein Hinweis darauf, dass selbst OpenAI nicht jedem Resultat blind vertraut.

Wie ist OpenAI mit der Veröffentlichung umgegangen?

Vor der Publikation stimmte sich OpenAI mit der Advisory Group on Mathematics and Artificial Intelligence ab. Die Beratergruppe formulierte Vorgaben dafür, wie maschinell erstellte Beweise veröffentlicht werden sollen.

Im Kern warnte sie davor, dass Softwarehäuser mathematische Erfolge missbrauchen könnten, um allein für ihre Produkte zu werben. Geschehe das doch, schade das der mathematischen Gemeinschaft, weil kommerzielle Interessen den offenen fachlichen Diskurs überlagern könnten.

Diese Vorsicht hat einen Hintergrund: Bereits im August 2026 hatte OpenAI bei einer vertraulichen Zusammenkunft mit 40 Mathematikern erste interne Ergebnisse vorgestellt.

Was bedeutet das für die Forschung – und wie geht es weiter?

Bereits im vergangenen September hatte das Unternehmen mitgeteilt, über hundert bislang ungelöste mathematische Fragestellungen geknackt zu haben, darunter auch ein Beweis zu einem der als Millennium-Probleme bekannten Aufgaben. Forscher äußerten dabei die Befürchtung, dass ihre eigenen, noch unfertigen Arbeiten – eingegeben in die Chat-Oberfläche – vom Modell verarbeitet und später als dessen eigene Lösungen ausgegeben werden könnten.

Die aktuelle Veröffentlichung wird in Fachkreisen nun methodisch streng untersucht, die Daten liegen mit Protokollen für Überarbeitungen und Zitationen auf GitHub bereit. Auch Konkurrent Anthropic dringt derzeit in diese Disziplinen vor.

OpenAI selbst kündigte an, künftig Konferenzen finanziell zu unterstützen, damit Wissenschaftler maschinell generierte Resultate besser einordnen können – ein Schritt, der zeigt, dass das Unternehmen die eigene Geschwindigkeit inzwischen selbst für erklärungsbedürftig hält.

Bild: Symbolbild, KI-erzeugt.