Die Frage hinter der Schlagzeile
Matt Wolfe beendet seinen Wochenbericht mit OpenAIs Aussage, ein internes Modell habe die Exponential Time Hypothesis, kurz ETH, widerlegt. Die Vermutung betrifft die Schwierigkeit bestimmter Erfüllbarkeitsprobleme: Gibt es Wahr-falsch-Belegungen, die eine Menge logischer Regeln gleichzeitig erfüllen?
Als Bild nutzt Wolfe Lichtschalter. Zehn Schalter erlauben 1.024 Kombinationen, also rund tausend; dreißig mehr als eine Milliarde. Jeder zusätzliche Schalter verdoppelt die Möglichkeiten. Das erklärt schnelles Wachstum, ersetzt aber nicht die genaue mathematische Formulierung der ETH.
Warum die Annahme für Forschende wichtig ist
Das Video beschreibt ETH als ungefähr 25 Jahre alte Annahme, auf der Hunderte Arbeiten aufbauen. Daraus entstehen bedingte Aussagen: Wenn die Annahme gilt, lässt sich ein bestimmtes Problem nicht innerhalb einer genannten Laufzeitgrenze lösen.
Eine Widerlegung verändert, was diese Argumente über tatsächliche Rechengrenzen aussagen. Sie macht nicht automatisch alle früheren Sätze oder Arbeiten bedeutungslos. Die Aussage „Wenn ETH, dann X“ ist von einer unbedingten Behauptung X zu unterscheiden.
Was Lean prüft
Laut Wolfe wurde der Beweis in Lean geprüft. Lean ist ein formales Beweissystem: Exakte Definitionen und Argumentationsschritte werden anhand formaler Regeln kontrolliert. Der Vergleich mit einer Rechtschreibprüfung für Mathematik ist eine Verständnishilfe.
Formale Prüfung und wissenschaftliches Verständnis sind verwandt, aber verschieden. Zu klären bleiben die genaue Aussage, Definitionen, Voraussetzungen und ihre Verbindung zum gemeinten Problem. Ein geprüftes formales Dokument ersetzt nicht die Erklärung seines Geltungsbereichs durch Fachleute.
Was die offizielle Mitteilung beschreibt
OpenAI nennt den 16. Oktober 2026 für die natürlichsprachige Widerlegung und den 17. Oktober für die Lean-Formalisierung. Die Ankündigung beschreibt öffentliche Materialien und eine unabhängige Gruppe unter Russell Impagliazzo, Ramamohan Paturi und Ryan Williams.
Diese Gruppe soll das Ergebnis untersuchen und erklären. Dieser Artikel hat am 1. November 2026 die Mitteilung gelesen, den Beweis aber weder reproduziert noch mathematisch selbst überprüft. Das Unternehmen bezeichnet die Materialien als Forschungsausgabe, die wissenschaftliches Verständnis erfordert, nicht als sofort einsetzbares Geschwindigkeitsupdate.
Theorie und nutzbare Algorithmen sind verschiedene Schritte
Wolfe sieht darin möglicherweise KI-Beiträge zu bislang ungelösten Fragen statt bloßer Leistung bei bekannten Tests. Er betont, kein Mathematiker zu sein und vereinfacht zu erklären.
Asymptotische Komplexität untersucht, wie Rechenaufwand mit der Eingabe wächst. Schnellere Terminplanung, Chipentwicklung, Datenbanken oder Werkzeuge erfordern weitere Forschung und Implementierung. Das Ergebnis entscheidet für sich auch nicht P gegen NP. Maßgeblich sind veröffentlichter Beweis, unabhängige Untersuchung und anschließende algorithmische Arbeiten.
