# OpenAI sagt, es habe Navier–Stokes gelöst. Urteil: NEEDS REVIEW.

Published: 2026-09-09

OpenAI sagt, ein internes Modell, das als etwa 10.000 gleichzeitige Agenten 88 Stunden lang lief, habe einen Lean-verifizierten Beweis erbracht, dass die Navier–Stokes-Gleichungen in endlicher Zeit explodieren – ein seit 1934 offenes Millennium-Preis-Problem. Zwölf Stunden zuvor veröffentlichte Tristan Buckmaster von der NYU eine vierseitige Erklärung über den Verlauf des Telefonats am Sonntag mit OpenAI („Warum sollten Sie Ihre Karriere ruinieren?“), Terence Tao schrieb, dass offene Probleme jetzt wie eine nicht erneuerbare Ressource abgebaut werden, und ein Anthropic-Pretraining-Forscher trat wegen des Wettlaufs zurück. Außerdem: Meta liefert Muse aus, einen persönlichen Agenten mit eigener VM. Urteil: NEEDS REVIEW.

Canonical: https://thedailydiff.dev/de/video/2026-09-09-navier-stokes-rumor/

## Was dieses Video behandelt

- OpenAI: Navier–Stokes-Explosion, ~10.000 Agenten, 88 Stunden, 130B Ausgabetoken, Lean-verifiziert
- Buckmaster und Alpöge: ein Jahr am selben Ansatz, ein Gerücht und ein Anruf am Sonntag mit zwei Angeboten
- Terence Tao: „selbst das Gerücht, dass jemand an einem Problem arbeitet, kann eine massive Menge KI-gestützter Anstrengungen auslösen, um es zu lösen“
- Jacob Coxon tritt von Anthropic zurück: beide Labore „rasen direkt auf sich selbst verbessernde Superintelligenz zu“
- Meta liefert Muse aus: ein persönlicher Agent auf seiner eigenen Cloud-VM, in WhatsApp, nur USA

## Übersetztes Transkript

Aus der englischen Originalerzählung übersetzt. Verfügbare Audio- und Untertitel werden von YouTube gesteuert.

0:00 Gestern gab OpenAI bekannt, dass seine KI ein Millennium-Preis-Problem gelöst hat, neunzig Jahre offen, eine Million Dollar, in achtundachtzig Stunden, und die beiden Mathematiker, die ein Jahr an demselben Problem gearbeitet hatten, erfuhren davon bei einem Telefonat am Sonntag, das, laut einem von ihnen, enthielt: warum sollten Sie Ihre Karriere ruinieren? Es war ein langer Montag. Im Morgengrauen postete ein NYU-Professor eine vierseitige Erklärung; sechzehnhundert Punkte auf Hacker News. Am Nachmittag postete OpenAI den Beweis.

0:26 Am Abend sagte Terence Tao, dass offene Probleme jetzt wie eine nicht erneuerbare Ressource abgebaut werden, und über Nacht trat ein Anthropic-Forscher auf X zurück, vierundvierzig Millionen Aufrufe, weil beide Labore, Zitat, mit unserem Leben spielen. Auch Meta lieferte einen persönlichen Agenten aus, der in WhatsApp lebt und seine eigene Computer hat. In diesem Video: der Beweis, der Anruf, die Fußnote, und der Satz, den Terence Tao die Labore hören lassen möchte.

0:49 Es ist Mittwoch, der 9. September, und dies ist The Daily Diff. Zuerst die Mathematik. Navier–Stokes beschreibt, wie sich Flüssigkeiten bewegen, und seit 1934 wusste niemand, ob eine glatte 3D-Flüssigkeit eine Singularität erreichen kann: Geschwindigkeit, die in endlicher Zeit unendlich wird. Das System von OpenAI sagt ja. Beginnen Sie im Ruhezustand, wenden Sie eine glatte Kraft an, halten Sie die Energie endlich, und ein Wirbel spiralisiert sich wie Spaghetti nach innen, bis die Geschwindigkeit explodiert. Aussagen C und D der Clay-Formulierung, in Lean,

1:16 siebzehn Stunden Astra zur Verifizierung. Flüssigkeiten können also explodieren, was jeder wusste, der Kaffee auf ein MacBook verschüttet hat, aber jetzt ist es in Lean. Wie: OpenAI hat ein neues internes Modell, das es als deutlich leistungsfähiger als Astra bezeichnet, und am 1. September hörten sie ein Gerücht, dass zwei Millennium-Probleme gelöst worden waren, also richteten sie es auf jedes offene Problem. Die Navier–Stokes-Gruppe: etwa zehntausend gleichzeitige Agenten, einhundertdreißig Milliarden Ausgabetoken; dreihundert Milliarden über alle

1:42 Probleme hinweg. Zu Astra-Listenpreisen, fünfzehn Millionen Dollar an Token für einen Ein-Millionen-Dollar-Preis, den OpenAI nach eigenen Angaben nicht beanspruchen wird, und bei dieser Marge, wer würde das. Die andere Seite. Tristan Buckmaster an der NYU und Levent Alpöge, der bei Anthropic arbeitet, verbrachten ein Jahr damit, einen Ansatz von Córdoba und Martínez-Zoroa mit Claude und Codex voranzutreiben, wobei sie OpenAI aus Buckmasters eigenen Forschungsmitteln bezahlten. Am 15. August erhielten sie die Explosion für die Euler-Gleichungen; Buckmaster nennt den ersten LLM-Beweis den schrecklichsten, den er je gelesen hat,

