„Clay“ matematikos institutas vertina „OpenAI“ pareiškimą dėl Navjė-Stokso lygčių

Rugsėjo 8 d. „OpenAI“ pranešė, kad neišleistas vidinis DI modelis, pasitelkęs apie 10 000 autonominių agentų ir dirbęs 88 valandas, pateikė įrodymą, jog trimatės Navjė-Stokso lygtys per baigtinį laiką gali sukurti singuliarumą. Šis rezultatas, jei bus patvirtintas, išspręstų vieną iš šešių likusių Tūkstantmečio premijos uždavinių, kuriuos 2000 metais iškėlė „Clay“ matematikos institutas. Tačiau šį pranešimą užtemdė aštrėjantis ginčas su Niujorko universiteto matematiku Tristanu Buckmasteriu ir bendrovės „Anthropic“ tyrėju Leventu Alpöge dėl autorystės teisių ir galimo privačių duomenų panaudojimo.nature+2

Skelbiamas proveržis skysčių dinamikoje

Navjė-Stokso lygtys aprašo, kaip juda skysčiai ir dujos, pavyzdžiui, vanduo bei oras, o klausimas, ar jų sprendiniai visada išlieka tolygūs, ar gali „sprogti“, sukurdami fiziškai neįmanomus begalinius greičius, išlieka atviras jau dešimtmečius. „OpenAI“ teigia, kad jos įrodymas atskleidžia, jog iš pradžių tolygus rimties būsenos skystis, veikiamas tolygios išorinės jėgos, gali sukurti tokį singuliarumą, o pats rezultatas buvo patikrintas naudojant formaliojo teoremų įrodinėjimo kalbą „Lean“. „OpenAI“ vadovų teigimu per spaudos konferenciją, šios pastangos skaičiavimo resursams pareikalavo „milijonų dolerių“.axios+3

„Scientific American S&P Global Inc.“ ↘ 0.98% pranešė, kad patikrinimas su „Lean“ „beveik garantuoja“ įrodymo teisingumą, nors platesnė matematikų bendruomenė dar turi užbaigti nepriklausomą vertinimą. „Clay“ matematikos institutas rugsėjo 11 d. pareiškė, kad džiaugiasi šiuo rezultatu, kol jis yra „analizuojamas ir tikrinamas“, tačiau oficialiai nepripažino, jog problema išspręsta.scientificamerican+1

Ginčas dėl autorystės

Šis pasiekimas buvo paskelbtas kilus T. Buckmasterio kaltinimams, kad „OpenAI“ paspartino savo darbus sužinojusi apie susijusius tyrimus, kuriuos jis ir L. Alpöge vykdė iš dalies naudodami „OpenAI“ įrankį „Codex“. T. Buckmasteris ir L. Alpöge savo rezultatus, rodančius baigtinio laiko sprogimą susijusiose, bet supaprastintose skysčių dėsnių lygtyse, paskelbė rugsėjo 7 d. Kaip praneša „TechRepublic“, T. Buckmasteris teigia, jog „OpenAI“ siūlė jam vienintelio autoriaus teises į Navjė-Stokso lygčių sprendimą su sąlyga, kad L. Alpöge pavardė bus pašalinta, tačiau „OpenAI“ tyrėjas Sébastienas Bubeckas šį kaltinimą neigia.techrepublic+3

„OpenAI“ pareiškė, kad jos tyrėjai ir agentai „jokiomis priemonėmis nematė jų darbo, kol jis nebuvo viešai paskelbtas“, ir kad „sprendžiant šią problemą nebuvo naudojamasi jokiais konkrečiais vartotojų duomenimis“. Vis dėlto bendrovė pripažino negalinti atmesti galimybės, jog „nuasmeninti duomenys, gauti jiems naudojantis mūsų produktais, padėjo patobulinti mūsų modelius“. T. Buckmasteris viešai išvadino S. Bubecko paaiškinimą „visiškai melagingu“, o S. Bubeckas vėliau atsiprašė už pastabą, pasakytą jų susirašinėjimo metu, praneša „The Next Web“.thenextweb+4

Platesnis atgarsis

Šis ginčas sukėlė atgarsį visoje matematikų bendruomenėje. Žymių matematikų pasirašytame atvirame laiške DI bendrovės kritikuojamos dėl skubėjimo spręsti garsias problemas be tinkamo autorystės nurodymo. Fieldso medalio laureatas Deng Yu socialiniuose tinkluose pajuokavo, kad jei DI išspręs visas matematikos problemas, „grįšiu namo ir rašysiu savo „yuri“ romaną“, kartu įspėdamas, jog DI sukūrė „nerimo ir nekantrybės atmosferą matematikų sluoksniuose“. Oficialiame „Clay“ matematikos instituto atsake pagirtos galimybės pasiekti „naują žmogaus supratimą“, tačiau apie teisę į premiją nebuvo užsiminta.thenews+1