Millennium-Probleme
Die Millennium-Probleme sind sieben besonders schwere ungelöste Aufgaben der Mathematik, für deren Lösung ein US-Forschungsinstitut im Jahr 2000 je eine Million Dollar ausgeschrieben hat. Bis heute ist nur eines davon gelöst, und mehrere der Fragen entscheiden mit darüber, was Computer überhaupt leisten können.
Im Jahr 2000 veröffentlichte ein privates Forschungsinstitut in den USA, das Clay Mathematics Institute, eine Liste mit sieben Aufgaben. Alle sieben sind Fragen aus der Mathematik, an denen Fachleute teils seit über hundert Jahren scheitern. Für jede vollständige und geprüfte Lösung ist eine Million US-Dollar ausgeschrieben. Diese Aufgaben heißen seither Millennium-Probleme, benannt nach dem Jahrtausendwechsel. Bis heute gilt nur eine davon als gelöst: die sogenannte Poincaré-Vermutung, eine Frage über die Form von Räumen. Der russische Mathematiker Grigori Perelman löste sie 2003 und lehnte das Preisgeld ab.
Sieben Fragen, an denen Kryptografie und Informatik hängen
Die Liste ist kein Ranking der schwierigsten Rätsel zum Spaß. Ausgewählt wurden Fragen, deren Antwort ganze Fachgebiete umbauen würde. Wer sie löst, liefert nicht nur ein Ergebnis, sondern meist auch neue Methoden. Genau diese Methoden sind der eigentliche Gewinn.
Für die Technikwelt ist vor allem eines der Probleme brisant: die Frage, ob P gleich NP ist. Dahinter steht die Frage, ob jede Aufgabe, deren Lösung sich schnell überprüfen lässt, auch schnell gefunden werden kann. Ein Sudoku ist in Sekunden kontrolliert, aber schwer zu lösen. Fast alle Fachleute vermuten, dass Lösen wirklich schwerer ist als Prüfen. Bewiesen ist das nicht.
Wäre die Antwort überraschend ja, hätte das Folgen für die Verschlüsselung im Internet. Online-Banking und Messenger-Nachrichten sind geschützt, weil bestimmte Rechenaufgaben praktisch unlösbar erscheinen. Fiele diese Annahme, müsste die Sicherheitstechnik von Grund auf neu gebaut werden. Auch die Riemannsche Vermutung, eine Frage über die Verteilung der Primzahlen, berührt dieses Feld direkt.
Was als Lösung akzeptiert wird
Ein Millennium-Problem gilt nicht durch eine gute Idee als gelöst, sondern durch einen Beweis. Ein Beweis ist eine lückenlose Kette von Begründungen, die aus anerkannten Grundannahmen zum Ergebnis führt. Rechenbeispiele genügen nicht. Auch eine Million bestätigte Einzelfälle beweisen nichts über die unendlich vielen übrigen.
Das Institut hat feste Regeln für die Vergabe. Eine Arbeit muss zuerst in einer angesehenen Fachzeitschrift erscheinen. Dann müssen zwei Jahre vergehen, in denen andere Forschende sie prüfen und angreifen können. Erst danach kann eine Kommission das Preisgeld freigeben. Dieser Umweg schützt vor Fehlern, die auf den ersten Blick unsichtbar sind.
In der Praxis werden sehr viele angebliche Lösungen eingesandt, fast immer von Außenstehenden. Nahezu alle enthalten einen Denkfehler an einer Stelle, die scheinbar harmlos aussieht. Bei Perelmans Beweis brauchten mehrere Teams von Fachleuten Jahre, nur um ihn vollständig nachzuvollziehen.
Warum der Begriff in Tech-Schlagzeilen auftaucht
In den Nachrichten begegnet man den Millennium-Problemen meist in zwei Zusammenhängen. Der erste ist die Verschlüsselung: Berichte über Quantencomputer erwähnen oft, dass heutige Sicherheitsverfahren auf unbewiesenen Annahmen beruhen. Der zweite ist die Künstliche Intelligenz. Immer wieder wird gemeldet, ein KI-System habe ein mathematisches Problem geknackt oder bei einem Wettbewerb gut abgeschnitten.
Solche Meldungen lohnen einen genauen Blick. KI-Systeme können heute Aufgaben auf Schulolympiade-Niveau lösen und Fachleuten bei Teilschritten helfen. Ein Millennium-Problem hat bislang keines gelöst, auch nicht annähernd. Zwischen einer schweren Wettbewerbsaufgabe und einem seit 1859 offenen Problem liegen Welten.
Interessant ist ein anderer Trend: Beweisassistenten. Das sind Programme, die jeden Schritt eines Beweises auf Widerspruchsfreiheit prüfen. Zunehmend werden neue Beweise darin formal hinterlegt, damit Maschinen sie kontrollieren können. Sollte je ein Millennium-Problem fallen, wird die Prüfung vermutlich mit solcher Software ablaufen.