OpenAI: KI löst Navier-Stokes-Millennium-Problem

OpenAI gab am Mittwoch bekannt, dass sein internes KI-System das Navier-Stokes-Existenz-und-Glattheitsproblem gelöst hat — eine der sieben Millennium-Preisaufgaben des Clay Mathematics Institute aus dem Jahr 2000, die jeweils mit einer Million Dollar dotiert sind.

Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten und Gasen und sind grundlegend für die Luftfahrttechnik, die Wettervorhersage und die Medizin. Offen ist die Frage, ob bei vernünftigen Anfangsbedingungen stets glatte globale Lösungen existieren.

Historischer Mathematikdurchbruch

Die Millennium-Preisaufgaben sind die bedeutendsten ungelösten Fragen der Mathematik. Bisher wurde nur eine gelöst: die Poincaré-Vermutung durch Grigori Perelman im Jahr 2003. Sollte OpenAIs Behauptung unabhängig verifiziert werden, wäre es die zweite Lösung in einem Vierteljahrhundert — und die erste durch künstliche Intelligenz.

OpenAI präsentierte die Ergebnisse auf einer Pressekonferenz; auch Quanta Magazine berichtete. Die Gültigkeit muss von führenden Mathematikern geprüft werden.