Millennium-Problem

Im Jahr 2000 veröffentlichte das Clay Mathematics Institute in den USA eine Liste mit sieben mathematischen Fragen. Alle sieben waren seit Jahrzehnten offen, obwohl viele der besten Fachleute daran gearbeitet hatten. Das Institut setzte auf jede Frage ein Preisgeld von einer Million US-Dollar aus. Diese sieben Aufgaben heißen seither Millennium-Probleme. Bis heute gilt nur eines als gelöst: die Poincaré-Vermutung, ein Problem über die Form von Räumen. Der russische Mathematiker Grigori Perelman löste sie um 2003 und lehnte das Geld ab.

Was eine Million Dollar über die Schwierigkeit verrät

Das Preisgeld ist nicht der eigentliche Punkt. Wichtiger ist, dass eine unabhängige Institution damit öffentlich festgelegt hat, welche Fragen als besonders wichtig gelten. Die Liste wirkt wie ein Kompass: Sie zeigt jungen Forschenden, wo die großen offenen Baustellen liegen. Und sie macht Mathematik für Außenstehende greifbarer, weil man einen konkreten Gegenstand hat, über den man reden kann.

Für die Technikwelt ist vor allem eines der sieben Probleme relevant: die Frage, ob P gleich NP ist. Grob gesagt geht es darum, ob jede Aufgabe, deren Lösung man schnell überprüfen kann, sich auch schnell lösen lässt. Ein Sudoku ist ein gutes Beispiel: Eine fertige Lösung kann man in einer Minute kontrollieren, das Lösen dauert deutlich länger. Wäre P gleich NP, gäbe es für solche Aufgaben immer ein schnelles Verfahren.

Die Folgen wären enorm. Ein großer Teil der heutigen Verschlüsselung beruht darauf, dass bestimmte Rechenaufgaben praktisch unlösbar lange dauern. Fiele diese Annahme, wäre Online-Banking in seiner heutigen Form unsicher. Die meisten Fachleute vermuten allerdings, dass P und NP nicht gleich sind — beweisen konnte es niemand.

Wie ein Beweis anerkannt wird

Eine Lösung besteht nicht aus einem Rechenergebnis, sondern aus einem Beweis. Ein Beweis ist eine lückenlose Argumentationskette, die von bekannten Aussagen zur neuen Aussage führt. Jeder Schritt muss so klar sein, dass Fachleute ihn nachprüfen können. Ein einziger fehlerhafter Schritt macht das Ganze wertlos, egal wie überzeugend der Rest klingt.

Das Clay-Institut hat dafür feste Regeln. Die Arbeit muss in einer angesehenen Fachzeitschrift erscheinen und dort begutachtet werden. Danach folgt eine Wartezeit von zwei Jahren, in der die Fachwelt das Ergebnis prüft. Erst dann kann das Preisgeld vergeben werden. Diese Hürde existiert, weil regelmäßig angebliche Beweise auftauchen, die sich nach wenigen Wochen als falsch erweisen.

Ein häufiger Irrtum ist, dass Computer solche Probleme lösen könnten, wenn sie nur stark genug wären. Das trifft nicht zu. Rechenleistung liefert Beispiele und Hinweise, aber keine allgemeingültige Begründung. Beweissoftware und KI-Systeme helfen heute beim Nachprüfen einzelner Schritte, doch die entscheidende Idee kommt bislang von Menschen.

Von Schlagzeilen bis zur Kryptowährung

In den Nachrichten tauchen die Millennium-Probleme meist in zwei Situationen auf. Erstens, wenn jemand behauptet, eines gelöst zu haben — das passiert etwa bei der Riemannschen Vermutung über die Verteilung der Primzahlen regelmäßig. Zweitens, wenn KI-Firmen über die Fähigkeiten ihrer Systeme sprechen. Manche nennen ungelöste Mathematikprobleme als Maßstab dafür, wann eine KI wirklich eigenständig forschen kann.

Auch in der Finanzwelt spielt das Thema mit. Wer über die Sicherheit von Bitcoin oder Bankverschlüsselung diskutiert, landet früher oder später bei der P-NP-Frage. Sie ist die stille Annahme, auf der diese Systeme aufbauen. Wer den Begriff kennt, versteht solche Debatten deutlich schneller.

Die übrigen fünf offenen Probleme betreffen Bereiche wie Strömungen in Flüssigkeiten oder die Physik der Elementarteilchen. Sie sind schwerer in einem Satz zu erklären, gelten aber als ebenso bedeutend. Gemeinsam ist allen sieben, dass sie nicht nur eine Wissenslücke füllen. Ihre Lösung würde jeweils ein ganzes Forschungsfeld verändern.