OpenAI veröffentlichte am 8. September eine mathematische Arbeit und eine Formalisierung in Lean. Nach Unternehmensangaben fand ein internes KI-System ein Beispiel für die Entstehung einer Singularität in Gleichungen für viskose Strömungen.

Das Repository beschreibt glatte Anfangsdaten mit einer glatten äußeren Kraft. Es behauptet nicht, dass jede Strömung zusammenbricht. Das Clay Mathematics Institute führte das Problem bei unserer Prüfung weiterhin als ungelöst; die Redaktion hat den Beweis nicht selbst neu berechnet.

Mögliche Anwendungen sehen wir vor allem in der Mathematik: Ein Argument mit überprüfbarem Code kann Fachleuten helfen, Fehler und weitere Zusammenhänge zu finden. Daraus entstehen allein weder bessere Wetterprognosen noch fertige technische Entwürfe.

Entscheidend sind die Prüfung des Beweises und die Übereinstimmung seiner formalen Voraussetzungen mit der Aufgabenstellung. Verfügbarer Quellcode ist dafür eine wichtige Grundlage, ersetzt aber keine fachliche Prüfung.

Optimistischer redaktioneller Ausblick: Erste ausführliche Analysen könnten innerhalb von Wochen bis Monaten erscheinen. Wann ein fachlicher Konsens oder praktische Anwendungen folgen, lässt sich noch nicht verlässlich abschätzen.