OpenAI verkündete am 8. September 2026 die Lösung des berühmten Navier-Stokes-Existenz- und Glattheitsproblems durch ein neuartiges internes KI-System, das über GPT-6 Astra angesiedelt ist. Der mathematische Vorstoß widmet sich einem der sieben renommierten Millennium-Probleme des Clay Mathematics Institute. Das System wies in einem 166 Seiten langen, in der Verifikationssprache Lean formalisierten Beweis nach, dass in dreidimensionalen inkompressiblen Fluiden in endlicher Zeit Singularitäten auftreten können. Der vollständige Beweis wurde unmittelbar quelloffen zur wissenschaftlichen Überprüfung bereitgestellt.
Für das Vorhaben mobilisierte OpenAI gewaltige technische Kapazitäten, die den Rahmen herkömmlicher Forschungsprojekte sprengten. Rund 10.000 parallel agierende Agenten rechneten über einen Zeitraum von etwa 88 Stunden an dem Beweisgerüst. Im Laufe dieses massiven Prozesses generierten die beteiligten Systeme zusammengenommen mehr als 130 Milliarden Token. Dieser koordinierte Agentenansatz demonstriert, mit welcher Durchschlagskraft moderne Architekturen bei der formalen Verifikation komplexester mathematischer Hypothesen operieren können.
Die Veröffentlichung löste jedoch nicht nur Bewunderung, sondern auch ein schweres akademisches Nachbeben aus. Zwischen dem 9. und 12. September 2026 machten Tristan Buckmaster von der New York University und Levent Alpöge von Anthropic öffentlich Einwände geltend. Beide Forscher hatten unabhängig und parallel an denselben mathematischen Gleichungen gearbeitet. Sie warfen dem Unternehmen vor, ihre Forschungsansätze nach internen Leaks unlauter mit gigantischer Rechenleistung überrannt zu haben.
Der Kern des Vorwurfs liegt in der Nutzung kommerzieller Entwicklungswerkzeuge während der akademischen Vorarbeit. Buckmaster und Alpöge hatten ihre mathematischen Zwischenschritte und Ansätze über Monate hinweg in OpenAI-Codex-Sitzungen formuliert und getestet. Nach Ansicht der beiden Wissenschaftler führten interne Datenlecks oder die algorithmische Auswertung dieser Sitzungen dazu, dass OpenAI ihre Hypothesen aufgriff. Mit unverhältnismäßig viel Rechenleistung sei ihr langwieriges mathematisches Projekt daraufhin binnen weniger Tage vorweggenommen worden.
Die Kontroverse zog schnell Kreise in der weltweiten Mathematik-Gemeinschaft und rief prominente Stimmen auf den Plan. Fields-Medaillenträger Terence Tao äußerte sich öffentlich mit deutlicher Besorgnis über die Vorgehensweise. Er warnte davor, dass Nachwuchskräfte und etablierte Forscher aus Angst vor aggressiven Brute-Force-Methoden der KI-Labore künftig auf das Teilen unfertiger Entwürfe verzichten könnten. Dies drohe die jahrhundertealte Tradition des offenen wissenschaftlichen Austauschs und der kollaborativen Vorabpublikation dauerhaft zu beschädigen.
Der Fall wirft fundamentale Fragen über die Grenze zwischen kollaborativer Werkzeugnutzung und intellektueller Vereinnahmung auf. Wenn Cloud-basierte Assistenten Einblick in unveröffentlichte Spitzenforschung erhalten, geraten KI-Konzerne unter enormen Verdacht von Interessenkonflikten. Das Kräftemessen zwischen unzureichend geschützten Vorabdaten und Zehntausenden Rechenagenten könnte das Vertrauen der Forschungsgemeinschaft nachhaltig erschüttern. Für viele akademische Institute wird die Absicherung ihrer Notizen und Eingaben in proprietäre Systeme nun zur obersten Priorität.