Originalarbeiterreichbar
On the Navier-Stokes Millennium Prize Problem
OpenAIs eigene Veröffentlichung des Beweises samt Lean-Formalisierung und Angabe zum verwendeten internen System.
geprüft 25.09.2026
Ein internes OpenAI-Modell löst das Navier-Stokes-Problem der Millennium-Preise