Nachschlagen·Quellenregister

Originalarbeiterreichbar

On the Navier-Stokes Millennium Prize Problem

openai.com (externe Seite)

OpenAIs eigene Veröffentlichung des Beweises samt Lean-Formalisierung und Angabe zum verwendeten internen System.

geprüft 10.11.2026

Ein internes OpenAI-Modell löst das Navier-Stokes-Problem der Millennium-Preise

Alle Quellen