Was steckt hinter dem Navier-Stokes-Problem?

Vortrag von Prof. Dr. Christian Seis über ein Millennium-Problem, das mithilfe von KI gelöst wurde
© C. Fukushima and J. Westerweel, Technical University of Delft, CC BY 3.0 via Wikimedia Commons

Anfang des Monats sorgte die Nachricht für Aufsehen, dass ein KI-System einen Beweis für ein sogenanntes Millennium-Problem der Mathematik gefunden hat. Damit wäre eine fast 90 Jahre alte offene Frage der Mathematik gelöst. Es geht um die Navier-Stokes-Gleichungen. Sie beschreiben, wie sich Flüssigkeiten und Gase bewegen und spielen eine wichtige Rolle in der Strömungsmechanik. Anwendung finden sie unter anderem beim Flugzeugbau und bei der Wettervorhersage.

Doch worum geht es bei diesem Problem eigentlich genau? Prof. Dr. Christian Seis vom Exzellenzcluster Mathematik Münster erklärt in seinem Vortrag allgemeinverständlich, was hinter den Navier-Stokes-Gleichungen steckt, warum ihre mathematische Untersuchung so schwierig ist und was die aktuelle KI-Lösung für die Forschung in diesem Bereich bedeuten kann. 

Christian Seis
© MM/vl

Der Exzellenzcluster Mathematik Münster und das Center for Data Science and Complexity (CDSC) der Universität Münster laden alle Interessierten herzlich zu diesem Vortrag ein!

Über den Vortragenden:
Christian Seis ist Professor für Angewandte Mathematik an der Universität Münster. Er ist spezialisiert auf Analysis und partielle Differentialgleichungen. Besonders interessieren ihn Probleme aus der Fluiddynamik, von Wirbeldynamik und Mischungsprozessen bis hin zu freien Randwertproblemen und singulären Grenzwerten.

Links:
Webseite von Prof. Dr. Christian Seis

Folge des Uni-Podcasts "Umdenken" mit Christian Seis

Artikel "Wurde das Navier-Stokes-Problem gelöst?" auf den Webseiten der Deutschen Mathematiker Vereinigung (DMV)