Navier-Stokes-Gleichungen

Clay Math Institute äußert sich zu OpenAIs Navier-Stokes-Behauptung

OpenAI gab am 8. September bekannt, dass ein unveröffentlichtes internes KI-Modell mit rund 10.000 autonomen Agenten innerhalb von 88 Stunden einen Beweis erbracht habe, dass die dreidimensionalen Navier-Stokes-Gleichungen in endlicher Zeit eine Singularität entwickeln können. Dieses Ergebnis würde, falls es…

Terence Tao nennt KI-gestützte Strömungsmechanik-Beweise «eine bemerkenswerte Leistung»

Der NYU-Mathematiker Tristan Buckmaster und der Anthropic-Forscher Levent Alpöge haben am Sonntag KI-gestützte und Lean-verifizierte Beweise veröffentlicht. Diese zeigen, dass mehrere Strömungsgleichungen unter glatter äußerer Anregung sogenannte Finite-Time-Blow-ups entwickeln können, also Punkte, an denen physikalische Größen gegen Unendlich streben. Fields-Medaillenträger…