KI-Beweis zu Yang-Mills offengelegt: Nobelpreisträger-Gremium gibt vorsichtig grünes Licht

Worum es geht

OpenAI gibt an, eines seiner internen KI-Modelle habe einen mathematisch strengen Beweis dafür gefunden, dass die Quanten-Yang-Mills-Theorie existiert. Diese Theorie bildet das mathematische Fundament des Standardmodells der Teilchenphysik. Bereits Ende Oktober 2026 hatte das Unternehmen die Behauptung zusammen mit zwei weiteren KI-Ergebnissen aus Mathematik und Informatik vorgestellt. Anders als bei den beiden anderen Ergebnissen veröffentlichte OpenAI das Material zunächst nicht selbst. Es übergab den Beweis einem externen Gremium aus Physikern und Mathematikern.

Diese Yang-Mills-Arbeitsgruppe wird vom Physik-Nobelpreisträger David J. Gross geleitet. Am 9. November kündigte sie an, das Material zu veröffentlichen, am 10. November folgten zwei GitHub-Repositorys. Das erste enthält OpenAIs vollständigen Beweis in Lean, einem sogenannten Beweisassistenten. Darin wird ein mathematisches Argument so exakt aufgeschrieben, dass ein Computer jeden einzelnen Schritt nachprüfen kann. Das zweite Repository enthält die Bewertung des Gremiums. Der Code liegt unter github.com/yang-mills-group/OpenAI-YM-20261028. Allein der Ordner mit dem Beweis besteht aus Dutzenden Unterordnern mit Namen wie „Lattice“, „RG“, „Wilson“, „OS“ oder „Spectral“.

Was Yang-Mills ist und warum das Problem so berühmt ist

Am einfachsten versteht man Yang-Mills über den Elektromagnetismus. Physiker beschreiben ihn als Eichtheorie, also als mathematisches Gerüst, das auf einer bestimmten Symmetrie beruht und festlegt, wie Teilchen miteinander wechselwirken. Beim Elektromagnetismus ist diese Symmetrie sehr einfach, im Grunde eine Drehung im Kreis. 1954 übertrugen Chen-Ning Yang und Robert Mills die Idee auf kompliziertere Symmetrien, bei denen die Reihenfolge der Operationen eine Rolle spielt. Genau diese Verallgemeinerung beschreibt die starke Kernkraft, die Quarks in Protonen und Neutronen zusammenhält, und die schwache Kraft, die für bestimmte radioaktive Zerfälle verantwortlich ist. Die Theorie der starken Kraft heißt Quantenchromodynamik (QCD).

In der Praxis funktionieren diese Theorien hervorragend. Ihre Vorhersagen werden seit Jahrzehnten an Teilchenbeschleunigern wie dem LHC bestätigt. Mathematisch streng bewiesen hat aber bisher niemand, dass die Theorie auf allen Energieskalen überhaupt widerspruchsfrei definiert ist. Officechai beschreibt das so: Physiker betreiben ein Programm, das wunderbar läuft, ohne beweisen zu können, dass es nie abstürzt.

Das Clay Mathematics Institute hat daraus im Jahr 2000 eines seiner sieben Millennium-Probleme gemacht, jedes ist mit 1 Million Dollar dotiert. Arthur Jaffe und Edward Witten formulierten die Aufgabe. Gefordert sind zwei Dinge: Für jede kompakte einfache Eichgruppe, also jede passende Symmetriestruktur, muss eine nicht-triviale Quanten-Yang-Mills-Theorie in vier Dimensionen existieren. Und diese Theorie muss eine Massenlücke haben. Gemeint ist, dass es zwischen dem Vakuum mit Energie null und dem ersten angeregten Zustand einen echten, positiven Abstand gibt. Das würde unter anderem erklären, warum man Quarks und Gluonen in der Natur nie einzeln beobachtet.

Was OpenAI behauptet und wie der Beweis aufgebaut ist

OpenAI beansprucht ausdrücklich nur die Existenz, nicht die Massenlücke. Laut Officechai geht die Behauptung sogar über reines Yang-Mills hinaus. Das Modell soll Existenzbeweise für eine ganze Familie vierdimensionaler Quantenfeldtheorien mit Eichfeldern und Fermionen (Materieteilchen wie Quarks und Elektronen) geliefert haben. Dazu sollen die QCD und eine „vereinheitlichte Vervollständigung“ des Standardmodells gehören. Der Teil zu reinem Yang-Mills, also Gluonen, die nur untereinander wechselwirken, ist laut OpenAI „Teil“ des Millennium-Problems.

Der zeitliche Ablauf nach Angaben von OpenAI und dem Gremium:

Laut Crypto Briefing umfasst der eingereichte Lean-Beweis 1.147 Seiten. Er baut auf etablierten Werkzeugen auf. Das ist zum einen Wilsons Gitter-Regularisierung, bei der die Raumzeit zunächst durch ein Gitter aus Punkten ersetzt wird, ähnlich wie ein Foto aus Pixeln. Zum anderen sind es die Renormierungsgruppen-Methoden des Mathematikers Tadeusz Balaban aus den 1980er Jahren, mit denen man schrittweise von groben zu feinen Skalen übergeht. Balabans Programm war für so komplexe Theorien nie vollständig zu Ende geführt worden.

