Vortrag von Prof. Dr. Christian Seis über ein Millennium-Problem,
das mithilfe von KI gelöst wurde

Am 9.10.26 wurde für die Mathematik-Leistungskurse der Q1 und der Q2 der alte Chemie-Hörsaal am CBG reaktiviert, denn er bot die richtige Atmosphäre für den Besuch der Universität: Prof. Christian Seis, Professor für Angewandte Mathematik an der Uni Münster, war eingeladen worden, um darüber vorzutragen, dass ein KI-System einen Beweis für ein sogenanntes Millennium-Problem der Mathematik gefunden hat, die Navier-Stokes-Vermutung. Damit wäre eine fast 90 Jahre alte offene Frage der Mathematik gelöst, wenn Menschen verifizieren, was die KI behauptet.

Herr Seis erklärte allgemein verständlich, was die Navier-Stokes-Gleichungen beschreiben, nämlich wie sich Flüssigkeiten und Gase bewegen, und dass sie eine wichtige Rolle spielen, z.B. um Wasserbewegungen in Filmen zu simulieren.

Davon ausgehend beleuchtete Herr Seis, was die aktuelle KI-Lösung für die Forschung in diesem Bereich bedeuten kann. Denn nicht nur diese Gleichung, sondern auch 377 weitere Probleme der Mathematik wurden von KI gelöst. Zumindest behauptet dies die Firma OpenAI. Dass dies eine Revolution der Mathematik bedeuten kann, war den ca. 60 Zuhörern aus drei Mathe-LKs klar, so dass zum Ende des Vortrags eine rege Diskussion darüber geführt wurde, welche Bedeutung eine solche Entwicklung für die Zukunft der Mathematik haben kann.

Wir danken Prof. Seis für den interessanten Einblick in „echte“ Mathematik.

KRK