„OpenAI“ paskelbė 722 matematinius straipsnius, sukurtus neišleisto DI modelio

Spalio 6 d., antradienį, „OpenAI“ į viešą „GitHub“ saugyklą įkėlė 722 matematinius rankraščius, suskirstytus į 372 „rezultatų šeimas“. Bendrovė teigia, kad juos sukūrė neišleistas vidinis pažangus modelis. „Scientific American“ pranešė, kad saugykla tapo prieinama 18 val. EDT laiku. Tikimasi, kad matematikams prireiks mėnesių, kol jie išnagrinės rezultatus ir įvertins, ar įrodymai pateikia naujų idėjų, ar daugiausia tik perdirba esamus metodus.openai+2

Šis žingsnis žengtas praėjus mėnesiui po to, kai rugsėjo 8 d. „OpenAI“ paskelbė, kad ta pati vidinė sistema įrodė, jog trimatės „Navier-Stokes“ srovės gali suformuoti singuliarumus per baigtinį laiką. Ši problema yra viena iš „Clay Mathematics Institute“ tūkstantmečio premijos problemų. Pranešimas apie „Navier-Stokes“ sulaukė nuolatinės kritikos dėl autorystės, skaidrumo ir to, kaip greitai bendrovė viešina rezultatus.scientificamerican+2

Kas yra saugykloje

Šeimos apima 17 disciplinų, daugiausia įrašų yra teorinės informatikos, kombinatorikos, algebrinės geometrijos ir skaičių teorijos srityse. Kataloge pateikiami teiginiai apie pi iracionalumo laipsnį, Mahlerio konjektūras, NP-sudėtingumą, laisvųjų grupių faktorių izomorfizmą ir reliatyvistines Vlasovo-Maksvelio lygtis.interestingengineering+2

„OpenAI“ taip pat paskelbė daugelio įrodymų „Lean“ formalizacijas. „Lean“ yra programavimo kalba, leidžianti kompiuteriui patikrinti kiekvieną loginį įrodymo žingsnį. Vis dėlto ne visi rankraščiai buvo formalizuoti. Saugyklos „README“ faile įspėjama, kad kai kurie neformalizuoti rezultatai „gali turėti problemų“, o formalizacijos manifeste peržiūros būsena nurodyta kaip „netikrinta“.kingy+2

Bendrovė nurodė, kad vertinimo metu modelis bandė išspręsti apie 4 000 problemų. Teigiama, kad vidutiniam rezultatui prireikė skaičiavimo galios, prilygstančios „maždaug trims valandoms „ChatGPT Pro“ mąstymo“. Pridedamos dešimt sutrumpintų modelio samprotavimų santraukų. „OpenAI“ neatskleidė bendros dolerių sumos, žetonų skaičiaus ar viešo modelio pavadinimo.unite+2

Patariamosios grupės gairių laikytasi tik iš dalies

„OpenAI“ teigė, kad rengdama šį viešinimą rėmėsi nepriklausomos Matematikos ir dirbtinio intelekto patariamosios grupės, įsikūrusios „Institute for Advanced Study“ Prinstone, Naujajame Džersyje, patarimais. Grupė rekomendacijas pateikė rugsėjo 29 d. Jose raginama laboratorijas skelbti modelio pavadinimą, naudotas užklausas ir kiekvieno rezultato skaičiavimo sąnaudas, taip pat talpinti rezultatus saugyklose, kurių nekontroliuoja jokia DI laboratorija. „OpenAI“ nepateikė užklausų ar skaičiavimo duomenų. Bendrovės atstovas „Scientific American“ sakė, kad „OpenAI“ rimtai vertina gaires, tačiau nėra jomis saistoma.scientificamerican+2

Tas pats atstovas teigė, kad beveik kiekvienas rezultatas gautas naudojant vieną užklausą vienam agentui, nors kai kuriems galėjo prireikti kelių bandymų.scientificamerican

Prieštaringos reakcijos

„Turėtume prašyti įrodymų“, – „Scientific American“ sakė MIT matematikas Andrew Sutherlandas. Jis teigė, kad teiginius apie problemų išsprendimą vienu bandymu reikėtų laikyti nepatvirtintais, kol modelis nebus išleistas. Danielis Littas iš Toronto universiteto laikėsi priešingos nuomonės: „Mano nuomone, tai bus naudinga matematikai“.scientificamerican

„OpenAI“ pranešė planuojanti finansuoti seminarus ir konferencijas, skirtas padėti matematikams suprasti DI sukurtus rezultatus, ir teigė, kad dirba siekdama „atsakingai išleisti modelį“, kuris juos sukūrė.openai