Clay-stærðfræðistofnunin tjáir sig um Navier-Stokes-fullyrðingu OpenAI

OpenAI tilkynnti þann 8. september að óútgefið innra gervigreindarlíkan, sem notaði um 10.000 sjálfstæða gervigreindarfulltrúa í 88 klukkustundir, hefði fært sönnur á að þrívíðar Navier-Stokes-jöfnur geti þróað með sér sérstöðu á afmörkuðum tíma. Niðurstaðan myndi, ef hún fæst staðfest, leysa eitt af þeim sex árþúsundavandamálum sem eftir standa og Clay-stærðfræðistofnunin setti fram árið 2000. Skugga á tilkynninguna hefur hins vegar kastað vaxandi deila við stærðfræðinginn Tristan Buckmaster hjá NYU og Levent Alpöge, rannsakanda hjá Anthropic, um eignarrétt á rannsókninni og mögulega notkun einkagagna.nature+2

Meint árangursskref í straumfræði

Navier-Stokes-jöfnurnar lýsa því hvernig vökvar og lofttegundir hreyfast. Sú spurning hefur verið ósvarað í áratugi hvort lausnir þeirra haldist alltaf stöðugar eða geti sprungið upp og framkallað eðlisfræðilega ómögulegan óendanlegan hraða. OpenAI sagði sönnun sína sýna fram á að upphaflega sléttur vökvi í hvíld geti þróað með sér slíka sérstöðu undir sléttu ytra afli, og voru niðurstöðurnar staðfestar með Lean, formlegu málforriti til sönnunar á stærðfræðisetningum. Tilraunin kostaði milljónir bandaríkjadala í reiknigetu, að sögn stjórnenda OpenAI í samtali við fjölmiðla.axios+3

Scientific American S&P Global Inc. ↘ 0.98% greindi frá því að staðfestingin í Lean tryggi nærri því réttmæti sönnunarinnar, þó að víðtækara samfélag stærðfræðinga eigi enn eftir að ljúka jafningjarýni. Clay-stærðfræðistofnunin sagði þann 11. september að hún deili fögnuðinum á meðan niðurstaðan er greind og yfirheyrð, en lýsti því ekki yfir að dæmið væri leyst.scientificamerican+1

Deilan um framlag og eignarrétt

Árangurinn náðist harðri gagnrýni Buckmasters samfara, en hann heldur því fram að OpenAI hafi flýtt vinnu sinni eftir að hafa frétt af tengdum rannsóknum sem hann og Alpöge höfðu stundað, að hluta til með Codex-tóli OpenAI. Buckmaster og Alpöge birtu eigin niðurstöður þann 7. september, sem sýndu fram á sprengingu á afmörkuðum tíma fyrir tengdar en einfaldaðar vökvajöfnur. Samkvæmt frétt TechRepublic heldur Buckmaster því fram að OpenAI hafi boðið honum einum höfundarrétt að Navier-Stokes-lausninni með því skilyrði að nafn Alpöge yrði fjarlægt. Þessari fullyrðingu hefur Sébastien Bubeck, rannsakandi hjá OpenAI, neitað.techrepublic+3

OpenAI lýsti því yfir að rannsakendur og gervigreindarfulltrúar þess höfðu á engan hátt séð vinnu þeirra fyrr en hún var birt opinberlega og að engin sértæk notendagögn voru notuð til að leysa þetta verkefni. Fyrirtækið viðurkenndi hins vegar að það getur ekki útilokað að persónugreinanleg gögn sem fengin voru úr notkun þeirra á vörum okkar hafi hjálpað til við að bæta líkön okkar. Buckmaster kallaði frásögn Bubecks opinberlega stórfellegar rangfærslur, og í kjölfarið baðst Bubeck afsökunar á ummælum sem hann lét falla í samskiptum þeirra, samkvæmt The Next Web.thenextweb+4

Víðtækari áhrif

Deilan hefur haft mikil áhrif innan stærðfræðisamfélagsins. Opið bréf sem forystumenn í stærðfræði skrifuðu undir gagnrýndi gervigreindarfyrirtæki fyrir að flýta sér um of við að leysa fræg verkefni án viðeigandi tilvísana. Deng Yu, handhafi Fields-orðunnar, grínaðist á samfélagsmiðlum með að ef gervigreind leysir öll stærðfræðidæmi muni hann fara heim og skrifa yuri-skáldsögu, en varaði um leið við því að gervigreind hafi skapað andrúmsloft óróleika og óþolandi flýtis í stærðfræðigeiranum. Í opinberu svari Clay-stærðfræðistofnunarinnar var möguleikinn á nýjum skilningi mannkyns sérstaklega mærður, en ekkert var minnst á hvort lausnin uppfyllti skilyrði fyrir verðlaununum.thenews+1