Die Ankündigung von OpenAI, dass seine Agenten das Navier-Stokes-Existenz- und Glattheitsproblem — eines der sieben Millenniumspreisprobleme des Clay Mathematics Institute — gelöst haben, wurde von Kontroversen überschattet. Das Unternehmen behauptet, sein internes Modell habe das kürzlich veröffentlichte Astra-Modell dramatisch übertroffen, um zu beweisen, dass die vollständigen Gleichungen unter bestimmten Bedingungen zusammenbrechen können. Allerdings sind Vorwürfe aufgekommen, dass OpenAI auf der Arbeit des NYU-Mathematikers Tristan Buckmaster und des Anthropic-Mitarbeiters Levent Alpöge ohne angemessene Anerkennung aufbaute. Buckmaster veröffentlichte am Montag auf Mastodon einen Beweis, der zeigt, dass eine vereinfachte Version der Navier-Stokes-Gleichungen zusammenbrechen kann, nach fast einem Jahr Forschung mit öffentlich verfügbaren Modellen sowohl von OpenAI als auch von Anthropic. Sébastien Bubeck, Mitglied des technischen Teams von OpenAI, räumte in einem Pressebriefing ein, dass das Team inspiriert wurde, das Problem anzugehen, nachdem es Gerüchte über die Bemühungen von Buckmaster und Alpöge gehört hatte. OpenAI hat bestritten, ihre Arbeit direkt verwendet zu haben, und erklärt, nicht vorzuhaben, den eine Million Dollar Preis zu beanspruchen. Der Vorfall verdeutlicht wachsende Spannungen rund um KI-gesteuerte mathematische Entdeckungen und wirft Fragen auf, wie menschliche Mathematiker in eine von KI-Grenzwertunternehmen dominierte Zukunft passen werden.

Buckmaster beschrieb seine Interaktionen mit OpenAI-Mitarbeitern in einem öffentlichen Dokument und warf ihnen vor, zwei Optionen präsentiert zu haben: Entweder veröffentlichen er und Alpöge ihre Arbeit und OpenAI folgt am nächsten Tag mit ihrer Lösung, oder Buckmaster arbeitet an einem OpenAI-Papier mit, wobei Alpöge aufgrund seiner Anthropic-Zugehörigkeit ausgeschlossen wird. Buckmaster berichtete auch, gefragt zu haben, ob OpenAIs Agenten auf Transkripte seiner und Alpögés Forschung zugegriffen hätten, was diese verneinten, und ob ihre Modelle auf diesen Transkripten trainiert wurden, worauf sie nicht antworteten. MIT Technology Review wandte sich an Buckmaster für einen Kommentar, erhielt aber vor Veröffentlichung keine Antwort.

Diese Kontroverse unterstreicht den sich wandelnden Dynamik in der mathematischen Forschung, wo KI-Modelle zunehmend unverzichtbar für die Lösung von Problemen werden, die einst als unerreichbar galten. Wenn nur eine Handvoll gut finanzierter KI-Unternehmen den Fortschritt bei den wichtigsten mathematischen Herausforderungen vorantreiben können, könnte dies die kollaborativen Normen, die die akademische Mathematik lange definiert haben, grundlegend verändern. Das Navier-Stokes-Problem, das Gleichungen zur Beschreibung von Strömungen umfasst, die in Physik und Ingenieurwesen weit verbreitet sind, blieb bis jetzt ungelöst, trotz seiner Bedeutung für das Verständnis von Phänomenen wie unendlicher Flüssigkeitsgeschwindigkeit unter bestimmten Bedingungen.