Hat künstliche Intelligenz gerade eines der berühmtesten Probleme der Mathematik gelöst? Ein neuer SRF-Beitrag legt das nahe, nennt aber selbst einen wichtigen Vorbehalt: Die Fachwelt müsse das Ergebnis noch überprüfen. Dieser Vorbehalt gehört bereits in die Antwort. OpenAI hat einen konkreten Beweisvorschlag samt formalisierter Fassung veröffentlicht. Eine abschließend anerkannte Lösung lässt sich am 9. September 2026 daraus noch nicht machen.
Der rund 13-minütige SRF-Podcast bespricht mit dem Mathematiker Joachim Escher die Navier–Stokes-Gleichungen, den möglichen Wert des Durchbruchs und die Zukunft seines Fachs. Vieles daran ist eine nachvollziehbare Einordnung. An drei Stellen ist mehr Präzision nötig: beim Status des Beweises, bei der Bedeutung von Turbulenz und bei den bereits existierenden Anwendungen der Quantenphysik.
Was tatsächlich veröffentlicht wurde
Die veröffentlichte Arbeit behauptet, dass bestimmte zunächst reguläre dreidimensionale Strömungen unter einer glatten äußeren Kraft nicht für alle Zeiten regulär bleiben können. Vereinfacht: Ein mathematisch zunächst gutartiger Zustand kann in endlicher Zeit seine glatte Beschreibung verlieren. Das wäre ein außerordentlich bedeutendes Ergebnis. Es ist jedoch keine Formel, mit der man ab sofort jede Strömung beliebig weit vorausberechnen könnte.
Die äußere Kraft ist keine nebensächliche Fußnote. Die offizielle Problemstellung von Charles Fefferman erlaubt in den Varianten C und D ausdrücklich geeignete glatte Kräfte für ein Gegenbeispiel. Der Vorschlag lässt sich deshalb nicht allein mit dem Einwand abtun, er betreffe einen erzwungenen Fluss. Umgekehrt erledigt ein solcher Gegenbeweis nicht automatisch jede Frage zum Verhalten von Strömungen ohne äußere Kraft.
88 Stunden – und was danach kam
Die genannten 88 Stunden entsprechen der Herstellerangabe zur Lösungssuche. Weitere 17 Stunden seien für Lean angefallen. KI-Agenten arbeiteten parallel; Menschen koordinierten den Versuch. Es war demnach keine vollständig menschenfreie Forschung.
Eine belastbare Gesamtkostenrechnung belegt diese Veröffentlichung nicht. Einen konkreten Millionenbetrag können wir daher nicht bestätigen. Rechenaufwand und Kosten der vorherigen Modellentwicklung sind außerdem auseinanderzuhalten.
Ein Computercheck ersetzt nicht alle Prüfungen
Das öffentliche Lean-Repository macht die mathematischen Aussagen und eine Anleitung zur Prüfung zugänglich. Ein formaler Beweis kann die logischen Schritte gegen präzise Regeln prüfen lassen. Zusätzlich muss klar sein, ob die formalisierte Aussage genau das behauptete Problem trifft und die Voraussetzungen korrekt übersetzt sind. Evidico hat weder den gesamten analytischen Beweis unabhängig nachgerechnet noch die Softwareprüfung selbst ausgeführt.
Das Clay Mathematics Institute führt das Problem bei unserem Abruf weiterhin als ungelöst. Dieser Status allein widerlegt einen gerade erschienenen Beweis nicht. Er verhindert aber, eine offizielle Anerkennung als bereits erfolgt darzustellen. Die Preisregeln verlangen unter anderem eine qualifizierende Veröffentlichung, mindestens zwei Jahre danach und allgemeine Akzeptanz in der mathematischen Gemeinschaft. Diese Wartezeit betrifft die Preisentscheidung; sie bedeutet nicht, dass Mathematiker erst nach zwei Jahren ein begründetes Urteil abgeben dürften.
Es geht um mehr als gewöhnliche Wasserwirbel
Im Gespräch wird das offene Problem mit der Frage erklärt, ob die Gleichungen Turbulenzen zulassen. Das verkürzt den Gegenstand zu stark. Unregelmäßige Wirbel in Luft und Wasser sind vertraute Strömungsphänomene. Das Millennium-Problem fragt nach Existenz und Glattheit mathematischer Lösungen unter genau festgelegten Bedingungen. Eine Singularität ist keine andere Bezeichnung für jeden turbulenten Wirbel. Auch Jean Lerays Arbeit von 1934 gehört zu dieser Geschichte: Sie etablierte verallgemeinerte Lösungen, ohne die hier entscheidende globale Glattheitsfrage zu erledigen. Das erläutert die offizielle Aufgabenbeschreibung.
Der historische Rahmen des Podcasts stimmt: Clay stellte im Jahr 2000 sieben Millennium-Probleme mit jeweils einer Million Dollar Preisgeld vor. Von diesen führt das Institut bislang nur die Poincaré-Vermutung als gelöst. Die Auswahl knüpfte an die berühmte Problemliste David Hilberts von 1900 an. Das dokumentiert Clay selbst. Rund ein Jahrhundert Forschung ist als grobe Einordnung plausibel; es gab nicht ein einziges Gründungsdatum für sämtliche heute damit verbundenen Fragen.
Der Streit um Vorarbeiten bleibt offen
Der Beitrag spricht auch über den Vorwurf, OpenAI habe von unveröffentlichten Arbeiten anderer Mathematiker profitiert. Hier muss zwischen nachweisbarer Vorarbeit und einer bislang ungeklärten Nutzung konkreter Daten unterschieden werden. Levent Alpöge und Tristan Buckmaster beschreiben in ihrem eigenen Manuskript die Zusammenarbeit mit KI-Systemen und die Eingabe von Zwischenfassungen. Ihr dort behandeltes Boussinesq-Problem ist mit der Strömungsforschung verwandt, aber nicht mit dem neuen Navier–Stokes-Satz identisch.
OpenAI erklärt seinerseits, diese unveröffentlichten Arbeiten beim Versuch nicht gezielt eingesehen zu haben, räumt aber eine Grenze bei der Frage nach anonymisierten Trainingsdaten ein. Das ist eine Position einer beteiligten Partei. Die zugänglichen Dokumente erlauben uns weder einen Diebstahlsvorwurf noch die Behauptung, sämtliche Prioritätsfragen seien geklärt. Auch Eschers Vermutung im Interview ist dafür kein unabhängiger Nachweis.
Quantenphysik hat längst Folgen im Alltag
Die Einschätzung, dass aus diesem speziellen mathematischen Resultat nicht sofort ein Alltagsprodukt folgt, ist als fachliche Prognose erkennbar. Der anschließend gezogene Vergleich mit angeblich fehlenden direkten Alltagsfolgen der Quantenphysik geht dagegen fehl. Halbleiter in Elektronik, Laser und Magnetresonanztomografie beruhen auf Quantenphysik. Das US-Messinstitut NIST erklärt diese Beispiele ausdrücklich. Der Entwicklungsstand von Quantencomputern ist eine viel engere Frage und sagt nichts gegen diese etablierten Anwendungen.
Eschers Ausblick auf weiterhin kreative Mathematik und veränderte Seminare ist schließlich eine Einschätzung über die Zukunft. Er ist weder ein Beweis für bevorstehende Arbeitslosigkeit noch eine Garantie unveränderter Berufsbilder. Der faire Befund lautet: ein prüfbarer, potenziell großer Fortschritt mit offenen Anerkennungs- und Prioritätsfragen. Die Formulierung „endgültig gelöst“ wäre zum dokumentierten Stand zu weitgehend.