Millennium-Probleme – einfach erklärt

Überblick und Bedeutung

Die Millennium-Probleme sind sieben grundlegende offene oder ehemals offene Fragen aus verschiedenen Gebieten der Mathematik und der theoretischen Informatik. Das Clay Mathematics Institute (CMI) setzte im Jahr 2000 für die Lösung jedes Problems ein Preisgeld von einer Million US-Dollar aus. Nach der Auswahl durch den wissenschaftlichen Beirat des Instituts und weitere Mathematiker wurden die Probleme am 24. Mai 2000 am Collège de France in Paris öffentlich vorgestellt.

Die Liste knüpft an die 23 Hilbertschen Probleme an, die David Hilbert am 8. August 1900 auf dem Internationalen Mathematiker-Kongress in Paris vorgestellt hatte. Diese beeinflussten die Entwicklung der Mathematik im 20. Jahrhundert wesentlich. Die Riemannsche Vermutung ist das einzige Problem, das sowohl auf Hilberts Liste als auch auf der Millennium-Liste steht.

Die Aufgaben sind unterschiedlich formuliert: Manche sind Vermutungen, die bewiesen oder widerlegt werden müssen. Bei anderen soll eine mathematische Theorie streng konstruiert oder zwischen zwei möglichen Aussagen entschieden werden. Bislang erkennt das CMI nur die Poincaré-Vermutung offiziell als gelöst an. Für das Navier-Stokes-Problem wurde im September 2026 eine Lösung beansprucht, die das CMI bisher nicht anerkannt hat.

Probleme aus Geometrie und Zahlentheorie

Die Vermutung von Birch und Swinnerton-Dyer gehört zur Zahlentheorie und arithmetischen Geometrie. Sie betrifft elliptische Kurven, also algebraische Kurven, die sich in geeigneter Form durch kubische Gleichungen beschreiben lassen. Die rationalen Punkte einer solchen Kurve bilden eine endlich erzeugte abelsche Gruppe. Ihr Rang gibt an, wie viele unabhängige Punkte unendlicher Ordnung zur Erzeugung dieser Gruppe benötigt werden. Der Kurve ist außerdem eine L-Funktion zugeordnet. Die Vermutung besagt insbesondere, dass der Rang der Gruppe der rationalen Punkte gleich der Ordnung der Nullstelle dieser L-Funktion bei s = 1 ist. Die vollständige Vermutung enthält zusätzlich eine genauere Aussage über den führenden Koeffizienten der L-Funktion bei s = 1. Sie verbindet damit algebraisch definierte Lösungen mit analytischen Eigenschaften einer komplexen Funktion und ist offen.

Die Hodge-Vermutung stammt aus der algebraischen Geometrie. Bei einer glatten projektiven komplexen Varietät – einem geometrischen Objekt, das durch algebraische Gleichungen beschrieben wird – bestimmt die Hodge-Theorie bestimmte Kohomologieklassen, die Hodge-Klassen. Die Vermutung besagt, dass jede rationale Hodge-Klasse als rationale Linearkombination von Klassen algebraischer Zykel dargestellt werden kann. Algebraische Zykel sind dabei formal kombinierte algebraisch definierte Teilräume. Die Vermutung verbindet algebraische Geometrie, Topologie und Analysis. Sie ist in verschiedenen Spezialfällen bewiesen, allgemein jedoch offen.

Die Poincaré-Vermutung betrifft die Topologie dreidimensionaler Räume. Eine geschlossene dreidimensionale Mannigfaltigkeit heißt einfach zusammenhängend, wenn sich jede geschlossene Kurve in ihr stetig auf einen Punkt zusammenziehen lässt. Die Vermutung besagt, dass jede geschlossene und einfach zusammenhängende 3-Mannigfaltigkeit homöomorph zur 3-Sphäre ist; „homöomorph“ bedeutet, dass zwei Räume durch stetige Verformung ineinander überführt werden können. Anschaulich lässt sich auf einer Kugeloberfläche jede geschlossene Schleife zusammenziehen, auf einem Torus dagegen nicht jede. Grigori Jakowlewitsch Perelman veröffentlichte 2002 und 2003 Arbeiten, aus denen der Beweis als Teil eines Beweises der weitergehenden Geometrisierungsvermutung von Thurston folgt. Das CMI erkannte die Lösung 2010 offiziell an. Perelman lehnte sowohl die ihm 2006 verliehene Fields-Medaille als auch das Preisgeld von einer Million Dollar ab.

Berechnung und Primzahlen

Das P-NP-Problem fragt, ob jedes effizient überprüfbare Entscheidungsproblem auch effizient gelöst werden kann. Zur Komplexitätsklasse P gehören Entscheidungsprobleme, die eine deterministische Rechenmaschine in Polynomialzeit lösen kann. NP umfasst Probleme, bei denen sich eine vorgegebene Lösung in Polynomialzeit überprüfen lässt. Da sich eine in Polynomialzeit berechnete Lösung auch in Polynomialzeit prüfen lässt, gilt P ⊆ NP. Offen ist, ob auch die umgekehrte Inklusion gilt. Zu entscheiden ist daher zwischen P = NP und P ≠ NP. Die Frage ist grundlegend für die theoretische Informatik und steht unter anderem mit kombinatorischer Optimierung und Kryptographie in Verbindung.

