Zum Inhalt springen

Blog

OpenAI

News, Modell-Releases und Praxis-Guides rund um OpenAI: GPT, Sora und die OpenAI-API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai11 Min. Lesezeit

OpenAIs Navier–Stokes-Beweisbehauptung, erklärt

OpenAI sagt, KI-Agenten hätten eine Navier–Stokes-Singularität gefunden und den Beweis in Lean formalisiert. Die schwierigere Geschichte ist, was danach kommt: Prüfung, Anerkennung und die Macht privater Agentenschwärme in der Mathematik.

Neue Beiträge direkt in dein Postfach

AI-News, Guides und Produktupdates — eine kurze E-Mail, wenn wir etwas veröffentlichen, das deine Zeit wert ist.