Die OpenAI erklärte am Dienstag (8.), dass eines ihrer KI-Modelle ein mathematisches Problem gelöst habe, das Forscher seit Generationen beschäftigt, was einen Streit mit rivalisierenden Wissenschaftlern über den Wert der Entdeckung auslöste. Das Unternehmen veröffentlichte eine von KI generierte Lösung zusammen mit einem formalen Beweis für das Problem von Navier-Stokes.
Die Entwicklerin von ChatGPT erklärte, dass 88 Stunden und Millionen Dollar an Rechenleistung nötig waren, um das Problem zu lösen. Navier-Stokes ist eines der sieben „Jahrtausendprobleme", eine Liste einiger der schwierigsten offenen Fragen der Mathematik, die vom Clay Mathematics Institute erstellt wurde.
Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten, wie Luft und Wasser, und werden in verschiedenen praktischen Anwendungen eingesetzt, darunter die Entwicklung von Flugzeugen, Wettervorhersagen und die Untersuchung des Blutflusses.
