Michael JohnsonAm 26. Oktober 2026 verkündete OpenAI drei Ergebnisse eines internen Modells in der harmonischen Analysis, der Komplexitätstheorie und der Quantenfeldtheorie. Die zentrale Behauptung zur Informatik ist eine Widerlegung der Exponential Time Hypothesis (ETH), die in vielen Forschungsarbeiten für bedingte Komplexitätsschranken herangezogen wird. Das Unternehmen veröffentlichte ein Manuskript und eine Formalisierung in Lean; eine Gruppe externer Theoretiker organisiert die weitere Prüfung der Herleitung.
Laut der Ankündigung von OpenAI vom 26. Oktober formulierte das Modell die Widerlegung der ETH am 16. Oktober; am 17. Oktober wurde das Ergebnis in Lean formalisiert. Die Arbeit beschreibt einen deterministischen subexponentiellen Algorithmus zur exakten Zählung erfüllender Belegungen für k-CNF-Formeln bei festem k. Sollte die Herleitung einer wissenschaftlichen Prüfung standhalten, würde sie bedingte Komplexitätsschranken für Probleme in mehreren Gebieten beeinflussen.
Was genau Lean überprüft
Die veröffentlichte Notiz zum Umfang der ETH-Formalisierung zieht eine genaue Grenze für die maschinelle Prüfung: Für festes k beweist Lean, dass eine deterministische Maschine Lösungen einer kanonisch kodierten k-CNF in subexponentieller Zeit und mit polynomialem Speicherbedarf exakt zählt. Das Manuskript vom 25. Oktober gibt eine stärkere Laufzeitschranke an als die formalisierte Aussage.
Das formale Ergebnis betrifft somit eine konkrete Problemstellung, Kodierung und Ressourcenabschätzung. Lean überprüft den Beweis innerhalb des vorgegebenen formalen Systems; Fachleute müssen den Zusammenhang dieser Aussage mit der ETH, die Darstellung des Arguments und dessen wissenschaftliche Neuheit bewerten. Der praktische Status der Arbeit ist daher derzeit eine veröffentlichte, zur Prüfung vorgelegte Behauptung zur Widerlegung, ergänzt durch eine Formalisierung und externe Begutachtung.
Wer die Arbeit prüfen wird
OpenAI teilte mit, dass Russell Impagliazzo, Ramamohan Paturi und Ryan Williams die Gruppe leiten werden, die das ETH-Ergebnis untersucht und erläutert. Impagliazzo und Paturi formulierten zusammen mit Francis Zane die ursprüngliche Hypothese. Im Schreiben der Forschenden an die Community der theoretischen Informatik wird die Beteiligung der Gruppe ausdrücklich von einer Bestätigung der Herleitung unterschieden: Das Ergebnis müsse sorgfältig geprüft werden. Nach Angaben von OpenAI bat die Gruppe um offenen Zugang zu den Ausgangsmaterialien und um die Finanzierung einer Konferenz zur Diskussion der Folgen der Arbeit.
Das zweite Ergebnis betrifft die lokale Glättungshypothese für die Wellengleichung. OpenAI zufolge wurde ein Beweis für alle Dimensionen gefunden; das Unternehmen sieht darin Folgen für die Kakeya-Vermutung und die Fourier-Transformations-Vermutung von Stein. Es veröffentlichte den Ergebnistext und eine Beschreibung des Umfangs der Lean-Formalisierung. Mathematikerinnen und Mathematiker müssen den Beweis und seine Folgen bewerten.
Das physikalische Ergebnis ist bislang anders veröffentlicht
In der Physik erklärte OpenAI, die Existenz bestimmter wechselwirkender Quantenfeldtheorien in vier Dimensionen bewiesen zu haben, darunter die Quantenchromodynamik und die reine Yang-Mills-Theorie. Eine externe Gruppe unter der Leitung von David Gross entschied, die vom Modell erstellten Materialien vorerst nicht zu veröffentlichen und eine eigene Darstellung vorzubereiten. Daher können Leserinnen und Leser in diesem Fall die offenen Beweismaterialien noch nicht so prüfen wie jene zur ETH und zur lokalen Glättung.
Die Behauptung zur Existenz der Yang-Mills-Theorie steht im Zusammenhang mit dem Clay-Millenniumsproblem zu Yang-Mills-Theorie und Masselücke, ist aber nicht dieselbe Aussage. Das Clay-Problem verlangt einen Beweis sowohl für die Existenz einer Yang-Mills-Quantentheorie als auch für eine Masselücke; das Institut weist darauf hin, dass ein Beweis dieser Eigenschaft bislang nicht bekannt ist.
Für Informatikerinnen und Informatiker besteht der konkrete nächste Schritt darin, die ETH-Formalisierung mit dem begleitenden Manuskript und den Schlussfolgerungen der unabhängigen Gruppe abzugleichen. OpenAI weist gesondert darauf hin, dass die Suche nach schnelleren Algorithmen und die Überführung theoretischer Verbesserungen in die Praxis weitere Arbeit erfordern. Die wichtigste Nachricht vom 26. Oktober sind drei Behauptungen zu wissenschaftlichen Ergebnissen, für die Materialien und Prüfverfahren unterschiedlich zugänglich sind; ihre Bedeutung für die Wissenschaft wird sich durch die weitere Analyse der Forschenden erweisen.
