Stærðfræðingar segja sönnun gervigreindar vera óskiljanlega

OpenAI tilkynnti á mánudaginn 21. september að fyrirtækið væri í samstarfi við óháðan ráðgjafahóp um stærðfræði og gervigreind, hýstan af Institute for Advanced Study í Princeton, eftir vikulangt fjaðrafok vegna umdeildrar og að mestu ólæsilegrar sönnunar gervigreindar á Navier-Stokes Millennium-þrautinni.openai+1

Sönnun sem enginn getur lesið

Fyrr í þessum mánuði opinberaði OpenAI að 10.000 gervigreindarfulltrúar hefðu unnið í 88 klukkustundir að því að framleiða 166 blaðsíðna sönnun sem sýnir að vökvar sem lýst er með Navier-Stokes jöfnunum geta þróað með sér sérstöðu á endanlegum tíma. Niðurstaða sem, ef hún verður staðfest, myndi leysa eina af sex eftirstandandi Millennium-þrautum Clay Mathematics Institute. Stærðfræðingar viðurkenna sönnunina sem tæknilega rétta, að hluta til vegna þess að henni fylgdi formleg staðfesting í Lean forritunarmálinu. En mannlegur skilningur á niðurstöðunni er enn óljós.openai+2

"Hingað til hefur verið mjög erfitt að draga raunverulegan mannlegan skilning út úr þessari nýju sönnun gervigreindarinnar," sagði James Maynard, stærðfræðingur við Oxford-háskóla, við NPR. "Ritgerðin er ekki skrifuð fyrir mannfólk," tók undir Javier Gómez-Serrano, stærðfræðingur við Brown-háskóla, sem sagði að sönnunin gæti hjálpað faginu eftir "nokkra alvarlega endurskrifun" en "eins og staðan er í dag kennir ritgerðin okkur ekki mikið".nprillinois

Tilkynningin vakti einnig deilur um höfundarrétt. Tristan Buckmaster, stærðfræðingur við NYU, sakaði OpenAI um að byggja á óbirtum rannsóknum sínum án þess að geta heimilda. Hann hélt því fram að fyrirtækið hefði boðist til að skrá hann sem höfund aðeins ef hann myndi sleppa samstarfsmanni sínum, Levent Alpöge, sem vinnur hjá Anthropic. OpenAI neitaði að hafa notað verk Buckmasters en viðurkenndi að það "getur ekki útilokað að afpersónugreind gögn sem dregin eru af notkun þeirra á vörum okkar hafi hjálpað til við að bæta líkönin okkar".futurism+2

Úrvalsráðgjafanefnd

Í nýja níu manna hópnum eru margir Fields-verðlaunahafar og fræðimenn frá Stanford, Harvard, Oxford, Cambridge og öðrum helstu stofnunum. Meðlimir munu ekki fá greitt frá OpenAI og geta tjáð sig opinberlega um áhrif fyrirtækisins á stærðfræði, boðið fram óumbeðin ráð og stjórnað eigin aðild.theverge+2

"Gildi hennar veltur á því að meðlimir geti beitt eigin dómgreind og skorað á okkar," sagði OpenAI í bloggfærslu. Fyrirtækið tók þó skýrt fram að hópurinn "mun ekki bera ábyrgð á því að ráðleggja okkur um hvernig við hraðum innri framförum okkar í stærðfræði".techcrunch+1

Sumir stærðfræðingar efast um hvort nefndin geti sannarlega verið fulltrúi samfélagsins í heild. "Þetta virkar eins og fílabeinsturn," sagði Francesco Fournier-Facio, nýr prófessor við Heriot-Watt háskólann. Simon Machado, rannsakandi við ETH Zurich, kallaði myndun nefndarinnar "hjúpaða leyndardómi" og efaðist um hvernig meðlimir voru valdir.theverge

Hvað gerist næst?

Brýnasta verkefni hópsins gæti verið það stærsta. Samhliða tilkynningunni um ráðgjafanefndina upplýsti OpenAI að sama óbirta líkanið hafi "leyst meira en 100 langvarandi opin vandamál á flestum sviðum stærðfræðinnar". Nefndin sagði að samhæfing á birtingu þeirra niðurstaðna væri forgangsverkefni hennar.indiatoday+2

Martin Hairer, nefndarmaður og Fields-verðlaunahafi, skrifaði í bloggfærslu að hópurinn hefði verið myndaður vegna þess að gervigreindarfyrirtæki hefðu verið að "framleiða nokkrar áberandi stærðfræðilegar niðurstöður" þar sem "birting og miðlun hefur verið langt undir viðunandi stærðfræðilegum vinnubrögðum". Hann varaði þó við því að meðlimir "væru mjög barnalegir að trúa því að gervigreindarstofurnar muni ekki reyna að snúa því sem við segjum á þann hátt sem hentar almannatengslavél þeirra".theverge