Inžinieriai: „OpenAI“ pateiktas Navier-Stokes lygčių įrodymas artimiausiu metu nepakeis skysčių dinamikos

Rugsėjo 8 d. „OpenAI“ paskelbė, kad neišleista vidinė dirbtinio intelekto sistema pateikė įrodymą, jog trimatės Navier-Stokes lygtys per baigtinį laiką gali suformuoti singuliarumą, taip potencialiai išsprendžiant vieną iš šešių likusių „Millennium“ prizo uždavinių, kuriuos 2000 metais iškėlė Clay matematikos institutas. Bendrovė išleido 166 puslapių straipsnį ir formalų patikrinimą „Lean“ įrodymų asistentu, tačiau rezultatas vis dar laukia nepriklausomų ekspertų vertinimo.OpenAI+3

Ką teigia įrodymas

Navier-Stokes lygtys, aprašančios skysčių, pavyzdžiui, oro ir vandens, judėjimą, beveik du šimtmečius naudojamos įvairiose srityse nuo orlaivių projektavimo iki orų prognozavimo. Ilgametė matematinė problema buvo ta, ar sklandūs šių lygčių sprendiniai gali nutrūkti, sukurdami fiziškai neįmanomus begalinius greičius.scientificamerican+1

„OpenAI“ teigia, kad jų sistema sukonstravo scenarijų, kuriame ramybės būsenoje esantis skystis, veikiamas sklandžios išorinės jėgos, suformuoja sūkurį, kuris spirale sukasi į vidų ir per baigtinį laiką pasiekia neapribotą greitį, išlaikydamas baigtinę energiją. „Mūsų įrodymas rodo, kad egzistuoja skysčiai, kurie pradeda judėti visiškai normaliai, o pagal Navier-Stokes lygtis per baigtinį laiką pasiekia begalinį greitį“, – spaudos konferencijoje sakė „OpenAI“ kompiuterių mokslininkas Venas Chandrasekaranas, kaip praneša „Nature“. Bendrovė teigė neketinanti pretenduoti į 1 mln. dolerių prizą.nature+3

Skaičiavimams buvo pasitelkta apie 10 000 vienu metu veikiančių DI agentų, naudojančių modelį, kuris apibūdinamas kaip galingesnis už „GPT-6 Astra“. Agentai rezultatą pasiekė po maždaug 88 valandų darbo, pradėto rugsėjo 1 d., o dar 17 valandų prireikė „Lean“ formalizavimui.thebrighterside+1

Ginčas dėl prioriteto

Šis pranešimas sukėlė ginčą dėl matematinio prioriteto. NYU matematikas Tristanas Buckmasteris ir „Anthropic“ tyrėjas Leventas Alpöge jau anksčiau darė pažangą spręsdami su tuo susijusias „sprogimo“ problemas naudodami DI įrankius, įskaitant „OpenAI“ „Codex“. Viešame pareiškime T. Buckmasteris rašė: „Nemačiau „OpenAI“ įrodymo. Nežinau, ką padarė jų modelis ar kaip. Nežinau, ar buvo panaudoti mūsų duomenys. Niekam nieko nekaltinu“. „The New York Times“ pranešė, kad „OpenAI“ teigė, jog „kategoriškai“ neįmanoma, kad jų sistemai būtų turėję įtakos naujausi T. Buckmasterio darbai.nytimes+2

Realaus pasaulio pasekmės lieka tolimos

Inžinierių teigimu, šis rezultatas, jei bus patvirtintas, artimiausiu metu mažai ką pakeis. „Trumpai tariant, nedaug“, – apie poveikį praktiniam skysčių dinamikos darbui sakė inžinerijos įmonės „ReynKo“ generalinis direktorius Justinas Berozas. NYU docentas Florianas Schaeferis pažymėjo, kad šios lygtys jau dabar suprantamos kaip apytikslės, o sukonstruotas singuliarumo scenarijus yra per daug dirbtinis, kad paveiktų realaus pasaulio taikymus.scientificamerican

Fildso medalio laureatas Terence'as Tao iškėlė platesnių klausimų apie DI skatinamų matematinių atradimų tempą. „Tai šiek tiek panašu į ėjimą žiūrėti filmo, kai šoki tiesiai iš pirmųjų dešimties minučių į paskutiniąsias dešimt minučių“, – sakė T. Tao „The Brighter Side of News“. „Techniškai visos siužetinės linijos išspręstos, tačiau didžioji dalis patirties vertės prarasta“. Clay matematikos institutas ir toliau įtraukia Navier-Stokes lygtis į neišspręstų problemų sąrašą, o oficialus įrodymo pripažinimas lieka atviras klausimas.popularai+1