OpenAI gab am 8. September 2026 bekannt, dass ihr internes KI-System eines der sieben Millennium-Probleme gelöst hat – das Problem der Existenz und Glattheit von Lösungen der Navier-Stokes-Gleichungen.
Nach Angaben des Unternehmens zeigt der Beweis, dass eine glatte Flüssigkeit in Ruhe unter dem Einfluss einer glatten Kraft in endlicher Zeit eine Singularität entwickeln kann, wobei die Energie endlich bleibt.
Die Lösung wurde mit Hilfe von Tausenden von KI-Agenten erzielt, die etwa 88 Stunden lang arbeiteten, und in Lean formalisiert.
Die Ankündigung löste sofort Kontroversen in der mathematischen Gemeinschaft aus.
Professor Tristan Buckmaster von der New York University und der Anthropic-Forscher Levent Alpöge hatten kurz zuvor Ergebnisse zu verwandten Problemen veröffentlicht, die als wichtige Schritte zur Lösung des Navier-Stokes-Problems galten.
Buckmaster äußerte Bedenken, dass OpenAI von ihrer Arbeit erfahren und ihre eigenen Bemühungen mit einem ähnlichen Ansatz beschleunigt haben könnte.
Das Unternehmen wies die Vorwürfe des Zugriffs auf fremde Daten oder Entwürfe zurück und erklärte, es habe auf der Grundlage öffentlicher Gerüchte über Fortschritte bei anderen Millennium-Problemen gehandelt.
Wie genau die KI-Agenten zu dem Beweis gelangten und ob dies als eigenständiger Durchbruch angesehen werden kann, wird nun von Mathematikern und KI-Experten diskutiert.
Es ist interessant, ob diese Episode das Vertrauen der Forscher in die Nutzung kommerzieller Modelle für die Arbeit an unveröffentlichten Ergebnissen beeinflussen wird.
OpenAI betonte, dass sie nicht beabsichtigt, Anspruch auf das Preisgeld von einer Million Dollar des Clay-Instituts zu erheben.
Das Ereignis war ein weiteres Beispiel dafür, wie schnell sich die Fähigkeiten der KI in der Mathematik entwickeln, aber gleichzeitig warf es Fragen zur Ethik und Urheberschaft in der Zusammenarbeit zwischen Mensch und Maschine auf.
