OpenAI beansprucht drei wissenschaftliche Durchbrüche, unabhängige Forschende beginnen mit der Prüfung

Drei Behauptungen stellen jahrzehntelange Forschung auf den Prüfstand

OpenAI gab am 26. Oktober 2026 bekannt, dass seine KI-Modelle Beweise zu drei seit Langem offenen Problemen aus Mathematik, Informatik und Physik hervorgebracht hätten. Dazu gehört ein Angriff auf eine Hypothese zur Berechenbarkeit, die in Hunderten Forschungsarbeiten verwendet wird. Das Unternehmen hat seine Materialien zu Mathematik und Informatik veröffentlicht. Eine von Physik-Nobelpreisträger David Gross geleitete Gruppe wird die Arbeit zur Physik prüfen und anschließend eine eigene Erklärung veröffentlichen.

Die Behauptung aus der Informatik betrifft die Exponentialzeithypothese (ETH), die 1999 aufgestellt wurde. OpenAI zufolge fand das Modell einen Algorithmus, der der Hypothese widerspricht, indem er eine bestimmte Familie von Logikproblemen schneller löst, als es die Hypothese zulässt. Zwei Forschende, die an der Aufstellung der ETH beteiligt waren, Russell Impagliazzo und Ramamohan Paturi, werden gemeinsam mit dem MIT-Professor Ryan Williams eine unabhängige Prüfung leiten.

In der Mathematik beansprucht das Unternehmen, die lokale Glättungsvermutung von Christopher Sogge aus dem Jahr 1991 für die euklidische Wellengleichung in jeder räumlichen Dimension ab zwei bewiesen zu haben. OpenAI zufolge liefert der Beweis außerdem Ergebnisse zu den Kakeya-Vermutungen und zur Restriktionsvermutung von Stein. Damit verknüpft er die Ausbreitung von Wellen mit schwierigen Fragen zu Geometrie und Frequenzen.

Die Behauptung aus der Physik betrifft die mathematische Existenz bestimmter wechselwirkender Quantenfeldtheorien in vier Dimensionen, darunter die Quantenchromodynamik (QCD), die Wechselwirkungen zwischen Quarks und Gluonen beschreibt. OpenAI zufolge umfasst die Arbeit außerdem die reine Yang-Mills-Theorie und eine bestimmte vereinheitlichte Vervollständigung des Standardmodells der Teilchenphysik.

Bei allen drei Projekten steht als Nächstes die unabhängige Prüfung an. Forschende werden die Argumente, ihre Annahmen und die genauen mathematischen Aussagen untersuchen, auf die sie sich beziehen. In der Ankündigung wurde weder eine Frist für den Abschluss der Prüfungen noch für die Veröffentlichung der zurückgehaltenen Physikmaterialien genannt.

Was der Beweis zur Wellengleichung erklären soll

Sogges lokale Glättungsvermutung betrifft die Frage, wie stark sich Wellen bei ihrer Ausbreitung konzentrieren können. Eine Welle kann sich zu einem bestimmten Zeitpunkt stark bündeln. Die Vermutung beschreibt mathematische Grenzen für diese Konzentration, wenn das Verhalten über einen Zeitraum hinweg gemessen wird.

Man kann sich vorstellen, eine Welle anhand einer Folge von Fotos zu betrachten, statt sie nur nach ihrem eindrucksvollsten Moment zu beurteilen. Ein einzelnes Bild könnte einen starken Ausschlag zeigen, während die Bildfolge erkennen lässt, wie kurz er anhält. Mathematikerinnen und Mathematiker beschreiben diesen Zusammenhang mit Abschätzungen für Lösungen der Wellengleichung, also jener Gleichung, mit der sich die Ausbreitung von Wellen beschreiben lässt.

