Navier-Stokes-Gleichungen

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…

Du bist auf dem Laufenden

Du hast alle wichtigen Meldungen der letzten 2 Tage gesehen.