Die Riemannsche Vermutung gehört zur analytischen Zahlentheorie und betrifft die Verteilung der Primzahlen. Ausgangspunkt ist die Riemannsche Zetafunktion ζ(s) = ∑ₙ₌₁^∞ 1/nˢ. Diese Reihe konvergiert zunächst für Re(s) > 1. Durch analytische Fortsetzung wird die Funktion – mit Ausnahme eines einfachen Pols bei s = 1 – auf die komplexe Ebene erweitert. Neben den trivialen Nullstellen bei negativen geraden ganzen Zahlen besitzt sie nichttriviale Nullstellen im kritischen Streifen 0 < Re(s) < 1. Die 1859 von Bernhard Riemann formulierte Vermutung lautet, dass alle nichttrivialen Nullstellen auf der kritischen Geraden Re(s) = 1/2 liegen. Ein Beweis hätte weitreichende Folgen für Aussagen über die Primzahlverteilung und zahlreiche davon abhängige Ergebnisse. Die Vermutung ist weiterhin offen.

Strömungen und das Navier-Stokes-Problem

Die Navier-Stokes-Gleichungen beschreiben die Bewegung viskoser Flüssigkeiten und Gase. Während zweidimensionale Strömungen mathematisch wesentlich besser verstanden sind, ist im dreidimensionalen Fall ungeklärt, ob geeignete glatte Anfangsdaten für beliebig lange Zeiten zu glatten Lösungen führen oder ob in endlicher Zeit eine Singularität entsteht. Eine Singularität ist eine Stelle, an der die Lösung ihre verlangte Glattheit verliert oder Größen unbeschränkt werden.

Die Problemstellung betrachtet unter anderem glatte, also C∞-Lösungen u(x,t) für die Geschwindigkeit und p(x,t) für den Druck der inkompressiblen, kräftefreien Navier-Stokes-Gleichungen in drei Dimensionen für alle positiven Zeiten. Dabei soll die Energie beschränkt bleiben: ∫u² dV < C. Der Anfangswert u₀ = u(x,0) wird als glatt vorausgesetzt; auch für seine räumlichen Ableitungen gelten Wachstumsbeschränkungen. Eine Variante verwendet periodische Randbedingungen und betrachtet Lösungen auf dem dreidimensionalen Torus ℝ³/ℤ³ statt auf ℝ³. Weitere Varianten erlauben glatte Kraftfelder f mit entsprechenden Beschränkungen.

Das Problem kann auf zwei Arten entschieden werden: Entweder wird bewiesen, dass unter den geforderten Bedingungen stets globale glatte Lösungen existieren, oder es werden geeignete Anfangsdaten beziehungsweise Kraftfelder nachgewiesen, für die keine solche Lösung für alle positiven Zeiten existiert.

Im September 2026 veröffentlichte OpenAI eine Arbeit, die eine negative Lösung beansprucht: Für geeignete glatte Daten soll eine Singularität in endlicher Zeit konstruiert worden sein. Das CMI führt das Problem weiterhin als ungelöst. Seine Regeln verlangen ein ausführliches Peer Review; eine Anerkennung erfolgt daher frühestens zwei Jahre nach Veröffentlichung des Papers. Zudem gibt es öffentliche Auseinandersetzungen über die Urheberschaft. Tristan Buckmaster vermutete mögliche Bezüge zu seiner damals unveröffentlichten Zusammenarbeit mit Levent Alpöge und schloss einen Rückgriff auf bei OpenAI hinterlegte Nutzerdaten nicht aus. Diego Córdoba und Luis Martínez-Zoroa erklärten, wesentliche Berechnungen wären ohne ihre Vorarbeit nicht möglich gewesen; auch die European Mathematical Society wies darauf hin. OpenAI ergänzte daraufhin Quellennachweise. Die beanspruchte Lösung und ihre Herkunft sind somit noch Gegenstand der Prüfung und Diskussion.

Yang-Mills-Theorie und Massenlücke

Yang-Mills-Theorien bilden eine mathematische Grundlage für einen wesentlichen Teil der modernen Elementarteilchenphysik. Klassische Yang-Mills-Theorien können präzise formuliert werden; für quantisierte Yang-Mills-Theorien in vier Dimensionen fehlt jedoch eine entsprechend strenge mathematische Konstruktion.

Das Millennium-Problem verlangt für jede kompakte einfache Eichgruppe G den Nachweis, dass auf dem vierdimensionalen euklidischen Raum eine nichttriviale Quanten-Yang-Mills-Theorie existiert und eine positive Massenlücke Δ > 0 besitzt. Die Konstruktion soll im Sinne der axiomatischen Quantenfeldtheorie mathematisch streng sein. Eine positive Massenlücke bedeutet vereinfacht, dass oberhalb des Vakuumzustands keine beliebig kleinen positiven Anregungsenergien auftreten; die energetisch niedrigsten Anregungen müssen vielmehr eine endliche positive Masse haben.

Diese Forderung entspricht der Erwartung für die Quantenchromodynamik (QCD): Dort sollen Glueballs eine endliche, von null verschiedene Masse besitzen, obwohl die Eichbosonen, die Gluonen, masselos sind. Das Problem wurde außerdem als Annäherung an das Confinement-Problem ausgewählt, eines der wichtigsten ungelösten Probleme von Yang-Mills-Theorien wie der QCD. Das Yang-Mills-Existenz- und Massenlückeproblem ist offen.