Tris mokslo rezultatus OpenAI perduoda tikrinti mokslininkams

OpenAI paskelbė apie tris savo modelių gautus matematikos, informatikos ir fizikos rezultatus bei išorinių mokslininkų grupes jiems nagrinėti. Spalio 26 dienos pranešime bendrovė siūlo šiuos rankraščius suprasti kaip pradinius tyrimo duomenis, o ne galutinį mokslinį paaiškinimą.

Svarbiausias informatikos teiginys susijęs su eksponentinio laiko hipoteze, kuria remiasi daugelio algoritmų sudėtingumo vertinimai, nurodo OpenAI. Bendrovė teigia radusi jos paneigimą ir patikrinusi formalizaciją Lean sistemoje, tačiau platesnių pasekmių aiškinimas perduodamas specialistams.

Pasak OpenAI, informatikos darbo grupę ves Kalifornijos universiteto San Diege tyrėjai Russell Impagliazzo bei Ramamohan Paturi ir MIT tyrėjas Ryan Williams. Impagliazzo ir Paturi kartu su Francis Zane yra pirminės hipotezės autoriai, todėl nagrinėjime dalyvaus šios srities specialistai.

Bendrovė nurodo, kad hipotezės paneigimo tekstas gautas spalio 16 dieną, o Lean formalizacija užbaigta spalio 17 dieną. Natūralios kalbos rankraštis ir formalus įrodymas paskelbti GitHub, kad juos galėtų savarankiškai nagrinėti ir kiti tyrėjai.

Matematikos rezultatas, pasak OpenAI, apima bangų vietinio glodinimo hipotezę visose dimensijose ir iš jos išplaukiančias Kakeya bei Stein hipotezes. Bendrovė rašo šį tekstą gavusi spalio 18 dieną, o formalizaciją užbaigusi kitą dieną ir taip pat viešai paskelbusi.

Fizikos rezultatas susijęs su tam tikrų keturmačių kvantinių laukų teorijų matematiniu egzistavimu, įskaitant kvantinę chromodinamiką, skelbia bendrovė. Šį darbą nagrinės David Gross vadovaujama grupė, tačiau jos sprendimu modelių sukurta medžiaga kol kas nebus viešinama.

Leidinys Gizmodo atkreipia dėmesį, kad formalios patikros ir žmogui suprantamo įrodymo santykis jau kėlė klausimų ankstesniuose OpenAI leidimuose. Todėl pranešimas apie Lean patikrą savaime nepakeičia specialistų darbo aiškinantis, kas tiksliai įrodyta ir kokios prielaidos naudotos.

Gizmodo taip pat išskiria nevienodą prieigą prie rezultatų: matematikos ir informatikos medžiaga atveriama, o fizikos tyrėjai pirmiausia rengs savo paaiškinimą. Pati OpenAI pripažįsta, kad pirmųjų grupių pasirinkimas lemia informacijos asimetriją, ir kviečia teikti siūlymus dėl platesnio dalyvavimo.

Pagal bendrovės paskelbtus principus išoriniai dalyviai dirba savanoriškai, be atlygio ir konfidencialumo susitarimų, o išvadas skelbia nepriklausomai. OpenAI teigia nesiekianti akademinio nuopelno už vidinių modelių rezultatus; tyrėjų parengti paaiškinimai turėtų būti atskirai pripažįstami.

OpenAI taip pat sieja bendradarbiavimą su anksčiau paskelbtu penkių milijonų dolerių įnašu Simons fondui, kuris administruos finansavimą. Bendrovė nurodo, kad lėšos skirtos seminarams, konferencijoms ir programoms, padedančioms mokslininkams savarankiškai suprasti bei plėtoti DI sukurtus rezultatus.

Toliau informatikos grupė organizuos atvirą teiginio nagrinėjimą, o OpenAI įsipareigojo finansuoti konferenciją jo pasekmėms aptarti, rašoma pranešime. Bendrovė pabrėžia, kad net pasitvirtinęs teorinis rezultatas dar pareikalaus papildomų tyrimų, kol galėtų virsti praktiškai greitesniais algoritmais.