Ingenjörer: OpenAIs Navier-Stokes-bevis ändrar föga för praktisk vätskedynamik

Den 8 september meddelade OpenAI att ett ej utgivet internt AI-system producerat ett bevis för att de tredimensionella Navier-Stokes-ekvationerna kan utveckla en singularitet inom begränsad tid, vilket potentiellt löser ett av de sex kvarvarande Millennium-problemen som ställdes av Clay Mathematics Institute år 2000. Företaget släppte en 166 sidor lång rapport och en formell verifiering i Lean-bevisassistenten, även om resultatet fortfarande väntar på oberoende expertgranskning.OpenAI+3

Vad beviset hävdar

Navier-Stokes-ekvationerna, som beskriver rörelsen hos vätskor som luft och vatten, har använts i nästan två århundraden i allt från flygplansdesign till väderprognoser. Den långvariga matematiska frågan var om glatta lösningar till dessa ekvationer kan bryta samman och producera fysiskt omöjliga oändliga hastigheter.scientificamerican+1

OpenAI säger att deras system konstruerade ett scenario där en vätska som börjar i vila, utsatt för en glatt yttre kraft, bildar en virvel som spiraliserar inåt och utvecklar obegränsad hastighet inom begränsad tid, samtidigt som den behåller ändlig energi. "Vårt bevis visar att det finns vätskor som börjar helt normalt, och under Navier-Stokes-ekvationerna faktiskt uppnår oändlig hastighet inom en begränsad tid," sade OpenAI-datavetaren Ven Chandrasekaran vid en pressbriefing, enligt Nature. Företaget uppgav att de inte har för avsikt att kräva priset på 1 miljon dollar.nature+3

Beräkningsinsatsen involverade cirka 10 000 samtidiga AI-agenter som kördes på en modell som beskrivs som mer kapabel än GPT-6 Astra. Agenterna nådde resultatet efter cirka 88 timmars arbete som påbörjades den 1 september, med ytterligare 17 timmar för Lean-formalisering.thebrighterside+1

En prioritetsstrid

Tillkännagivandet utlöste en strid om matematisk prioritet. NYU-matematikern Tristan Buckmaster och Anthropic-forskaren Levent Alpöge hade gjort framsteg på närbesläktade "blowup"-problem med hjälp av AI-verktyg, inklusive OpenAIs Codex. I ett offentligt uttalande skrev Buckmaster: "Jag har inte sett OpenAIs bevis. Jag vet inte vad deras modell gjorde, eller hur. Jag vet inte om våra data användes. Jag anklagar ingen för något." The New York Times rapporterade att OpenAI sa att det var "kategoriskt" omöjligt att deras system hade påverkats av Buckmasters nyliga arbete.nytimes+2

Praktiska konsekvenser förblir avlägsna

Ingenjörer säger att resultatet, om det bekräftas, ändrar föga på kort sikt. "Kort sagt, inte mycket," sade Justin Beroz, VD för ingenjörsfirman ReynKo, angående effekten på praktiskt arbete med vätskedynamik. NYU-biträdande professorn Florian Schaefer noterade att ekvationerna redan förstås som en approximation, och att det konstruerade singularitetsscenariot är för artificiellt för att påverka praktiska tillämpningar.scientificamerican

Fields-medaljören Terence Tao väckte bredare farhågor om tempot i AI-driven matematisk upptäckt. "Det är lite som att gå och se en film och hoppa rakt från de första tio minuterna till de sista tio minuterna," sa Tao till The Brighter Side of News. "Tekniskt sett är alla intrigtrådar lösta, men det mesta av värdet av upplevelsen gick förlorat." Clay Mathematics Institute fortsätter att lista Navier-Stokes bland sina olösta problem, och bevisets formella acceptans förblir en öppen fråga.popularai+1