Navier-Stokes ekvationer

Clay Math Institute uttalar sig om OpenAIs Navier-Stokes-påstående

OpenAI meddelade den 8 september att en ännu ej släppt intern AI-modell, med hjälp av cirka 10 000 autonoma agenter under 88 timmar, hade tagit fram ett bevis för att de tredimensionella Navier-Stokes-ekvationerna kan utveckla en singularitet på ändlig tid.…

Terence Tao hyllar AI-assisterade bevis i strömningsmekanik: «En enastående prestation»

Matematikern Tristan Buckmaster vid NYU och Anthropic-forskaren Levent Alpöge publicerade i söndags AI-assisterade och Lean-verifierade bevis som visar att flera vätskeekvationer kan utveckla «blow-ups» i ändlig tid, punkter där fysikaliska storheter går mot oändligheten, under slät yttre påverkan. Fields-medaljören Terence…