KI-generierte Lösung des Navier-Stokes-Problems wird offiziell geprüft

Das Clay Mathematics Institute (CMI) hat sich offiziell zum Navier-Stokes-Problem geäußert. Es ist eines der sieben Millennium-Preisprobleme, die das CMI im Jahr 2000 in Paris vorgestellt hatte. Für die Lösung jedes dieser Probleme ist ein Preisgeld von einer Million US-Dollar ausgeschrieben. Das Navier-Stokes-Problem fragt, ob die Gleichungen, die beschreiben, wie sich Flüssigkeiten im dreidimensionalen Raum bewegen, immer eine glatte und vollständige Lösung haben.

Das CMI spricht in Bezug auf die KI-generierten Lösungen von einer "offenbar" gefundenen Lösung und schreibt, man hoffe, dass "Wellen neuen menschlichen Verständnisses freigesetzt werden, wenn die Innovationen hinter dieser Arbeit analysiert und hinterfragt werden." Neue Technologien hätten die mathematische Forschung zuletzt beschleunigt und die Erwartungen erhöht. Das Institut verweist auf den festgelegten Prüfprozess, der bewusst Zeit benötige. Updates sollen folgen.

Die mögliche Lösung begleitet ein heftiger Streit. Der Mathematiker Tristan Buckmaster wirft OpenAI vor, nach durchgesickerten Gerüchten über seine Forschung eigene Ressourcen auf das Problem gelenkt, seine Entwürfe in Trainingsdaten genutzt und seinen bei Anthropic angestellten Co-Autor Levent Alpöge als Autor abgelehnt zu haben.