OpenAI zufolge führt das Argument eine neue Hilfs-Differentialgleichung ein. Eine solche Gleichung beschreibt, wie sich Größen im Raum und in der Zeit verändern; eine Hilfsgleichung dient als zusätzliches Werkzeug zur Untersuchung des ursprünglichen Problems. Nach Angaben des Unternehmens begründet dieser Ansatz die gewünschten Abschätzungen in allen räumlichen Dimensionen ab zwei.

Der beanspruchte Geltungsbereich erweitert einen wichtigen früheren Meilenstein. Larry Guth, Hong Wang und Ruixiang Zhang bewiesen 2019 die lokale Glättung in zwei räumlichen Dimensionen. OpenAIs Ankündigung betrifft ein allgemeines Argument, das auch höhere Dimensionen abdeckt, und nicht ein weiteres Ergebnis, das auf eine einzelne Dimension beschränkt ist.

Welche Rolle Geometrie und Frequenzen spielen

Beim Kakeya-Problem geht es darum, wie klein eine Menge sein kann, die in jeder Richtung ein Liniensegment der Länge eins enthält. Die Schwierigkeit ergibt sich aus dem Unterschied zwischen gewöhnlichem Volumen und mathematischer Dimension. Eine Menge kann nur sehr wenig Volumen einnehmen und zugleich eine komplexe Struktur aufweisen, die Mathematikerinnen und Mathematiker mithilfe der Dimension erfassen.

Hong Wang und Joshua Zahl erzielten 2025 ein wichtiges Ergebnis zur Kakeya-Vermutung in drei Dimensionen. OpenAI zufolge folgt aus dem neuen Argument zur Wellengleichung sowohl die Kakeya-Maximalvermutung als auch die Kakeya-Dimensionsvermutung in beliebigen Dimensionen. Sollte der Beweis der Prüfung standhalten, würde er damit deutlich über den früheren Meilenstein hinausgehen.

Die Restriktionsvermutung von Stein gehört zum selben Problemkomplex. Sie betrifft das Verhalten von Frequenzinformationen, wenn diese auf gekrümmte Flächen beschränkt werden. In der ausführlichen Darstellung beansprucht OpenAI sphärische Restriktionsabschätzungen im gesamten Inneren des vermuteten Gültigkeitsbereichs. Diese Formulierung legt den Bereich der Abschätzungen fest, den Forschende bei der Prüfung der weiter gefassten Behauptung zur Vermutung von Stein untersuchen müssen.

Warum das Ergebnis zur Berechenbarkeit wichtig ist

Die Exponentialzeithypothese betrifft die Erfüllbarkeit boolescher Formeln, ein Problem mit Variablen, die entweder wahr oder falsch sein können. Eine Formel legt Regeln für die Verknüpfung dieser Variablen fest. Gesucht wird eine Belegung, bei der alle Regeln erfüllt sind.

Bei 3-SAT enthält jede Klausel höchstens drei Terme. Eine Klausel könnte verlangen, dass mindestens eine von drei Aussagen wahr ist, während die gesamte Formel verlangt, dass alle Klauseln erfüllt sind. Mit jeder zusätzlichen Variablen verdoppelt sich die Zahl möglicher Belegungen: Bei 10 Variablen gibt es 1.024 Belegungen, bei 20 Variablen 1.048.576.

Die ETH besagt, dass die Lösung von 3-SAT im ungünstigsten Fall eine Zeit benötigt, die mit der Zahl der Variablen exponentiell wächst. Impagliazzo, Paturi und Francis Zane trugen 1999 zur Formulierung der Hypothese bei. Forschende nutzen sie seither als Annahme, um zu erklären, warum sich viele Probleme aus Graphentheorie, computergestützter Biologie, Datenbanken und algorithmischer Geometrie nicht schneller lösen lassen.