2:10 und er wurde am 22. August in Lean verifiziert. Dann verbreitete sich ein Gerücht, und am 3. September mailte er OpenAI: wir sind es, es ist persönlich, wir werden bald posten. Am Sonntag um 12:45 Uhr bat OpenAI um ein Treffen zu einem beliebigen Zeitpunkt heute, und Sébastien Bubeck schloss sich an. Buckmaster wurde gesagt, das Modell habe erzwungene Navier–Stokes mit sehr wenig menschlichem Input bewiesen, was im Laufe des Anrufs zu einem ganzen Team wurde, zuerst einfachere Probleme, ein von Codex geschriebener Prompt und eine wahnsinnige Menge an

2:36 Rechenleistung. Er fragte, wann der erste Prompt gesendet wurde. Schließlich: in den letzten Tagen, nachdem Informationen über unsere Arbeit OpenAI erreicht hatten. Zwei Angebote folgten. Eins: Sie posten Euler, wir posten Navier–Stokes am nächsten Tag. Zwei: Buckmaster allein schreibt den OpenAI-Beweis auf, und, er sagt, Bubeck wollte Alpöge zweimal aus dem Paper haben, weil er bei Anthropic arbeitet. Er lehnte ab und sagte, er würde an die Öffentlichkeit gehen. Die Antwort, laut der Erklärung: warum sollten Sie Ihre Karriere ruinieren,

3:00 dann: wenn Sie nicht wollen, dass ich nett bin, muss ich nicht nett sein. Normalerweise ist das die Zeile, kurz bevor ein Pferdekopf in einem Bett auftaucht. OpenAIs Version: niemand hat ihre Arbeit gesehen, es wurden keine Nutzerdaten abgerufen, und, Fußnote, sie können nicht ausschließen, dass anonymisierte Daten aus der Nutzung ihrer Produkte durch die Professoren zur Verbesserung des Modells beigetragen haben. Alpöges Bewertung: Respekt dafür, dass sie sofort reinen Tisch gemacht haben. Sam Altman sagt, alle hätten mit Integrität und Großzügigkeit gehandelt und das andere Team

3:25 drohte mit unbegründeten Plagiatsvorwürfen, geschrieben mit einem i. Also die offizielle Position: wir haben Ihre Hausaufgaben nicht kopiert, wir haben gehört, Sie haben Hausaufgaben gemacht. Terence Tao nannte das Ergebnis der Professoren bemerkenswert und bemerkte, dass Buckmaster es ihm telefonisch erklärt habe, eine erfrischende Abwechslung zu KI-basierten Kommunikationsmodalitäten. Dann, vier Beiträge: gute offene Probleme werden jetzt wie eine nicht erneuerbare Ressource abgebaut, selbst ein Gerücht, dass jemand daran arbeitet, löst eine massive KI-Anstrengung aus, um es zu lösen, so dass der Anreiz darin besteht, das Teilen von Forschungsrichtungen

3:55 einzustellen, was Jahrhunderte offener Wissenschaft umkehrt. Drei Gruppen posteten an einem Wochenende über die Explosion von Flüssigkeiten; das nächste Paper könnte eine NDA sein. Das ist die Stimmung, in die Jacob Coxon zurückgetreten ist: drei Jahre Pretraining bei OpenAI, dann Anthropic; keine der beiden Firmen handelt verantwortungsbewusst, sagt er, beide rasen auf sich selbst verbessernde Superintelligenz zu, und das Endspiel sollte nicht von einem privaten Firmen-Slack aus gestartet werden. Vierundvierzig Millionen Aufrufe, an dem Tag, als ein Labor zehntausend Agenten auf ein Gerücht ansetzte,

4:21 so dass der Thread mit einer Live-Demo ausgeliefert wurde. Inzwischen hat Meta Muse ausgeliefert: einen persönlichen Agenten auf seiner eigenen Cloud-VM mit eigenem Browser, und man spricht mit ihm in WhatsApp. Nur USA, für die meisten Dinge kostenlos. Meta verspricht eine Version, die nicht einmal Meta lesen kann, später in diesem Jahr, eine sehr spezifische Art, dieses Jahr zu beschreiben. Top-Hacker News-Kommentar: Ich möchte mein Leben nicht so mit Meta teilen. Zweitens: Es versucht ständig, mir einen Kinderwagen zu verkaufen.

4:45 Wenn Sie dies lieber lesen als mich sprechen zu hören, landet The Daily Diff jeden Morgen in Ihrem Posteingang – kostenlos unter thedailydiff.dev, Link unten. Also – das heutige Urteil: NEEDS REVIEW. Der Beweis kompiliert; die Geschichte nicht. Zehntausend Agenten, die ein neunzig Jahre altes Problem an einem Wochenende lösen, ist das Fähigkeitsergebnis des Jahres; es mit einem Sonntagsanruf bei den beiden Personen anzukündigen, von denen Sie davon erfahren haben, ist es nicht.

5:07 Und das ist der Diff für heute. Ich bin Niko von Axrisi. Merge responsibly (Verantwortungsvoll zusammenführen).

## Quellen

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com