heise online meldet, dass ein weiteres der sogenannten Millenium-Probleme gelöst sein könnte: der Beweis der Existenz einer Lösung für die Navier-Stokes-Gleichungen für dreidimensionale, inkompressible Strömungen.
Professor Dr. Mukhtarbay Otelbaev hat seine 100 Seiten starke Beweisführung bisher allerdings nur auf russisch veröffentlicht und die Prüfung eines mathematischen Beweises derartiger Komplexität kann Jahre dauern.
Bei der Problemstellung geht es grundsätzlich um die Beweisführung, ob für den definierten Anwendungsfall überhaupt eine eindeutige Lösung existiert, was bei der numerischen Lösung (bisher unbewiesen) vorausgesetzt wird. Entsprechend schreibt das ‚Clay Mathematics Institute‘ dann auch:
„Although these equations (Anmerkung des Autors: die Navier-Stokes-Gleichungen) were written down in the 19th Century, our understanding of them remains minimal.“
Die genaue Definition des Problems kann hier eingesehen werden. Hintergrundinformationen dazu gibt es hier.