OpenAIs Behauptung ist konkreter als ein allgemeines Versprechen, Berechnungen zu beschleunigen. Das Unternehmen zufolge erzeugte das Modell einen deterministischen Algorithmus, der die Zahl der erfüllenden Belegungen für Formeln in konjunktiver Normalform mit fester Klauselbreite exakt zählt. Konjunktive Normalform bezeichnet eine Anordnung von Klauseln, die alle erfüllt sein müssen; eine feste Breite begrenzt die Zahl der Terme pro Klausel auf eine konstante Zahl.

Der beanspruchte Algorithmus benötigt subexponentielle Zeit und polynomiellen Speicherplatz. Subexponentielles Wachstum ist langsamer als das exponentielle Wachstum, das die ETH für 3-SAT voraussetzt. Polynomieller Speicherplatz bedeutet, dass der Speicherbedarf durch eine feste Potenz der Eingabegröße begrenzt ist. Das Zählen erfüllender Belegungen beantwortet auch die einfachere Frage, ob überhaupt eine Lösung existiert: Eine Zahl größer als null bedeutet, dass die Formel erfüllbar ist.

Was Forschende am Algorithmus klären müssen

Hunderte Forschungsarbeiten verwenden die ETH, um bedingte Grenzen für Algorithmen herzuleiten. Ihre Schlussfolgerungen haben meist die Form: Wenn die ETH gilt, lässt sich ein bestimmtes Problem nicht innerhalb einer vorgegebenen Zeit lösen. Eine bestätigte Widerlegung würde Forschende dazu zwingen, die Annahmen hinter diesen Grenzen neu zu prüfen.

Auch die praktische Berechenbarkeit muss untersucht werden. Forschende müssten die Konstanten des Algorithmus, seine Anforderungen an die Implementierung und sein Verhalten bei Eingaben praxisrelevanter Größe verstehen. Selbst eine bessere mathematische Wachstumsrate kann mit erheblichem Rechenaufwand verbunden sein, insbesondere bei den Problemgrößen, die in Anwendungen tatsächlich auftreten.

P versus NP stellt eine andere Frage: Kann jedes Problem, dessen vorgeschlagene Lösung sich effizient überprüfen lässt, auch effizient gelöst werden? In diesem Zusammenhang bedeutet „effizient“ im Allgemeinen polynomielle Zeit. Subexponentielle Algorithmen bilden eine weiter gefasste Kategorie. Bei der Prüfung wird es daher auf die genau beanspruchte Geschwindigkeit und ihre Folgen für die ETH ankommen.

Impagliazzo und Paturi von der University of California, San Diego, sowie Williams werden die unabhängige Prüfung organisieren. In ihrem offenen Brief an die Forschungsgemeinschaft beschrieben die drei Informatiker die erforderliche Sorgfalt:

Unsere Beteiligung darf nicht als Bestätigung der Behauptung verstanden werden. Ein Ergebnis von dieser Bedeutung erfordert eine sorgfältige, unabhängige Prüfung.

Die Physik untersucht die Grundlagen von Teilchentheorien

Die Quantenfeldtheorie beschreibt Teilchen und ihre Wechselwirkungen mithilfe von Feldern, die sich durch Raum und Zeit erstrecken. OpenAIs Behauptung zur Physik betrifft wechselwirkende Theorien mit Eichfeldern und Fermionen in vier Dimensionen, die üblicherweise als drei Raumdimensionen und eine Zeitdimension verstanden werden.

Die QCD beschreibt die starke Wechselwirkung zwischen Quarks und Gluonen. Quarks sind Bestandteile von Protonen und Neutronen; Gluonen übertragen die starke Kraft. Physikerinnen und Physiker nutzen die QCD bereits zur Erklärung beobachteter Phänomene. Die mathematische Aufgabe besteht hier darin, die Theorie rigoros zu konstruieren und unter präzisen Bedingungen die Existenz ihrer definierenden Objekte nachzuweisen.

OpenAI zufolge baut die Arbeit auf einem von Tadeusz Balaban entwickelten Ansatz der konstruktiven Quantenfeldtheorie auf. Dieses Forschungsgebiet zielt auf mathematisch kontrollierte Konstruktionen von Quantentheorien ab und schafft damit eine Grundlage für die Größen, die Physikerinnen und Physiker berechnen.

