Vier Newsletter, dieselbe Meldung, drei verschiedene Überschriften: gelöst, behauptet, geknackt. Genau in diesem Unterschied steckt die Geschichte. Wir haben die offizielle Problembeschreibung selbst gelesen.
An einem einzigen Tag lag dieselbe Meldung in vier Newslettern, und schon die Überschriften waren uneinig: Einmal hat ein Modell das Problem gelöst, einmal behaupten Agenten einen Durchbruch, einmal sagt OpenAI, es habe geknackt. Wer solche Unterschiede liest, weiß, dass hier noch nichts entschieden ist. Also haben wir nicht die Berichte verglichen, sondern die Ankündigung und die offizielle Problembeschreibung gelesen.
OpenAI schreibt, ein internes System, das deutlich leistungsfähiger sei als das öffentlich verfügbare Spitzenmodell, habe einen Beweis erzeugt. Gezeigt werde, dass die Strömungsgleichungen in drei Dimensionen aus einem glatten Anfangszustand heraus in endlicher Zeit eine Singularität entwickeln können, also einen Punkt, an dem die Geschwindigkeiten rechnerisch ins Unendliche wachsen. Die Flüssigkeit startet in Ruhe, wird von einer glatten Kraft angetrieben, und ihre Energie bleibt dabei endlich.
Vorgelegt wurden zwei Dinge: eine Beweisschrift für Menschen und eine Formalisierung in der Sprache Lean. Lean ist ein Beweisassistent, der jeden Schritt maschinell nachrechnet. Das ist mehr, als man bei mathematischen Ankündigungen sonst bekommt.
Zur Größenordnung der Rechenarbeit nennen Berichte rund 10.000 Agenten, die 88 Stunden parallel gearbeitet haben. Das Problem ist seit rund neunzig Jahren offen und steht seit dem Jahr 2000 auf der Liste der sieben Millennium-Probleme des Clay Mathematics Institute.
Lean prüft, ob die Schritte logisch zusammenpassen. Es prüft nicht, ob die formalisierte Aussage tatsächlich diejenige ist, um die es geht. Genau diese Übersetzung müssen Menschen nachvollziehen, und das dauert Monate bis Jahre. Dazu kommt ein Prioritätsstreit: Ein Mathematiker der New York University erhebt öffentlich den Verdacht, das System könne auf seine eigenen, nicht veröffentlichten Arbeiten zurückgegriffen haben, die in einem Entwicklerwerkzeug lagen. Er nennt dafür eigene Daten im August. Wir können diesen Vorwurf nicht bewerten und geben ihn nur als das wieder, was er ist: ein offener Einwand.
Der häufigste Einwand in der Berichterstattung lautet, das Millennium-Problem betreffe die Gleichungen ohne äußere Kraft, OpenAI habe aber eine Kraft zugelassen, also sei die Sache erledigt. Das klingt vernichtend, und es ist in dieser Pauschalität falsch.
Wir haben die offizielle Problembeschreibung des Clay-Instituts gelesen, verfasst von Charles Fefferman. Darin stehen vier Aussagen, von denen eine bewiesen werden muss. Bei den Aussagen A und B, die Existenz und Glattheit betreffen, steht ausdrücklich, die Kraft sei identisch null. Bei den Aussagen C und D, die den Zusammenbruch betreffen, ist dagegen ausdrücklich eine glatte Kraft zugelassen, sofern sie zwei Zusatzbedingungen erfüllt.
OpenAI beansprucht genau C und D. Der Einwand „mit Kraft gilt nicht" trifft also die falschen Aussagen. Die echte Prüffrage ist eine andere und viel unspektakulärer: Erfüllt die verwendete Kraft die geforderten Bedingungen, und trifft die Lean-Fassung wirklich die Aussage aus der Problembeschreibung? Das kann nur die Fachwelt beantworten, und sie wird dafür Monate brauchen. Das Clay-Institut selbst verlangt zudem eine Veröffentlichung in einer anerkannten Zeitschrift und eine Wartezeit von zwei Jahren, bevor ein Preis überhaupt vergeben wird.
Wir haben die Problembeschreibung gelesen und den Wortlaut der vier Aussagen verglichen. Das reicht, um einen falschen Einwand zu entschärfen. Es reicht nicht, um den Beweis zu bewerten. Ob er hält, entscheiden Fachleute, die die Formalisierung Zeile für Zeile prüfen. Wer heute schreibt, es sei gelöst, geht ebenso über die Quellenlage hinaus wie der, der schreibt, es sei widerlegt.
Neben der Mathematik kam an einem einzigen Tag noch dies: OpenAI hat seine Bildfunktion erneuert, bis zu 50 Prozent schneller, mit einer Skizzenfunktion als Vorlage und Bearbeitung per Kommentar, verfügbar in allen Tarifen einschließlich gratis. Meta hat mit Muse einen persönlichen Agenten gestartet, der Termine, Einkäufe und ganze Vorhaben übernehmen soll, vorerst nur in den USA, ab 18 Jahren, mit einer Gratisstufe und Abos für 20 und 100 Dollar. Und Google hat einen Atlas mit neun Milliarden möglichen Genvarianten veröffentlicht. Für einen Betrieb im Mittelstand ist davon genau eines heute relevant: die schnellere Bildfunktion, weil sie in dem Tarif steckt, den ihr ohnehin habt.
Mich beeindruckt an dieser Sache weniger der Beweis als das Verfahren. Nicht ein Modell hat nachgedacht, sondern eine große Zahl von Agenten hat parallel gesucht, und am Ende stand etwas, das eine Maschine nachrechnen kann. Ob es diesmal hält, weiß ich nicht. Dass Mathematik künftig so entsteht, halte ich für ausgemacht.
Für unsere Arbeit ist die Lehre eine andere. Ich habe zwanzig Minuten gebraucht, um die offizielle Problembeschreibung zu lesen, und damit einen Einwand entkräftet, der überall stand. Das ist kein Fachwissen, das ist Nachschlagen. Bei fast jeder großen Meldung liegt die Primärquelle offen herum, und fast niemand öffnet sie.
Quellen: OpenAI, „On the Navier–Stokes Millennium Prize Problem" vom 8. September 2026, sowie die offizielle Problembeschreibung von Charles L. Fefferman beim Clay Mathematics Institute, aus der wir den Wortlaut der Aussagen A bis D geprüft haben. Angaben zu Rechenaufwand und zum Prioritätsstreit stammen aus der Berichterstattung vom 8. und 9. September. Weiter: ChatGPT Images 2.5, Meta Muse und Googles AlphaGenome-Atlas. Metas Bezeichnung „weltweit erster persönlicher KI-Agent" ist eine Eigenwerbung, die wir nicht prüfen konnten. Stand: 09.09.2026.
Welches Modell für welche Aufgabe, welche Tools wirklich zählen und wie du richtig promptest — komplett lesbar, kein Download.
Jetzt gratis lesen →Ich zeige dir und deinem Team, wie ihr bei jeder großen Meldung in zwanzig Minuten zur Originalquelle kommt und erkennt, was wirklich drinsteht. Danach fallt ihr auf keine Überschrift mehr herein.