Ingeniører: OpenAIs Navier-Stokes-bevis endrer lite for praktisk væskedynamikk

Den 8. september kunngjorde OpenAI at et ikke-utgitt internt KI-system hadde produsert et bevis for at de tredimensjonale Navier-Stokes-ligningene kan utvikle en singularitet i løpet av begrenset tid, noe som potensielt løser ett av de seks gjenværende Millennium-problemene stilt av Clay Mathematics Institute i 2000. Selskapet publiserte en 166 sider lang artikkel og en formell verifisering i Lean-bevisassistenten, selv om resultatet fortsatt venter på uavhengig fagfellevurdering.OpenAI+3

Hva beviset hevder

Navier-Stokes-ligningene, som beskriver bevegelsen til væsker som luft og vann, har blitt brukt i nesten to århundrer i alt fra flydesign til værvarsling. Det langvarige matematiske spørsmålet var om glatte løsninger på disse ligningene kan bryte sammen og produsere fysisk umulige uendelige hastigheter.scientificamerican+1

OpenAI sier at systemet deres konstruerte et scenario der en væske som starter i ro, utsatt for en glatt ytre kraft, danner en virvel som spiraliserer innover og utvikler ubegrenset hastighet i løpet av begrenset tid, samtidig som den beholder endelig energi. "Beviset vårt viser at det finnes væsker som starter helt normalt, og under Navier-Stokes-ligningene faktisk oppnår uendelig hastighet i løpet av begrenset tid," sa OpenAI-informatiker Ven Chandrasekaran i en pressebriefing, ifølge Nature. Selskapet uttalte at de ikke har til hensikt å kreve premien på 1 million dollar.nature+3

Den beregningsmessige innsatsen involverte omtrent 10 000 samtidige KI-agenter som kjørte på en modell beskrevet som mer kapabel enn GPT-6 Astra. Agentene nådde resultatet etter omtrent 88 timers arbeid som startet 1. september, med ytterligere 17 timer for Lean-formalisering.thebrighterside+1

En prioritetsstrid

Kunngjøringen utløste en strid om matematisk prioritet. NYU-matematiker Tristan Buckmaster og Anthropic-forsker Levent Alpöge hadde gjort fremskritt på nært beslektede "blowup"-problemer ved hjelp av KI-verktøy, inkludert OpenAIs Codex. I en offentlig uttalelse skrev Buckmaster: "Jeg har ikke sett OpenAIs bevis. Jeg vet ikke hva modellen deres gjorde, eller hvordan. Jeg vet ikke om dataene våre ble brukt. Jeg anklager ingen for noe." The New York Times rapporterte at OpenAI sa det var "kategorisk" umulig at systemet deres hadde blitt påvirket av Buckmasters nylige arbeid.nytimes+2

Praktiske konsekvenser forblir fjerne

Ingeniører sier at resultatet, hvis det bekreftes, endrer lite på kort sikt. "Kort sagt, ikke mye," sa Justin Beroz, administrerende direktør i ingeniørfirmaet ReynKo, om effekten på praktisk væskedynamikk. Førsteamanuensis ved NYU, Florian Schaefer, bemerket at ligningene allerede forstås som en tilnærming, og at det konstruerte singularitetsscenarioet er for kunstig til å påvirke praktiske anvendelser.scientificamerican

Fields-medaljevinner Terence Tao reiste bredere bekymringer om tempoet i KI-drevet matematisk oppdagelse. "Det er litt som å gå for å se en film og hoppe rett fra de første ti minuttene til de siste ti minuttene," sa Tao til The Brighter Side of News. "Teknisk sett er alle plotlinjene løst, men mesteparten av verdien av opplevelsen gikk tapt." Clay Mathematics Institute fortsetter å oppføre Navier-Stokes blant sine uløste problemer, og bevisets formelle aksept forblir et åpent spørsmål.popularai+1