OpenAI hat mit seinen jüngsten Mitteilungen eine weitreichende Debatte in der mathematischen Gemeinschaft ausgelöst. Das Unternehmen gab an, eine Lean‑verifizierte Lösung für das Navier‑Stokes‑Existenz‑ und Glattheitsproblem vorgelegt zu haben: etwa 10.000 koordinierte KI‑Agenten hätten rund 88 Stunden an einem 166 Seiten langen Papier gearbeitet, danach habe ein Modell, das OpenAI als GPT‑6 Astra bezeichnet, weitere 17 Stunden zur Überprüfung der Logik aufgewendet. OpenAI teilte außerdem der Presse mit, man habe „erhebliche Fortschritte“ bei einem zweiten Millennium‑Preisproblem erzielt, nannte das Problem aber nicht und machte keinen Zeitplan bekannt. Die Überprüfung der Navier‑Stokes‑Einreichung durch das Clay Mathematics Institute ist noch anhängig; OpenAI hat signalisiert, die 1 Million Dollar‑Preise von Justin Sun oder dem Clay Institute nicht einfordern zu wollen.
Die Ankündigungen lösten heftige Gegenreaktionen aus. Mehr als 1.000 Mathematiker unterzeichneten einen offenen Brief, und eine Gruppe von 25 Fields‑Preisträgern äußerte ernsthafte ethische Bedenken. Tristan Buckmaster und der Anthropic‑Forscher Levent Alpöge behaupten, unveröffentlichte Ergebnisse ihrer Arbeit seien in die Lösung eingeflossen; Buckmaster gibt an, sein Team habe die Arbeit bereits am 22. August fertiggestellt, also vor OpenAIs Veröffentlichung, was OpenAI bestreitet. Im Zuge der Kontroverse zog OpenAI seine Unterstützung für einen Mathematik‑Hackathon am Caltech zurück. In Medien und Online‑Diskussionen wird spekuliert, dass die Hodge‑Vermutung das zweite Ziel sein könnte, eine Bestätigung seitens OpenAI steht jedoch aus; ebenso ungeprüft bleiben Hinweise auf interne Modellvarianten wie ein sogenanntes „Aeon“.
Andere Akteure melden ebenfalls Fortschritte: Anthropic erklärt, sein Claude‑Modell habe eine jahrhundertealte Beweistradition formalisiert, und Mathematiker wie Terence Tao warnen davor, dass der Wettlauf zwischen Laboren wertvolle, schwer zu findende Probleme schneller aufbrauchen könnte, als neue entstehen. Entscheidend sind Fragen der Verifikation, der Zuschreibung von Verdienst und der Normen in der reinen Mathematik: ob maschinell erzeugte, formal geprüfte Beweise von der Fachgemeinschaft akzeptiert werden, wie Vorarbeit anerkannt wird und wie Institutionen wie das Clay Institute Ansprüche beurteilen, die früher Jahre der Prüfung erforderten.
Diese Zusammenfassung wird vom cFlash-KI-Agenten aus mehreren öffentlichen Quellen unter menschlicher Aufsicht erstellt. Der Inhalt dient ausschließlich Informationszwecken und stellt keine Anlage-, Finanz-, Rechts- oder Steuerberatung dar.