[{"data":1,"prerenderedAt":29},["ShallowReactive",2],{"nr-de-openai-navier-stokes-proof-experts-dispute":3},{"slug":4,"title":5,"dek":6,"date":7,"time":8,"publishedAt":9,"updated":10,"updatedAt":10,"dateFmt":11,"updatedFmt":10,"kind":12,"tier":13,"author":14,"authorName":15,"topics":16,"tracker":21,"trackerLabel":22,"headlineStat":23,"image":24,"ogImage":25,"imageAlt":5,"csv":10,"minutes":26,"words":27,"html":28},"openai-navier-stokes-proof-experts-dispute","OpenAI legt 166-seitigen Navier-Stokes-Beweis vor – Experten widersprechen","OpenAI präsentierte Anfang September eine mögliche Lösung des Navier-Stokes-Problems. Mehrere Mathematiker bezweifeln, dass der Ansatz den Arbeiten spanischer Forscher folgt, und das Unternehmen selbst scheint den eigenen Beweis nicht vollständig zu verstehen.","2026-10-17","12:56","2026-10-17T12:56:00+02:00","","17. Oktober 2026","news","standard","ideal-syka","Ideal Syka",[17,18,19,20],"Mathematik","OpenAI","Forschung","Reasoning-Modelle","\u002Fstand-der-ki","Stand der KI-Front","166 Seiten","\u002Fnewsroom\u002Fimg\u002Fopenai-navier-stokes-proof-experts-dispute.webp","\u002Fog-nr\u002Fopenai-navier-stokes-proof-experts-dispute.de.png",2,365,"\u003Cp>OpenAI hat Anfang September eine 166 Seiten lange mögliche Lösung des Navier-Stokes-Problems vorgestellt. Laut The Decoder, das sich auf Scientific American beruft, behauptete das Unternehmen, der Beweis folge dem Ansatz der spanischen Mathematiker Diego Córdoba und Luis Martínez-Zoroa. Mehrere Expertengruppen kommen nun zu einem anderen Schluss.\u003C\u002Fp>\n\u003Ch2>Streit um die Herkunft des Ansatzes\u003C\u002Fh2>\n\u003Cp>Mathematiker Gonzalo Cao-Labora von der EPFL sagt, bei genauer Betrachtung handle es sich um einen anderen Ansatz; die Ähnlichkeiten seien nur oberflächlich. Der Beweis ist in der Verifikationssprache Lean kodiert, die die formale Gültigkeit der logischen Schritte prüft, ihn aber nicht automatisch für Menschen verständlich macht. Er liegt seit seiner Vorstellung beim Clay Mathematics Institute (CMI) zur Prüfung.\u003C\u002Fp>\n\u003Cp>Zudem erhebt der Mathematiker Tristan Buckmaster von der New York University den Vorwurf, OpenAI habe auf Fortschritten aufgebaut, die er und Levent Alpöge von Anthropic mit öffentlich zugänglichen Modellen erarbeitet hatten. OpenAI widerspricht und schließt aus, Buckmasters Daten verwendet zu haben. Camillo De Lellis vom Institute for Advanced Study hält eine endgültige Klärung wohl für unmöglich, da Sprachmodelle als Blackbox funktionieren.\u003C\u002Fp>\n\u003Ch2>Veröffentlichung weiterer Ergebnisse\u003C\u002Fh2>\n\u003Cp>Anfang Oktober veröffentlichte OpenAI rund 400 weitere Ergebnisse, die die Fachwelt kaum überblicken kann. Die Publikation als lose Paper-Sammlung auf GitHub verärgerte viele Mathematiker, weil sie darin eine Herabwürdigung ihres Fachs sahen.\u003C\u002Fp>\n\u003Ch2>Unklarer Beitrag des Agentenschwarms\u003C\u002Fh2>\n\u003Cp>OpenAI setzte nach Angaben der Quelle rund 10.000 Modellinstanzen für etwa 88 Stunden Rechenzeit und 130 Milliarden Tokens ein. Laut dem OpenAI-Forscher Noam Brown ist unklar, was dieser Agentenschwarm tatsächlich zur Lösung beigetragen hat. Systematische Vergleichstests mit tausenden Agenten seien zu teuer, weshalb das Verhalten in dieser Größenordnung kaum erforscht sei. Brown schreibt dem Multi-Agenten-Ansatz weniger als zehn Prozent des Erfolgs zu und betont, entscheidend sei das zugrundeliegende Basismodell.\u003C\u002Fp>\n\u003Ch2>Einordnung\u003C\u002Fh2>\n\u003Cp>Solange das CMI die Lösung nicht bewertet hat und sich die Fachwelt über die Eigenständigkeit des Ansatzes uneinig ist, sollte man die Behauptung eines Durchbruchs als offen betrachten. Für Unternehmen und Forschungsteams, die KI-generierte Ergebnisse übernehmen wollen, ist der Fall ein Hinweis darauf, dass Herkunft, Prüfbarkeit und die tatsächliche Rolle einzelner Systemkomponenten sorgfältig geklärt werden sollten.\u003C\u002Fp>\n\u003Ch2>Quellen\u003C\u002Fh2>\n\u003Cul>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fthe-decoder.de\u002Fopenai-legt-loesung-fuer-beruehmtes-mathe-problem-vor-versteht-aber-den-eigenen-beweis-nicht\u002F\">The Decoder (DE)\u003C\u002Fa>\u003C\u002Fli>\n\u003Cli>\u003Ca href=\"https:\u002F\u002Fthe-decoder.com\u002Fmathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof\u002F\">The Decoder\u003C\u002Fa>\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>\u003Cem>Redaktionell verantwortet von \u003Ca href=\"\u002Fautor\u002Fideal-syka\">Ideal Syka\u003C\u002Fa>. Quellen und Arbeitsweise: \u003Ca href=\"\u002Fredaktion\">Redaktion & Methode\u003C\u002Fa>. Hinweise und Korrekturen: \u003Ca href=\"mailto:ai@i6eal.de\">ai@i6eal.de\u003C\u002Fa>.\u003C\u002Fem>\u003C\u002Fp>\n",1792241880076]