OpenAI zufolge zeigt ein internes System, dass die dreidimensionalen Navier-Stokes-Gleichungen in endlicher Zeit eine Singularität entwickeln können. Der Beweis wurde formalisiert und im Beweisassistenten Lean geprüft, muss sich aber noch einer unabhängigen mathematischen Prüfung stellen.
