OpenAI will Millennium-Problem gelöst haben: Wie verändert KI die Mathematik?

11. September 2026 · 6 Min.

OpenAI behauptet, mithilfe tausender KI‑Agenten das Navier‑Stokes‑Millennium‑Problem gelöst zu haben und löst damit eine Debatte über Beweisstandards und den Umgang mit KI in der Mathematik aus.

Die Folge berichtet, dass die US‑Firma OpenAI angekündigt hat, das Navier‑Stokes‑Problem mithilfe vieler KI‑Agenten in kurzer Zeit gelöst zu haben. Es wird erklärt, welche Bedeutung die Navier‑Stokes‑Gleichungen für Strömungsphänomene haben und warum ein formaler Beweis kontrovers ist. Unterschiedliche Herangehensweisen — schrittweise mathematische Arbeit versus massiver Rechenaufwand — und Reaktionen aus der Fachgemeinschaft werden dargestellt. Außerdem werden Initiativen zur formalen Verifikation von KI‑Beweisen und Forderungen nach Qualitätsstandards thematisiert.

Rubriken

Künstliche Intelligenz

Organisationen

OpenAI

Themen & Erkenntnisse

OpenAI‑Behauptung: Lösung des Navier‑Stokes‑Problems · ab 00:12

Worum es bei den Navier‑Stokes‑Gleichungen geht · ab 00:55

Unterschiedliche Forschungsansätze und Vorarbeiten · ab 01:47

Formale Verifikation, Paloma und Debatte um Standards · ab 02:56

Wer spricht

Christoph DrösserHOST

Moderator und Redakteur bei Deutschlandfunk, berichtet über die Verleihung der Fields-Medaillen 2026 live von der Veranstaltung in Philadelphia für die Wissenschaftssendung Forschung aktuell.

Alle Auftritte von Christoph Drösser →

Ganze Folge hören

KIDieser Inhalt wurde KI-gestützt erstellt und redaktionell geprüft.