OpenAI beweist, dass die Navier-Stokes-Gleichungen eine Singularität in endlicher Zeit aufweisen

Am 8. September gab OpenAI bekannt, dass sein internes Multi-Agenten-System erfolgreich bewiesen hat, dass die dreidimensionalen inkompressiblen Navier-Stokes-Gleichungen in endlicher Zeit Singularitäten bilden können, und damit das Problem dieses Jahrhunderts gelöst hat. Der Beweis wurde von einem Modell innerhalb von OpenAI erbracht, das leistungsfähiger als GPT-6 Astra ist, und erzielte am 5. September vorläufige Ergebnisse, gefolgt von 17 Stunden Lean-Formalverifikation. OpenAI erklärte, dass der Beweis zeigt, dass unter dem Einfluss glatter äußerer Kräfte eine ruhende Flüssigkeit zu sich nach innen windenden und streckenden Wirbelstrukturen evolvieren kann, wobei die Energie endlich bleibt, aber die Geschwindigkeit unbegrenzt wächst, was den Fällen "C" und "D" in den Millennium-Problemen entspricht. Der gesamte Lösungsprozess umfasste etwa 10.000 gleichzeitige Agenten, sendete ungefähr 2,7 Millionen Nachrichten und verbrauchte etwa 130 Milliarden Ausgabe-Token. OpenAI räumte ein, dass dieser Versuch durch Gerüchte über parallele Arbeiten des Anthropic-Mitarbeiters Levent Alpöge und des NYU-Professors Tristan Buckmaster inspiriert wurde, und stellte fest, dass die beiden Parteien zu unterschiedlichen Ergebnissen bezüglich des Regularitätsproblems der Euler-Gleichungen kamen, wobei OpenAI den Fall ohne äußere Kräfte bewies, während die andere Partei den Fall mit äußeren Kräften bewies.