Zum Anspruch gehört auch die reine Yang-Mills-Theorie. Das Yang-Mills-Problem des Clay Mathematics Institute verlangt eine rigorose Konstruktion und eine positive Masselücke. Das bedeutet, dass zwischen dem Vakuum und der leichtesten Anregung eine minimale positive Energie liegt. Das von OpenAI angekündigte Ergebnis betrifft die Existenz; die Forderung nach einer Masselücke bleibt ein weiterer Teil des Preisproblems.

Gross, der 2004 mit dem Nobelpreis für Physik ausgezeichnet wurde, wird die Physikgruppe leiten. Zu den weiteren Mitgliedern gehören Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov. Auf Wunsch der Gruppe werden die KI-Materialien zurückgehalten, während die Forschenden eine eigene Darstellung der Arbeit vorbereiten.

Vom Modellergebnis bis zur Ankündigung

OpenAI datiert die beanspruchten Entdeckungen auf September und Oktober 2026. Die zeitliche Abfolge trennt die Erstellung schriftlicher Argumente von ihrer späteren Formalisierung in Lean, einem System, das Beweise in einer präzisen mathematischen Sprache überprüft.

• 9. September: Das Modell erzeugte den beanspruchten Existenzbeweis für die reine Yang-Mills-Theorie.
• 18. September: Das Modell erzeugte den beanspruchten QCD-Beweis.
• 6. Oktober: OpenAI veröffentlichte im Rahmen einer früheren Forschungsfreigabe 722 Mathematikmanuskripte.
• 16. Oktober: Das Modell erzeugte die Widerlegung der ETH; die Lean-Formalisierung des Existenzbeweises für Yang-Mills wurde abgeschlossen.
• 17. Oktober: Die Lean-Formalisierung des ETH-Arguments wurde abgeschlossen.
• 18. Oktober: Das Modell erzeugte das Argument zur lokalen Glättung.
• 19. Oktober: Die Lean-Formalisierung des mathematischen Arguments wurde abgeschlossen.
• 26. Oktober: OpenAI gab die drei Projekte und die jeweiligen Prüfverfahren bekannt.

Die Ausarbeitungen und formalen Beweise zu Mathematik und Informatik wurden über GitHub öffentlich zugänglich gemacht. Die Physikgruppe entschied sich für eine andere Reihenfolge: Zunächst soll ihre Erklärung erscheinen, danach das zugrunde liegende KI-Material.

Wie formale Prüfung in die wissenschaftliche Bewertung passt

In Lean lässt sich ein Beweis als Folge präziser Aussagen formulieren, die eine Software anhand von Definitionen und logischen Regeln überprüft. So kann komplexe Argumentation bis ins Detail untersucht werden, was in gewöhnlicher Prosa nur schwer möglich ist.

Auch menschliche Prüferinnen und Prüfer untersuchen, ob die formalen Definitionen zur ursprünglichen Forschungsfrage passen, welche Annahmen der Beweis verwendet und wie sich sein Ergebnis in die frühere Arbeit einordnet. Bei der Behauptung aus der Informatik gehört dazu, den Algorithmus und seine Laufzeit zu verstehen. Beim Argument zur Wellengleichung geht es unter anderem um die abgedeckten Dimensionen und Abschätzungsbereiche.

OpenAI bezeichnet die Modellergebnisse als Rohmaterial, das erst in wissenschaftliches Verständnis überführt werden müsse. Die drei Verfahren zur Veröffentlichung verteilen diese Aufgabe unterschiedlich: offene Prüfung in der Mathematik, eine organisierte Gruppe bei gleichzeitigem öffentlichen Zugang in der Informatik und eine zunächst von einer ausgewählten Gruppe erarbeitete Erklärung in der Physik.

