Mathematiker zweifeln an OpenAI-Nachweis für Navier-Stokes-Gleichungen
Wissenschaftler stellen OpenAI's Behauptung zur Lösung eines Millennium-Problems in Frage und hegen Zweifel an der Methodik und dem Beitrag von KI-Agenten. Die Überprüfung wird voraussichtlich Jahre dauern.
Akademiker beginnen, OpenAI's Ankündigung vom September zur Lösung der Navier-Stokes-Gleichungen, einem der Millennium-Probleme, zu hinterfragen. Trotz OpenAI's Vorlage eines 166-seitigen Beweises und der Behauptung, sein internes KI-System habe das Problem in 88 Stunden gelöst, überprüfen Mathematiker die Beweismethodik und deren Bezug zu früheren Forschungen.
Mathematiker weisen darauf hin, dass OpenAI's Ansatz signifikant von Methoden abweicht, die zuvor von Diego Córdoba und Luis Martínez-Zoroa vorgeschlagen wurden. Experten vermuten, dass OpenAI den Prozess seines eigenen Modells zum Zeitpunkt der Veröffentlichung möglicherweise nicht vollständig verstanden hat. Obwohl OpenAI die Lean-Formelsprache zur Formalisierung und Verifizierung verwendete, garantiert dies weder die wissenschaftliche Gültigkeit noch die menschliche Verständlichkeit des Beweises.
Es sind auch Fragen bezüglich des Ursprungs von OpenAI's Forschung aufgetaucht. Einige Mathematiker vermuten, dass das Unternehmen von früheren Arbeiten profitieren könnte, die mit öffentlich zugänglichen Modellen durchgeführt wurden. OpenAI hat diese Anschuldigungen zurückgewiesen und erklärt, die Angelegenheit untersucht zu haben, aber Streitigkeiten über den Zusammenhang zwischen Forschungsmethoden und Ergebnissen bestehen fort.
Eine weitere zentrale Unklarheit betrifft den tatsächlichen Beitrag der beteiligten Tausenden von KI-Agenten. Obwohl OpenAI die Nutzung von etwa 10.000 parallelen Agenten meldete, bleibt unklar, inwieweit diese verteilte Architektur zum Endergebnis beigetragen hat. Einige Schätzungen deuten darauf hin, dass die Multi-Agenten-Kollaboration weniger als 10 % ausmachte, wobei die Fähigkeit des zugrunde liegenden Modells, Aufgaben über längere Zeiträume zu verarbeiten und mehrere Lösungen zu erkunden, entscheidender war.
Die mathematische Gemeinschaft bewertet OpenAI's Forschungsergebnisse noch, ein Prozess, der voraussichtlich Jahre dauern wird. Die Debatte betrifft nicht nur die Fähigkeit der KI, formale Beweise zu generieren, sondern auch die Gültigkeit von Forschungsmethoden, die Zuordnung von Ergebnissen und die Messung des tatsächlichen Einflusses von KI-Agenten.