Matematikai: „OpenAI“ dirbtinio intelekto sukurtas įrodymas yra sunkiai suprantamas

„OpenAI“ pirmadienį, rugsėjo 21 d., paskelbė bendradarbiaujanti su nepriklausoma matematikos ir dirbtinio intelekto patariamąja grupe, įsikūrusia Prinstono Pažangiųjų studijų institute. Tai įvyko po kelias savaites trukusios kritikos dėl ginčytino ir sunkiai įskaitomo DI sugeneruoto Navjė ir Stokso tūkstantmečio problemos įrodymo.openai+1 ## Įrodymas, kurio niekas negali perskaityti Šio mėnesio pradžioje „OpenAI“ atskleidė, kad 10 000 DI agentų, dirbusių 88 valandas, pateikė 166 puslapių įrodymą, jog Navjė ir Stokso lygtimis aprašomi skysčiai gali suformuoti singuliarumą per baigtinį laiką. Jei šis rezultatas būtų patvirtintas, tai išspręstų vieną iš šešių likusių Molio matematikos instituto tūkstantmečio problemų. Matematikai iš esmės pripažįsta įrodymą techniškai teisingu, iš dalies todėl, kad jis buvo patikrintas „Lean“ programavimo kalba. Tačiau žmogui suprasti šį rezultatą vis dar sunku.openai+2 „Kol kas labai sunku iš šio naujo DI įrodymo išgauti kokį nors žmogišką supratimą“, – NPR sakė Oksfordo universiteto matematikas Jamesas Maynardas. „Šis darbas nėra skirtas žmonėms“, – antrino Brauno universiteto matematikas Javieras Gómez-Serrano, pridūręs, kad po „rimto perrašymo“ įrodymas galėtų padėti matematikos sričiai, tačiau „šiandien šis darbas mus mažai ko išmoko“.nprillinois Pranešimas taip pat sukėlė ginčą dėl autorystės. NYU matematikas Tristanas Buckmasteris apkaltino „OpenAI“, kad ši pasinaudojo jo neskelbtais tyrimais be tinkamo paminėjimo, teigdamas, jog bendrovė siūlė įtraukti jį į autorių sąrašą tik tuo atveju, jei jis atsisakytų bendradarbiavimo su „Anthropic“ dirbančiu kolega Leventu Alpöge. „OpenAI“ neigė naudojusi Buckmasterio darbą, tačiau pripažino, kad „negali atmesti galimybės, jog nuasmeninti duomenys, gauti naudojant mūsų produktus, padėjo patobulinti mūsų modelius“.futurism+2 ## Elitinė patariamoji grupė Naujojoje devynių narių grupėje yra keletas „Fields“ medalio laureatų ir mokslininkų iš Stanfordo, Harvardo, Oksfordo, Kembridžo bei kitų prestižinių institucijų. Nariai negaus atlygio iš „OpenAI“, galės viešai komentuoti bendrovės įtaką matematikai, teikti neprašytus patarimus ir patys kontroliuoti savo narystę.theverge+2 „Vertė priklauso nuo to, ar nariai gali naudotis savo nuožiūra ir mesti iššūkį mūsų sprendimams“, – rašoma „OpenAI“ tinklaraštyje. Vis dėlto bendrovė aiškiai nurodė, kad grupė „nebus atsakinga už patarimus, kaip reguliuoti mūsų vidinę matematikos pažangą“.techcrunch+1 Kai kurie matematikai suabejojo, ar ši komisija tikrai gali atstovauti platesnei bendruomenei. „Tai atrodo kaip dramblio kaulo bokštas“, – sakė Heriot-Watt universiteto profesorius Francesco Fournier-Facio. ETH Ciuricho tyrėjas Simonas Machado pavadino grupės formavimą „gaubiamą paslapties“ ir suabejojo narių atrankos procesu.theverge ## Kas toliau Artimiausias grupės iššūkis gali būti pats didžiausias. Kartu su pranešimu apie patariamąją grupę, „OpenAI“ atskleidė, kad tas pats neišleistas modelis „išsprendė daugiau nei 100 ilgą laiką egzistavusių atvirų problemų daugumoje matematikos sričių“. Grupė teigė, kad šių rezultatų viešinimo koordinavimas yra jos prioritetas.indiatoday+2 Martino Hairerio, grupės nario ir „Fields“ medalio laureato, teigimu, grupė buvo suformuota, nes DI bendrovės „pateikia daug dėmesio sulaukiančių matematinių rezultatų“, kurių „publikavimas ir sklaida toli gražu neatitinka priimtinos matematinės praktikos“. Tačiau jis įspėjo, kad nariai „būtų labai naivūs, jei tikėtų, kad DI laboratorijos nebandys pateikti mūsų žodžių taip, kaip joms naudinga viešųjų ryšių tikslais“.theverge