# OpenAI veröffentlicht 166-seitigen Navier-Stokes-Entwurf – Zweifel von Mathematikern

> OpenAI stellte im September einen Entwurf für einen formal verifizierten Beweis der Navier-Stokes-Vermutung vor. Fachleute sagen jedoch, der Ansatz weiche von der behaupteten Methode ab; der tatsächliche Beitrag sei unklar.

Oossa · 2026-10-17 · https://oossa.com/de/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

Anfang September 2026 veröffentlichte OpenAI einen 166-seitigen Entwurf, der nach Angaben des Unternehmens das Navier-Stokes-Problem lösen könnte – eines der sieben Millennium-Probleme des Clay Mathematics Institute, für deren Lösung jeweils eine Million Dollar ausgelobt sind. Der Entwurf ist in Lean verfasst, einer Sprache für formale Verifikation, die jeden logischen Schritt automatisch überprüft. OpenAI zufolge folgte der Beweis der Methode der spanischen Mathematiker Diego Córdoba und Luis Martínez-Zoroa.

## Mathematiker sehen Abweichungen

Mehrere Mathematiker, darunter Gonzalo Cao-Labor von der EPFL, haben den Entwurf geprüft und sagen, die Argumentation entspreche nicht dem Ansatz von Córdoba und Martínez-Zoroa. Die Ähnlichkeiten seien nur oberflächlich. Das Clay Mathematics Institute prüft den Entwurf seit seiner Veröffentlichung.

## Enormer Rechenaufwand, unklare Bedeutung

OpenAI setzte etwa 10.000 Modellinstanzen rund 88 Stunden lang ein und verarbeitete 130 Milliarden Tokens, um den Entwurf zu erstellen. Der Forscher Noam Brown schätzt, dass weniger als 10 % des Ergebnisses auf den Multi-Agenten-Ansatz zurückzuführen sind. Das deutet darauf hin, dass der Großteil der Arbeit vom Basismodell selbst stammt. Welche genaue Rolle der Agentenschwarm spielte, ist weiterhin unklar, da systematische Tests in dieser Größenordnung bislang fehlen.

## Weitere Veröffentlichungen stoßen auf Kritik

Anfang Oktober ergänzte OpenAI eine lose GitHub-Sammlung um rund 400 weitere KI-generierte Ergebnisse. Viele Mathematiker sagten, dadurch werde das Fach entwertet. Die rasche Veröffentlichung neuer Resultate bringt die Mathematik-Community an ihre Grenzen.

## Die Fakten

- OpenAI veröffentlichte Anfang September 2026 einen 166-seitigen Entwurf für eine mögliche Lösung des Navier-Stokes-Problems.
- Der Entwurf ist in Lean verfasst, einer Sprache für formale Verifikation, die logische Schritte automatisch überprüft.
- OpenAI setzte etwa 10.000 Modellinstanzen 88 Stunden lang ein und erzeugte 130 Milliarden Tokens.
- Der Forscher Noam Brown sagt, weniger als 10 % des Erfolgs des Entwurfs seien auf den Multi-Agenten-Ansatz zurückzuführen.
- Anfang Oktober 2026 veröffentlichte OpenAI rund 400 weitere KI-generierte Ergebnisse auf GitHub.

## Warum es wichtig ist

Für Leserinnen und Leser zeigt der Fall, dass selbst enorme KI-Ressourcen Ergebnisse hervorbringen können, die Fachleute weiterhin infrage stellen. Zugleich wird deutlich, dass KI-generierte mathematische Beweise die menschliche Überprüfung noch nicht ersetzen können. Das Problem, für dessen Lösung der Preis ausgelobt wurde, ist also weiterhin ungelöst.

## Quellen und Referenzen

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

Zuletzt aktualisiert: 2026-10-17