Ein internes, bislang unveröffentlichtes Frontier-Modell von OpenAI hat laut Unternehmensangaben Hunderte komplexe und langjährige mathematische Probleme gelöst. Wie unter anderem am 6. Oktober 2026 berichtet wurde, stellte OpenAI daraufhin 722 Manuskripte in 372 Ergebnis-Familien in einem öffentlichen GitHub-Repository unter der Apache-2.0-Lizenz bereit.
Das System war mit rund 4.000 offenen Forschungsproblemen konfrontiert worden, nachdem interne Evaluierungen des Unternehmens für Mathematik keine ausreichende Differenzierung mehr boten. Ein akzeptiertes Ergebnis beanspruchte laut OpenAI durchschnittlich etwa drei Stunden an äquivalenter Rechenleistung von ChatGPT Pro Thinking Compute.
Breite Themenfelder und formale Prüfungen
Die publizierte Sammlung deckt ein breites Spektrum ab, darunter reine Mathematik, Zahlentheorie, Algebra, Kombinatorik, Komplexitätstheorie, Geometrie, mathematische Logik, Topologie, theoretische Informatik und mathematische Physik.
Nach Angaben des Unternehmens verlinken 235 der 372 Familien auf das formale Beweissystem Lean. Eine Übersicht listet zudem 162 Arbeiten mit einem formalisierten Hauptergebnis auf, die über ein Prüfwerkzeug kontrolliert werden können.
OpenAI warnte zugleich, dass nicht formalisierte Ergebnisse Fehler enthalten könnten. Bislang hat keine der Arbeiten ein wissenschaftliches Peer-Review-Verfahren durchlaufen, und auch das zugrunde liegende Modell ist weiterhin unter Verschluss.
Zu den zentralen Behauptungen gehört unter anderem eine nullstellenfreie Halbebene für alle Dirichlet-L-Funktionen einschließlich der Zeta-Funktion, die als Quasi-Riemann-Hypothese bezeichnet wird, ergänzt durch einen alternativen Beweis.
Diese Resultate sowie Arbeiten zur rationalen Hodge-Vermutung für CM-abelsche Varietäten entstanden außerhalb des standardisierten Verfahrens, wobei Texte teils menschlich für eine bessere Lesbarkeit überarbeitet wurden.
Weitere Manuskripte behandeln den Irrationalitätsexponenten der Kreiszahl Pi, Aussagen zur NP-Härte, Mahler-Vermutungen, den Isomorphismus freier Gruppenfaktoren sowie die vollständige Birch-Swinnerton-Dyer-Leading-Term-Formel für elliptische Kurven über den rationalen Zahlen unter spezifischen Selmer-Gruppen-Bedingungen.
Diskussionen über Transparenz und wissenschaftliche Standards
Ein Unternehmenssprecher erklärte, fast alle Ergebnisse seien nach einem einzigen Prompt an einen einzelnen Agenten entstanden. Frühere Arbeiten, etwa zur Navier-Stokes-Gleichung, hatten hingegen noch einen Schwarm von 10.000 Agenten erfordert. Neben Schätzungen zum Rechenaufwand stellte OpenAI gekürzte Zusammenfassungen der internen Gedankengänge sowie Revisionsprotokolle bereit. Konkrete Prompts wurden jedoch nicht veröffentlicht.
Die Veröffentlichung stößt in der Fachwelt auf geteilte Reaktionen. Das am Institute for Advanced Study angesiedelte Beratungsgremium für Mathematik und Künstliche Intelligenz forderte bereits am 29. September, Labore sollten mathematische Resultate über etablierte akademische Kanäle verbreiten, Prompts sowie Rechenkosten offenlegen und Forschungsergebnisse nicht primär als Marketinginstrument nutzen.
Aus dem Gremium hieß es, die Veröffentlichung bilde lediglich den Auftakt für das menschliche Verständnis und die Einbettung in das bestehende Wissen.
Zugleich formiert sich breite Kritik an der Vorgehensweise der Branche. Fachvertreter wie Tristan Buckmaster von der New York University äußerten Bedenken, dass Unternehmen fremde Vorarbeiten ohne ausreichende Sorgfaltspflicht vollenden könnten. Zudem mahnte Terence Tao das enorme Tempo der KI-Ergebnisse an, während über 4.000 Mathematiker in der sogenannten Leiden-Deklaration einheitliche Standards einfordern.
OpenAI-Chef Sam Altman bezeichnete die Entwicklung hingegen als Eintritt in eine neue Ära wissenschaftlicher Entdeckungen. OpenAI kündigte an, Workshops und Konferenzen zur Aufarbeitung der Resultate finanziell zu unterstützen, nannte für die Freigabe des Modells selbst jedoch weiterhin weder einen Termin noch konkrete Zugangsbedingungen.