Clay Mathematics Institute uttaler seg om OpenAIs Navier-Stokes-påstand

OpenAI kunngjorde 8. september at en uutgitt intern KI-modell, ved å ta i bruk omtrent 10 000 autonome agenter over 88 timer, hadde frembrakt et bevis for at de tredimensjonale Navier-Stokes-ligningene kan utvikle en singularitet på endelig tid. Dette er et resultat som, dersom det blir godkjent, vil løse et av de seks gjenstående milleniumsproblemene som ble formulert av Clay Mathematics Institute i 2000. Kunngjøringen har blitt overskygget av en eskalerende konflikt med NYU-matematiker Tristan Buckmaster og Anthropic-forsker Levent Alpöge om forskningskreditering og den mulige rollen til private data.nature+2

Et påstått gjennombrudd i fluiddynamikk

Navier-Stokes-ligningene beskriver hvordan væsker og gasser som vann og luft beveger seg, og spørsmålet om deres løsninger alltid oppfører seg pent eller om de kan «eksplodere» og skape fysisk umulige uendelige hastigheter, har vært åpent i tiår. OpenAI sa at deres bevis viser at en i utgangspunktet jevn væske i ro kan utvikle en slik singularitet under jevn ytre påvirkning, med et resultat som er verifisert ved bruk av Lean, et formelt teorembevisingsspråk. Innsatsen kostet «millioner av dollar» i datakraft, ifølge OpenAI-ledere på en pressekonferanse.axios+3

Scientific American S&P Global Inc. ↘ 0.98% rapporterte at Lean-verifiseringen «nesten garanterer» at beviset er korrekt, selv om det bredere matematiske miljøet ennå ikke har fullført fagfellevurderingen. Clay Mathematics Institute sa 11. september at de «deler begeistringen» etter hvert som resultatet blir «analysert og gransket», men unnlot å erklære problemet som løst.scientificamerican+1

Konflikten om kreditering

Prestasjonen kom midt i anklager fra Buckmaster om at OpenAI fremskyndet arbeidet sitt etter å ha fått kjennskap til relatert forskning han og Alpöge hadde utført, delvis ved hjelp av OpenAIs Codex-verktøy. Buckmaster og Alpöge publiserte sine egne resultater 7. september, som viste endelig-tid-eksplosjon for relaterte, men forenklede fluidligninger. Ifølge rapportering fra TechRepublic hevder Buckmaster at OpenAI tilbød ham eneforfatterskap på sin Navier-Stokes-løsning på betingelse av at Alpöges navn ble fjernet, en påstand som avvises av OpenAI-forsker Sébastien Bubeck.techrepublic+3

OpenAI uttalte at deres forskere og agenter «ikke så noe av deres arbeid på noen måte før de publiserte det offentlig», og at «ingen spesifikke brukerdata ble brukt for å løse dette problemet». Selskapet erkjente imidlertid at det «ikke kan utelukke at avidentifiserte data avledet fra deres bruk av våre produkter bidro til å forbedre modellene våre». Buckmaster kalte Bubecks fremstilling for «vilt usann», og Bubeck ba i ettertid om unnskyldning for en bemerkning han kom med under samtalene deres, ifølge The Next Web.thenextweb+4

Bredere konsekvenser

Konflikten har skapt ringvirkninger i det matematiske miljøet. Et åpent brev undertegnet av ledende matematikere kritiserte KI-selskaper for å haste med å løse kjente problemer uten skikkelig kreditering. Fields-medaljør Deng Yu spøkte på sosiale medier med at hvis KI løser alle matematiske problemer, «går jeg hjem og skriver yuri-romanen min», samtidig som han advarte om at KI har skapt «en atmosfære av rastløshet og utålmodighet i matematiske kretser». Clay Mathematics Institutes offisielle svar roste spesielt potensialet for «ny menneskelig forståelse», men nevnte ingenting om berettigelse til prisen.thenews+1