Clay Mathematics Institute

Das Clay Mathematics Institute ist eine private Stiftung aus den USA, die mathematische Forschung mit Geld unterstützt. Gegründet wurde sie 1998 vom Geschäftsmann Landon T. Clay und seiner Frau Lavinia. Die Stiftung betreibt keine eigenen Labore und unterrichtet keine Studenten. Sie vergibt Stipendien, finanziert Konferenzen und zeichnet herausragende Arbeiten aus. Weltweit bekannt ist sie aber für etwas anderes: eine Liste von sieben besonders schweren, ungelösten mathematischen Aufgaben. Diese Liste heißt Millennium-Probleme, und auf jede einzelne Aufgabe ist ein Preisgeld von einer Million US-Dollar ausgeschrieben.

Sieben Aufgaben, sieben Millionen Dollar

Im Jahr 2000 veröffentlichte das Institut die sieben Probleme, die es für die wichtigsten offenen Fragen der Mathematik hielt. Die Idee dahinter war nicht nur Werbung. Eine klar formulierte Frage mit hohem Preisgeld zieht Aufmerksamkeit auf ein Forschungsgebiet und motiviert Nachwuchs. Vorbild war eine Liste des Mathematikers David Hilbert aus dem Jahr 1900, die das Fach über Jahrzehnte geprägt hatte.

Für die Tech-Welt ist vor allem eines der Probleme interessant: die Frage, ob P gleich NP ist. Vereinfacht gesagt geht es darum, ob jede Aufgabe, deren Lösung man schnell überprüfen kann, auch schnell gelöst werden kann. Ein Sudoku ist in Sekunden kontrolliert, aber mühsam zu füllen. Wäre P gleich NP, gäbe es für solche Aufgaben schnelle Verfahren. Das würde unter anderem die heutige Verschlüsselung im Internet unbrauchbar machen, denn die beruht darauf, dass bestimmte Rechnungen praktisch zu lange dauern.

Andere Probleme der Liste klingen abstrakter, hängen aber ebenfalls an alltäglicher Technik. Die Navier-Stokes-Gleichungen beschreiben strömende Flüssigkeiten und Luft. Sie werden täglich in Wettermodellen und Flugzeugsimulationen benutzt, obwohl niemand mathematisch beweisen kann, dass ihre Lösungen sich immer sauber verhalten.

Wie man an das Preisgeld kommt

Man kann seine Lösung nicht einfach beim Institut einreichen und auf Prüfung hoffen. Die Regeln verlangen, dass die Arbeit zuerst in einer angesehenen Fachzeitschrift erscheint. Dort lesen andere Fachleute sie und suchen nach Fehlern, ein Verfahren namens Peer Review. Danach muss die Lösung zwei Jahre lang in der Fachwelt Bestand haben.

Erst dann setzt das Institut eine eigene Kommission ein, die den Beweis endgültig bewertet. Diese Hürden haben einen praktischen Grund: Jedes Jahr behaupten viele Menschen, ein Millennium-Problem gelöst zu haben. Die meisten Einsendungen enthalten Fehler, die nur Spezialisten erkennen. Das Institut überlässt die Prüfung deshalb dem normalen Wissenschaftsbetrieb.

Bis heute gilt genau ein Problem als gelöst. Der russische Mathematiker Grigori Perelman bewies um 2003 die Poincaré-Vermutung, eine Aussage über die Form dreidimensionaler Räume. Er veröffentlichte seine Arbeit nur im Internet, nicht in einer Zeitschrift, und das Institut erkannte die Lösung trotzdem an. Perelman lehnte die Million 2010 ab. Er hielt die Verteilung des Ruhms für unfair, weil andere Forscher wichtige Vorarbeit geleistet hatten.

Warum das Institut in KI-Nachrichten auftaucht

Die Millennium-Probleme sind zu einem Maßstab geworden, an dem Firmen die Stärke ihrer KI-Systeme messen wollen. Wenn ein Unternehmen ein neues Sprachmodell vorstellt, fällt oft der Satz, es solle irgendwann echte Mathematik betreiben. Als Fernziel wird dann gern ein Millennium-Problem genannt. Das ist bewusst hoch gegriffen, denn diese Aufgaben widerstehen den besten Fachleuten seit Jahrzehnten.

Realistischer sind bislang kleinere Erfolge. KI-Programme helfen beim Überprüfen von Beweisen, finden Gegenbeispiele oder lösen Aufgaben auf dem Niveau von Mathematik-Olympiaden. Das ist beachtlich, liegt aber weit unter einem Millennium-Problem. Wer eine solche Schlagzeile liest, sollte deshalb genau prüfen, welche Aufgabe wirklich gelöst wurde.

Nebenbei ist das Institut auch ein Beispiel dafür, wie private Stiftungen Forschung steuern. Wer Preisgelder ausschreibt, entscheidet mit, welche Fragen als wichtig gelten. Ähnliche Modelle gibt es in der Technikbranche, etwa ausgeschriebene Wettbewerbe für autonome Fahrzeuge oder Bug-Bounty-Programme, bei denen Firmen für gefundene Sicherheitslücken zahlen.