Kingy AI erklärt die Konstruktion genauer. Auf einem endlichen Gitter werden den Verbindungen zwischen Nachbarpunkten Gruppenelemente zugeordnet. Eine Wahrscheinlichkeitsverteilung gewichtet die möglichen Konfigurationen anhand der kleinsten Quadrate des Gitters, der sogenannten Plaketten. Die eigentliche Arbeit besteht darin zu zeigen, dass sinnvolle Grenzwerte entstehen, wenn der Gitterabstand gegen null geht und das Volumen wächst. Aus den so gewonnenen „euklidischen“ Korrelationen wird dann eine relativistische Quantenfeldtheorie rekonstruiert, mit Zustandsraum, Feldern, Vakuum, Raumzeit-Symmetrie, positiver Energie und Lokalität. Dazu kommt ein Kurzdistanz-Test, der zeigen soll, dass die Theorie nicht trivial ist, sich also von einer freien Theorie ohne Wechselwirkung unterscheidet.

Was das Gremium prüfte und wo es Einschränkungen macht

Dem Gremium gehören neben Gross auch Michael Douglas an, der den Stand des Problems seit zwei Jahrzehnten für das Clay Institute verfolgt, sowie Arthur Jaffe, Mitautor der ursprünglichen Problemstellung und Mitgründer des Clay Institute. Außerdem sind Igor Klebanov dabei, ein Experte für Confinement (den Einschluss der Quarks), und Nikita Nekrasov, Träger des Dannie-Heineman-Preises 2023. OpenAI wandte sich zunächst an Gross, der die übrigen Mitglieder selbst auswählte.

Die Prüfer konzentrierten sich laut Crypto Briefing vor allem auf eine Frage: Stimmen die Definitionen im Beweis mit denen überein, die das Fach tatsächlich verwendet? Ein formaler Beweis kann nämlich vollkommen korrekt sein und trotzdem das Falsche beweisen. Weichen die Definitionen auch nur leicht ab, bestätigt der Computer bereitwillig die Antwort auf eine Frage, die niemand gestellt hat.

In der 35-seitigen Bewertung kommt das Gremium zu einem Urteil, das Kingy AI so zusammenfasst: Die Konstruktion sei Yang-Mills im Sinne eines Existenzkriteriums, das keine genaue Charakterisierung des Vakuums verlangt. Bei näherem Hinsehen zeigen sich mehrere wichtige Einschränkungen:

• Keine Massenlücke: Die Konstruktion liefere „keinen Beleg für oder gegen“ eine Massenlücke.
• Keine Eindeutigkeit: Beim Übergang zu unendlichem Volumen erlaubt der Beweis, eine Teilfolge auszuwählen. Es wird also gezeigt, dass es einen Weg zum gewünschten Objekt gibt, nicht aber, dass jeder Weg zur selben Theorie führt.
• Nachbesserung beim Prüfziel: Das ursprüngliche Lean-Ziel „jointExistence“ ließ laut Bewertung Verbindungen zur Gitterkonstruktion aus, die an anderer Stelle im Beweis stehen. Das Urteil stützt sich deshalb auf das strengere Ziel „combined_acceptance“. Es stellt sicher, dass Gitterfamilie, Grenzwerte und rekonstruierte Theorie wirklich dasselbe Objekt beschreiben.
• Begrenzter Nicht-Trivialitäts-Test: Der Test schließt bestimmte freie Alternativen aus, aber nicht jede denkbare.

Kingy AI betont, die Lean-Prüfungen nicht selbst wiederholt zu haben.

Hintergrund: OpenAI nach der Navier-Stokes-Debatte vorsichtiger

Dass OpenAI dieses Ergebnis so zurückhaltend behandelt, ist laut Officechai eine Lehre aus dem Streit um OpenAIs angebliche Lösung eines anderen Millennium-Problems, der Navier-Stokes-Gleichungen. Dort wurde bezweifelt, dass die gelöste Version tatsächlich der Definition des Clay Institute entsprach. Die Mathematik-Ergebnisse veröffentlichte OpenAI direkt, beim Informatik-Ergebnis holte es eine externe Gruppe dazu. Beim Physik-Ergebnis überließ das Unternehmen dem Gremium die Entscheidung, ob und wann das Material veröffentlicht wird. OpenAI ist auch nicht allein: Ethan Sussman und Levent Alpöge verfolgen laut Crypto Briefing in einem eigenen Repository Ansätze aus der konstruktiven Quantenfeldtheorie.

Einordnung

Sollte der Beweis weiteren Prüfungen standhalten, wäre das ein echter Meilenstein für die mathematische Physik. Eine strenge Konstruktion der Eichtheorien des Standardmodells gilt seit den 1960er und 70er Jahren als zentrales offenes Problem. Neue physikalische Vorhersagen folgen daraus nicht. Officechai vergleicht das mit der Analysis, die Ingenieure jahrhundertelang nutzten, bevor Mathematiker sie sauber begründeten. Bemerkenswert ist außerdem, dass ein KI-Modell eine so lange und tiefe Argumentation erzeugt und maschinenprüfbar formalisiert haben soll.

Die Überschrift „gelöst und verifiziert“, die etwa auf Reddit kursiert, trifft trotzdem nicht zu. Verifiziert ist bisher, dass der Lean-Code sein festgelegtes Ziel erfüllt, und ein hochkarätiges Gremium hält dieses Ziel für eine gültige Fassung der Existenzfrage. Die Massenlücke, also die eigentlich schwierigere Hälfte des Millennium-Problems, bleibt offen. Das Preisgeld ist nicht vergeben, und auch Confinement oder eine vollständige Lösung der QCD sind nicht bewiesen. Die weitergehenden Behauptungen zu QCD und Standardmodell sind öffentlich noch gar nicht geprüft. Jetzt ist die breite Fachwelt gefragt: Erst wenn unabhängige Mathematiker die Definitionen und die rund 1.100 Seiten Lean-Code durchgearbeitet haben, wird sich zeigen, wie belastbar das Ergebnis ist.