Navier-Stokes: 10.000 KI-Agenten, 88 Stunden, ein Beweis

Navier-Stokes ist ein Millennium-Problem der Mathematik, das die Bewegung von Wasser und Luft beschreibt. OpenAI meldet dafür einen 166 Seiten langen Beweis. Erzeugt haben ihn rund 10.000 KI-Agenten in 88 Stunden. Für Unternehmen liegt die Lehre nicht in der Mathematik, sondern im Tempo dieser Agenten-Schwärme.

Navier-Stokes: 10.000 Agenten, 88 Stunden, 166 Seiten

OpenAI startete den Lauf am 1. September. Mindestens 10.000 Agenten arbeiteten parallel. Untereinander gingen 2,7 Millionen Nachrichten hin und her. Verbraucht wurden 130 Milliarden Tokens. Nach 88 Stunden lag das Ergebnis vor. Der Beweis umfasst 166 Seiten. Dazu kommt eine Fassung in Lean, einem Beweis-Assistenten.

Eine Maschine prüft dort jeden Schritt formal nach. Zu API-Preisen hochgerechnet landet der Lauf bei mehreren Millionen Dollar. Das Clay Mathematics Institute rief im Jahr 2000 sieben Millennium-Probleme aus. Auf jedes setzte es eine Million Dollar. Gelöst wurde bislang genau eines.

Grigori Perelman legte den Beweis der Poincaré-Vermutung vor und lehnte das Preisgeld später ab.

Was die Navier-Stokes-Gleichungen beschreiben

Die Gleichungen sind rund 200 Jahre alt. Sie stecken in jeder Wetter-Vorhersage. Flugzeug-Bauer rechnen mit ihnen, Mediziner modellieren damit den Blutfluss. Offen war eine einzige Frage: Können diese Gleichungen zusammenbrechen? Ein Bild hilft. Ein Strudel im Abfluss dreht sich immer enger und schneller. In der Realität endet das irgendwo.

In den Gleichungen kann er an einem Punkt unendlich schnell werden. Genau diesen Zusammenbruch bestätigt der Beweis. Die Gleichungen versagen also an dieser Stelle. Das Modell beschreibt die Wirklichkeit nicht überall korrekt.