Wurde das Navier-Stokes-Problem gelöst?

Das Navier-Stokes-Problem ist möglicherweise gelöst. Das behauptete zumindest OpenAI am 8. September 2026. Das Millennium-Problem betrifft die mathematische Beschreibung von Fluiden durch die Navier-Stokes-Gleichung, eine nichtlineare partielle Differentialgleichung. Für die Lösung der sieben Millennium-Probleme hat das Clay Mathematics Institut im Jahr 2000 je eine Million US-Dollar ausgelobt. Die Millennium-Probleme⁠ stellen einige der tiefgreifendsten Fragen an der Grenze der Mathematik dar und es wäre erst das zweite Problem, das von diesen gelöst wäre. Im Jahr 2002 hatte der russische Mathematiker Grigori Perelman die Poincaré-Vermutung bewiesen.

Eine Lösung des Navier-Stokes-Problems mit Hilfe künstlicher Intelligenz wäre ein großer Durchbruch in der Mathematik und ein bedeutender Erfolg für den Einsatz von Künstlicher Intelligenz in der mathematischen Forschung. Doch die Freude über den Beweis des Problems wird getrübt durch einen Streit. Auch die Mathematiker Tristan Buckmaster und Levent Alpöge behaupten, mit Einsatz von künstlicher Intelligenz, darunter auch Produkte von OpenAI, ein Gegenbeispiel gefunden zu haben. Einen Tag früher als OpenAI haben sie auf Mastodon eigene Arbeiten zu verwandten Strömungsgleichungen, u.a. zur inkompressiblen Euler-Gleichung veröffentlicht, zusammen mit einem Statement zur Auseinandersetzung mit OpenAI. Tristan Buckmaster ist Professor für Mathematik an der New York University, Levent Alpöge arbeitet für den OpenAI-Konkurrenten Anthropic. (Fotoquelle Buckmaster: Max-Planck-Institut für die Mathematik in den Naturwissenschaften, Original: Dan Komoda, IAS Priceton / 2021; Fotoquelle Alpöge: Marlene Ruf, MFO).

Weitere Informationen zum Navier-Stokes-Problem:https://de.wikipedia.org/wiki/Navier-Stokes-Existenz-_und_Glattheitsproblem, https://openai.com/index/navier-stokes-solution/

Weitere Informationen zu den sieben Millenniumproblemen: https://de.wikipedia.org/wiki/Millennium-Probleme, https://www.claymath.org/millennium-problems/