In einer am 26. Oktober 2026 veröffentlichten Mitteilung hat OpenAI gleich drei Ergebnisse vorgelegt: einen Beweis der Local-Smoothing-Vermutung über Wellen in der Mathematik, eine Widerlegung der Exponential-Time-Hypothese in der Informatik und einen Existenzbeweis für die Quantenchromodynamik und eine Vervollständigung des Standardmodells in der Physik. Alle drei stammen aus den Ausgaben interner Modelle und durchliefen eine formale Verifikation oder die Aufarbeitung durch externe Fachleute. Doch sie wurden nicht im gleichen Umfang veröffentlicht, und sie sind unterschiedlich weit davon entfernt, von der Fachwelt anerkannt zu werden.
Was jedes Ergebnis konkret behauptet
In der Mathematik geht es um die 1991 von Sogge aufgestellte Local-Smoothing-Vermutung: Wenn sich Wellen bündeln, kann die extremste Bündelung nur kurz andauern, und zu einem typischen, zufällig gewählten Zeitpunkt ist die Bündelung weit schwächer als im schlimmsten Fall. Die Vermutung ist so grundlegend, dass aus ihr die Kakeya-Vermutung und die Steinsche Restriktionsvermutung folgen. Guth, Wang und Zhang bewiesen 2019 den zweidimensionalen Fall, Wang und Zahl 2025 die dreidimensionale Kakeya-Vermutung. Nach Angaben von OpenAI lieferten die Modelle nun einen Beweis in allen Dimensionen, gestützt auf eine neuartige Hilfs-Partialdifferentialgleichung. Die KI-Ausgabe entstand am 18. Oktober, wurde am Folgetag in Lean formalisiert, und sowohl der Modelltext als auch der Lean-Beweis sind bereits veröffentlicht.
In der Informatik lautet die Behauptung, dass die Exponential-Time-Hypothese (ETH) falsch ist. Sie betrifft die Frage, wie lange die Erfüllbarkeit boolescher Formeln dauert, galt lange als weithin akzeptiert und liegt Hunderten von Arbeiten zugrunde, die in Graphentheorie, Bioinformatik, Datenbanken und algorithmischer Geometrie bedingte Härteergebnisse ableiten. OpenAI zufolge legte das System am 16. Oktober eine natürlichsprachliche Widerlegung vor und formalisierte sie am nächsten Tag in Lean. Das bedeutet lediglich, dass schnellere Algorithmen theoretisch möglich sein könnten, nicht dass morgen schon praktisch nutzbare Beschleunigungen vorliegen.
In der Physik wurde ein strenger Existenzbeweis für bestimmte wechselwirkende Quantenfeldtheorien in vier Dimensionen vorgelegt, darunter die Quantenchromodynamik und die einfachste großvereinheitlichte Vervollständigung, die die Eichfelder und Fermionen des Standardmodells enthält. Der Ansatz baut auf Balabans konstruktiver Quantenfeldtheorie auf. Die Existenz der reinen Yang-Mills-Theorie ist dabei nur ein Teilproblem, keine vollständige Lösung des gesamten Millennium-Problems: Die Massenlücke ist in dieser Behauptung nicht enthalten. Die Modelle lieferten den Yang-Mills-Existenzbeweis am 9. September und den QCD-Beweis am 18. September; die Lean-Formalisierung der Yang-Mills-Existenz wurde am 16. Oktober abgeschlossen.
Drei bewusst getrennte Veröffentlichungswege
OpenAI hat die drei Ergebnisse bewusst unterschiedlich veröffentlicht. Das mathematische Ergebnis wurde als KI-Ausgabe direkt offengelegt, damit Forschende es selbst deuten können. Das Informatik-Ergebnis wurde einer externen Gruppe zur Aufarbeitung übergeben, während der natürlichsprachliche Beweis und die Lean-Formalisierung sofort veröffentlicht wurden. Das physikalische Ergebnis soll zunächst von seiner externen Gruppe selbst verfasst werden; das KI-Ausgangsmaterial bleibt vorerst unveröffentlicht. Die Informatik-Gruppe leiten Russell Impagliazzo und Ramamohan Paturi von der UC San Diego sowie Ryan Williams vom MIT; Impagliazzo und Paturi gehörten zu den ursprünglichen Urhebern der ETH. Die Physik-Gruppe leitet Nobelpreisträger David Gross, mit Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov. OpenAI legte vier Prinzipien für diese Zusammenarbeit fest: Transparenz ohne Geheimhaltungsvereinbarungen, kein Streben nach akademischer Anerkennung durch OpenAI, Anerkennung der Beiträge der aufarbeitenden Gruppen sowie freiwillige, unbezahlte und unabhängige Mitwirkung. Außerdem sagte OpenAI die Finanzierung einer Konferenz zu den Folgen des ETH-Ergebnisses zu und stellte der Simons Foundation 5 Millionen US-Dollar für Workshops und Sonderprogramme bereit.
Warum noch kein Urteil möglich ist
Dass eine Lean-Formalisierung gelingt, zeigt nur, dass ein Beweis innerhalb eines formalen Systems widerspruchsfrei ist, nicht dass die Fachwelt die Schlussfolgerung bereits akzeptiert. Die ETH-Gruppe selbst betonte, dass die Mitwirkung an der Aufarbeitung keine Billigung der Behauptung ist und dass ein derart weitreichendes Ergebnis eine offene, unabhängige Prüfung braucht. Beim physikalischen Ergebnis haben Außenstehende das KI-Ausgangsmaterial noch nicht einmal gesehen und müssen auf die Ausarbeitung der Gruppe warten. Selbst wenn sich alle drei Behauptungen bestätigen, werden ihre Auswirkungen zuerst in der theoretischen Forschung und bei der Suche nach Algorithmen spürbar, nicht in Produkten, die man morgen nutzen könnte. Bemerkenswert ist vielleicht eher die neue Produktionsweise selbst: Modelle schlagen Kandidaten für Beweise vor, formale Werkzeuge prüfen sie nach, externe Fachleute deuten und hinterfragen sie, und ob die Schlussfolgerungen Bestand haben, entscheidet weiterhin die fachliche Prüfung.
