Bylting í Navier-Stokes með aðstoð gervigreindar kveikir deilur milli OpenAI og vísindamanna tengdum Anthropic

Deila um eitt frægasta óleysta vandamál stærðfræðinnar braust út á þriðjudag eftir að stærðfræðingurinn Tristan Buckmaster við NYU birti yfirlýsingu þar sem hann sakaði OpenAI um að flýta sér að eigna sér vinnu sem byggði á eigin rannsóknum hans, og um að hafa þrýst á hann um að útiloka samstarfsmann sinn frá höfundaskrá vegna tengsla við keppinaut í gervigreindargeiranum.

Stærðfræðin

Buckmaster og Levent Alpöge, stærðfræðingur hjá Anthropic, vörðu um ári í að nota gervigreindartól til að útvíkka rannsóknaráætlun sem Diego Córdoba og Luis Martínez-Zoroa hófu. Vinna þeirra, sem var birt seint á mánudag ásamt formlegri staðfestingu í Lean-sönnunaraðstoðarmanninum, sýndi fram á að nokkrar vökvajöfnur sem tengjast Navier-Stokes náið, þar á meðal 3D óþjappanlegar Euler-jöfnur, geta myndað sérstöður á endanlegum tíma undir sléttri þvingun. Fields-verðlaunahafinn Terence Tao kallaði niðurstöðurnar "merkilegt afrek" og sagðist ekki sjá "neina grundvallarhindrun" í því að útvíkka aðferðirnar yfir í fullar Navier-Stokes-jöfnur.newscientist+2

Navier-Stokes-jöfnurnar, sem lýsa hreyfingu vökva, eru eitt af sjö Millennium-vandamálunum sem Clay Mathematics Institute hefur skilgreint, en hvert þeirra ber 1 milljón dollara verðlaun. Stærðfræðingar hafa glímt við það í tvær aldir að ákvarða hvort lausnir jafnanna haldist alltaf sléttar eða hvort þær geti sprungið út í sérstöður.scientificamerican

Deilan

Samkvæmt opinberri yfirlýsingu Buckmasters bárust sögusagnir um framfarir hans og Alpöges til OpenAI um 3. september. Nokkrum dögum síðar sagði vísindamaðurinn Sébastien Bubeck hjá OpenAI honum að innra líkan hefði framleitt um 100 blaðsíðna sönnun sem útvíkkaði niðurstöðuna yfir í fullar þvingaðar Navier-Stokes-jöfnur. Buckmaster heldur því fram að viðleitni fyrirtækisins hafi aðeins hafist eftir að það frétti af vinnu hans, og að hún hafi fylgt sömu þröngu tæknilegu nálguninni, sem beindist að "þvingunarliðnum" í formlegri yfirlýsingu Clay-vandamálsins, sem hann og Alpöge höfðu verið að vinna að í kyrrþey.officechai+1

Buckmaster segir að Bubeck hafi tvisvar þrýst á um að útiloka Alpöge frá höfundaskrá og vísað til starfs hans hjá Anthropic sem flækju. Þegar Buckmaster sagðist ætla að fara með málið í fjölmiðla, heldur hann því fram að Bubeck hafi svarað: "Af hverju myndirðu eyðileggja ferilinn þinn?" Hann segist einnig hafa spurt hvort líkan OpenAI hafi verið þjálfað á einkagögnum hans úr Codex-lotum, sem innihéldu drög að sönnunum. Hann segist ekki hafa fengið skýrt svar.scientificamerican+1

Bubeck svaraði á X, kallaði ásakanirnar "rangar og æsandi" og sagðist hafa starfað "í samræmi við akademískar venjur." Hann lofaði ítarlegri yfirlýsingu.officechai

Hvað er óleyst

Sönnun OpenAI á Navier-Stokes hefur ekki verið gerð opinber eða staðfest af utanaðkomandi stærðfræðingum. Jafnvel staðfestar niðurstöður Buckmaster-Alpöge fjalla um þvingaðar útgáfur af tengdum jöfnum, ekki óþvingaða Navier-Stokes-vandamálið eins og flestir sérfræðingar túlka Millennium-verðlaunin. David Silvester við háskólann í Manchester benti á að núverandi vinna gæti engu að síður dugað til að krefjast verðlaunanna, á meðan Camilla Nobili við háskólann í Surrey varaði við því að útvíkkun yfir í fullar Navier-Stokes-jöfnur krefjist meira en bara þess að endurtaka sömu tækni.glitchwire+3

"Ekkert mun breytast í þeim forritum þar sem Navier-Stokes er notað vegna þessarar niðurstöðu," sagði Silvester. "Þetta er í raun bara stærðfræðilegt smáatriði." Stærri spurningin, hvort keppandi gervigreindarstofur muni brengla viðmið stærðfræðilegra uppgötvana, gæti reynst erfiðari viðureignar en jöfnurnar sjálfar.newscientist