Williams sagte, die Prüfer der Ergebnisse aus der Informatik hätten keine Vertraulichkeitsvereinbarungen unterzeichnet und würden nicht bezahlt. OpenAI sei ihren Forderungen nachgekommen, die Rohdaten zur ETH zu veröffentlichen und eine Konferenz zu finanzieren, auf der Forschende die Behauptung untersuchen können. Externe Beteiligte können unabhängig vom Unternehmen zu eigenen Ergebnissen kommen und diese veröffentlichen.

Zugang, Finanzierung und Anerkennung werden Teil der Debatte

OpenAIs Ankündigung folgt auf Kritik an der früheren Veröffentlichung Hunderter Mathematikmanuskripte und an dem Aufwand, der zu ihrer Prüfung nötig ist. Die neuen Verfahren beziehen namentlich genannte Wissenschaftlerinnen und Wissenschaftler ein, werfen aber zugleich die Frage auf, wer zuerst Zugang erhält.

Der AGMAI-Beratungsausschuss für Mathematik von OpenAI hatte davon abgeraten, ausgewählten Forschenden vorab Zugang zu KI-Ergebnissen zu geben. Zu den Bedenken gehörten ein ungleicher Zugang, eine verzerrte Auswahl und die Möglichkeit, dass der Ruf prominenter Forschender Arbeiten Glaubwürdigkeit verleiht, bevor die Prüfung abgeschlossen ist.

Der Ausschuss empfahl, die Ergebnisse über wissenschaftliche Repositorien zu veröffentlichen, einschließlich Lean-Formalisierungen und Informationen zur Auswahl der Probleme. Zudem sprach er sich für Unterstützung der Forschenden aus, die die Ergebnisse prüfen und erläutern. Angesichts der zurückgehaltenen Physikmaterialien wird der Zugang in dieser Ankündigung zu einer konkreten Streitfrage.

OpenAI erklärt, das Unternehmen strebe keine wissenschaftliche Anerkennung für die Entdeckungen an und wolle, dass Forschende für ihre Erklärungen gewürdigt werden. Im Brief der Prüfer aus der Informatik wird gefragt, wie neben der Entdeckung auch das Überprüfen, Korrigieren, Vereinfachen, Erklären und Weiterentwickeln eines Ergebnisses anerkannt werden sollte. Außerdem wird gefragt, wie Studierende und Forschende angesichts des Wandels der Forschungsmethoden unterstützt werden können.

Eine zuvor angekündigte Zuwendung von fünf Millionen Dollar an die Simons Foundation soll Workshops, Konferenzen und Forschungsprogramme zu KI-Ergebnissen unterstützen. Eine solche Finanzierung könnte dazu beitragen, die Prüfungsarbeit über die kleinen, in der Ankündigung genannten Gruppen hinaus zu verteilen.

Wichtige Punkte

• OpenAI gab am 26. Oktober 2026 drei beanspruchte Durchbrüche bekannt. Sie müssen noch unabhängig geprüft werden.
• Die mathematische Behauptung umfasst die lokale Glättung in allen räumlichen Dimensionen ab zwei sowie weitere beanspruchte Ergebnisse zu Kakeya und Restriktionen.
• Die Behauptung aus der Informatik betrifft einen Algorithmus, der die Exponentialzeithypothese widerlegen würde, sofern er sich bestätigt.
• Russell Impagliazzo, Ramamohan Paturi und Ryan Williams leiten die unabhängige Prüfung der ETH.
• David Gross leitet die Prüfung der Physik. Sie umfasst beanspruchte Existenzbeweise, darunter für die QCD und die reine Yang-Mills-Theorie.
• Die Materialien zu Mathematik und Informatik sind öffentlich. Die Physikmaterialien bleiben zurückgehalten, während die Forschenden eine Erklärung vorbereiten.
• Für den Abschluss der Prüfungen oder die Veröffentlichung der Physikmaterialien wurde keine Frist genannt.