OpenAI behauptet drei KI-Entdeckungen in Mathematik, Informatik und Physik

OpenAI sagte am 26. Oktober 2026, dass seine Modelle drei neue Ergebnisse produziert haben: einen Beweis der lokalen Glättungsvermutung in der harmonischen Analyse, eine Widerlegung der Exponential Time Hypothesis in der Informatik und einen Existenzbeweis für die Quantenchromodynamik in der Physik [1]. Keine der Behauptungen wurde peer-reviewed; externe Expertengruppen werden sie nun prüfen [1][3].

Was behauptet OpenAI, dass seine Modelle entdeckt haben?

In der Mathematik sagt OpenAI, dass seine Modelle Sogges lokale Glättungsvermutung von 1991 in jeder Dimension bewiesen haben, was auch die Kakeya-Vermutung und Steins Restriktionsvermutung in allen Dimensionen lösen würde [1]. Frühere menschliche Arbeiten hatten die lokale Glättung in zwei räumlichen Dimensionen 2019 und die Kakeya-Vermutung in drei Dimensionen 2025 bewiesen [1].

In der Physik beschreibt OpenAI einen mathematisch rigorosen Existenzbeweis für bestimmte vierdimensionale Quantenfeldtheorien, einschließlich der Quantenchromodynamik und einer vereinheitlichten Vervollständigung des Standardmodells [1]. Als Teilproblem sagt es, dass die Arbeit die Existenz der reinen Yang-Mills-Theorie beweist, die Teil eines Millennium-Preis-Problems des Clay Mathematics Institute ist [1]. Dieses Material wurde nicht veröffentlicht [1][3].

Warum ist die Behauptung zur Exponential Time Hypothesis so bedeutsam?

Die Exponential Time Hypothesis, oder ETH, besagt, dass die Entscheidung von 3-SAT mit n Variablen im Worst Case exponentielle Zeit benötigt [2]. OpenAI sagt, dass die ETH weithin als wahr geglaubt wurde und in Hunderten von Papers verwendet wurde, um bedingte Härteergebnisse abzuleiten [1]. OpenAI behauptet, dass seine Modelle die Exponential Time Hypothesis widerlegt haben, eine Vermutung, die in Hunderten von Papers verwendet wurde.

Das 67-seitige Preprint, das OpenAI als Autor zugeschrieben wird, beschreibt einen deterministischen Algorithmus, der die erfüllenden Belegungen von k-CNF-Formeln in subexponentieller Zeit und polynomiellem Speicher zählt [2]. OpenAI sagt, dass die Umsetzung des Ergebnisses in praktische schnellere Algorithmen erhebliche weitere Forschung erfordern wird [1].

Hat jemand die Beweise verifiziert?

OpenAI hat seine mathematischen und informatischen Beweise als Preprints auf GitHub veröffentlicht; keiner wurde bisher peer-reviewed. OpenAI sagt, dass beide mit Lean-Formalisierungen, maschinell geprüften Beweisen, kommen, die ebenfalls in seinem Repository veröffentlicht wurden [1][2]. Seine eigene Zeitleiste sagt, dass die ETH-Widerlegung am 16. Oktober gefunden und am 17. Oktober 2026 formalisiert wurde [1].

Eine Gruppe unter Leitung von Russell Impagliazzo und Ramamohan Paturi von der UC San Diego und Ryan Williams vom MIT wird das ETH-Ergebnis verifizieren und betreuen [1]. Impagliazzo und Paturi haben zusammen mit Francis Zane die Hypothese ursprünglich vorgeschlagen [1]. Für die Physik wird der Nobelpreisträger David Gross eine Gruppe leiten, zu der Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov gehören [1].

Wie ändert OpenAI die Art, wie es Ergebnisse veröffentlicht?

OpenAI sagt, dass es externe Experten gebeten hat, als Betreuer zu fungieren, und diese drei verschiedene Veröffentlichungsstrategien empfohlen haben: offene Veröffentlichung für Mathematik, eine externe Gruppe plus öffentliche Dateien für Informatik und Übergabe an die Gruppe für Physik [1]. OpenAI sagt, dass es keinen akademischen Credit sucht und dass externe Expertengruppen die Ergebnisse prüfen werden.

Die Teilnahme ist freiwillig und unbezahlt, und OpenAI sagt, dass es sich bereit erklärt hat, eine Konferenz über die Implikationen des ETH-Ergebnisses zu finanzieren [1]. The Verge merkt an, dass OpenAIs eigenes Gremium mathematischer Berater gerade empfohlen hatte, ausgewählten Personen keinen ersten Zugriff auf KI-Ausgaben zu geben [3]. OpenAI räumt ein, dass die Wahl von Betreuern eine Informationsasymmetrie schafft [1].

Die Veröffentlichung kommt weniger als einen Monat, nachdem OpenAI am 6. Oktober Hunderte von KI-geschriebenen Manuskripten veröffentlicht hat, laut The Verge [3]. OpenAI sagt, dass die neuen Kooperationen seine kürzlich angekündigte 5-Millionen-Dollar-Spende an die Simons Foundation ergänzen, die Workshops und Programme für Forscher finanziert, die KI-Ergebnisse studieren [1].

Unsere Einschätzung

Meinung: Wenn die ETH-Widerlegung hält, ist es die bisher größte Behauptung aus der KI-gesteuerten Mathematik, und die ursprünglichen Urheber der Hypothese mit der Prüfung zu beauftragen ist die richtige Entscheidung. Aber ein Lean-Beweis zertifiziert nur, was formalisiert wurde, und außergewöhnliche Behauptungen, die von dem Unternehmen veröffentlicht werden, das von ihnen profitiert, verdienen die langsame, adversarielle Prüfung, für die Peer-Review existiert.

Was wir nicht verifizieren konnten

• Ob einer der drei behaupteten Beweise korrekt ist; alle sind KI-geschriebene Preprints oder unveröffentlichtes Material, und es stand bei Veröffentlichung keine peer-reviewed Publikation oder unabhängige Verifizierung zur Verfügung.
• Ob die Lean-Formalisierungen die vollständigen ursprünglichen Vermutungen erfassen; OpenAI sagt, dass die ETH- und lokale Glättungsbeweise in Lean verifiziert wurden, aber wir konnten die formalen Aussagen nicht selbst prüfen.
• Der Physik-Beweis für die Yang-Mills-Theorie und Quantenchromodynamik, der nicht veröffentlicht wurde; wir verlassen uns allein auf OpenAIs Beschreibung.
• Welches interne Modell oder System die Beweise produziert hat; OpenAI benennt es nicht.
• Jegliche öffentliche Reaktion der genannten Betreuer wie Russell Impagliazzo, Ryan Williams oder David Gross; wir fanden keine öffentliche Stellungnahme von ihnen über das hinaus, was OpenAI berichtet.