OpenAI knackt 1-Million-Dollar-Matheproblem in 88 Stunden — Streit um Anerkennung folgt

Ein von OpenAI eingesetztes KI-System hat einen formalen, maschinell verifizierten Beweis für eines der sieben Millennium-Probleme der Mathematik erbracht – die Navier-Stokes-Gleichungen, eine Reihe von Differentialgleichungen, die beschreiben, wie sich Flüssigkeiten mit Reibung durch den Raum bewegen. Das Ergebnis schließt ein Problem, das offiziell seit mehr als zwei Jahrzehnten offen war und mit einer Million Dollar dotiert ist, und informell seit fast zwei Jahrhunderten ungelöst ist, seit die Gleichungen erstmals aufgeschrieben wurden.

Die Navier-Stokes-Gleichungen sind keine abstrakten Kuriositäten. Sie liegen der Physik praktisch aller Flüssigkeiten zugrunde: wie sich Wetterformationen bilden, wie Blut durch eine Arterie fließt, wie ein Flugzeugflügel Auftrieb erzeugt, wie Wasser über ein Flussbett strömt. Was Mathematiker nicht bestimmen konnten, war, ob diese Gleichungen immer geordnete Lösungen hervorbringen – oder ob sie einen Punkt erreichen können, an dem die Mathematik völlig zusammenbricht und das entsteht, was Mathematiker eine Singularität nennen: ein Wert, der gegen Unendlich strebt. Das Clay Mathematics Institute bot eine Million Dollar für denjenigen, der diese Frage endgültig beantworten könnte.

OpenAIs Antwort ist die zweite Option – die Gleichungen können zusammenbrechen. Das Unternehmen setzte rund 10.000 autonome KI-Agenten ein, die über 88 Stunden hinweg etwa fünf Millionen Nachrichten austauschten und gemeinsam einen Beweis konstruierten, dass sich in den dreidimensionalen Navier-Stokes-Gleichungen Singularitäten bilden können. Der Beweis wurde anschließend mit Lean verifiziert, einem formalen Beweisassistenten, der mathematische Argumente Schritt für Schritt überprüft und so die Möglichkeit menschlicher Fehler im Verifikationsprozess ausschließt. Die Berechnung kostete mehrere Millionen Dollar.

Die Lösung ist nach formalen Verifikationsstandards rigoros. Aber Rigor ist nicht dasselbe wie Autorschaft, und genau diese Unterscheidung macht die Geschichte umstritten. Die analytischen Techniken, die dem Beweis zugrunde liegen, wurden nicht von einer KI entwickelt, sondern von Diego Córdoba, einem Mathematiker am Institut für Mathematische Wissenschaften in Madrid, und Luis Martínez-Zoroa, einem frisch promovierten Nachwuchswissenschaftler aus Córdobas Gruppe. Charles Fefferman von Princeton, einer der weltweit führenden Experten für das Problem, sagte klar, dass die wahren intellektuellen Helden des Durchbruchs diese beiden Forscher seien. Tristan Buckmaster, ein Mathematiker an der New York University, der ein konkurrierendes Team leitete, das zu ähnlichen Schlussfolgerungen bei verwandten Problemen gelangte, argumentierte, dass Martínez-Zoroa eine Fields-Medaille – die höchste Auszeichnung in der Mathematik – für die zugrundeliegende kreative Arbeit verdiene.

Was OpenAIs Agenten taten, war, diese von Menschen entwickelten Ideen zu nehmen und die formale Verifikation in einem Umfang und einer Geschwindigkeit durchzuführen, die kein menschliches Team erreichen könnte. Ob das die Lösung des Problems darstellt, hängt davon ab, was man unter Lösung versteht. Die Schlagzeilenversion – KI besiegt ein fast zwei Jahrhunderte altes mathematisches Rätsel – ist nicht falsch. Sie lässt jedoch die Menschen außen vor, die den entscheidenden Einfall hatten. OpenAIs Ankündigung hob die KI-Agenten prominent hervor; Córdoba und Martínez-Zoroa wurden in einer Fußnote erwähnt. Diese Asymmetrie hat erheblichen Widerstand aus der mathematischen Gemeinschaft hervorgerufen.

Es ist auch erwähnenswert, was das Ergebnis in der Praxis nicht ändert. Die im Beweis identifizierten Singularitäten existieren in einer idealisierten mathematischen Welt, in der Flüssigkeiten kontinuierlich sind. Echte Flüssigkeiten bestehen aus diskreten Molekülen; die Gleichungen sind eine Annäherung an die physikalische Realität, keine direkte Beschreibung. Einen mathematischen Blow-up zu finden bedeutet nicht, dass irgendeine echte Flüssigkeit irgendwo plötzlich auf unendliche Geschwindigkeit beschleunigt. Die Ingenieurmodelle, auf die Piloten, Meteorologen und Kardiologen angewiesen sind, bleiben unberührt.

Das Clay Mathematics Institute hat die eine Million Dollar noch nicht offiziell vergeben. Eine formelle menschliche Überprüfung – ob das Bewiesene genau das ist, was das Problem verlangte – steht noch aus. Das Institut wendet strenge Kriterien an; das vorherige gelöste Millennium-Problem, die Poincaré-Vermutung, erforderte drei Jahre Begutachtung durch die Fachgemeinschaft, bevor ein Preis bestätigt wurde. Ob Córdoba und Martínez-Zoroa formelle Anerkennung erhalten und wie die eine Million Dollar zwischen einem Unternehmen und den Menschen, deren mathematische Ideen den Beweis ermöglichten, aufgeteilt werden könnten, sind Fragen, die das Institut noch nicht beantwortet hat.

Schlagwörter: künstliche Intelligenz, OpenAI, Mathematik, Millennium-Preis, Navier-Stokes-Gleichungen