Vos po keli\u0173 savai\u010di\u0173 nuo triuk\u0161m\u0105 suk\u0117lusi\u0173 DI sugeneruot\u0173 matematikos rezultat\u0173 \u201eOpenAI\u201c v\u0117l atsid\u016br\u0117 d\u0117mesio centre. San Fransiske \u012fsik\u016brusi laboratorija pristat\u0117 trij\u0173 sud\u0117ting\u0173 u\u017edavini\u0173 sprendinius i\u0161 matematikos, informatikos ir fizikos. Daugiausia aistr\u0173 \u012fpliesk\u0117 teiginys, kad paneigta beveik 30 met\u0173 vienu i\u0161 teorin\u0117s informatikos rams\u010di\u0173 laikyta eksponentinio laiko hipotez\u0117.<\/p>\n
Diskusijas kaitino ne tik pats turinys, bet ir pateikimo b\u016bdas. \u0160\u012f kart\u0105 \u201eOpenAI\u201c teig\u0117 pasitelkusi i\u0161or\u0117s ekspertus, kurie apie 10 dien\u0173 dirbo, kad \u012frodymo tekstas b\u016bt\u0173 suprantamesnis \u017emon\u0117ms. Vis d\u0117lto dalis akademik\u0173 kritikavo praktik\u0105, kai privati bendrov\u0117 pati parenka ribot\u0105 vertintoj\u0173 rat\u0105 ir taip i\u0161 dalies kontroliuoja patikros proces\u0105.<\/p>\n
Situacij\u0105 dar labiau paa\u0161trino tai, kad po keli\u0173 valand\u0173 analogi\u0161k\u0105 prane\u0161im\u0105 paskelb\u0117 \u201eAnthropic\u201c. Bendrov\u0117 nurod\u0117, kad jos modelis t\u0105 pa\u010di\u0105 dien\u0105 taip pat pasiek\u0117 beveik identi\u0161k\u0105 rezultat\u0105, susijus\u012f su eksponentinio laiko hipoteze. Abi \u012fmon\u0117s tvirtino, jog korekti\u0161kumas formaliai tikrintas naudojant \u201eLean\u201c \u012frodym\u0173 tikrinimo sistem\u0105, ta\u010diau mokslininkai pabr\u0117\u017e\u0117, kad \u017emogaus atlikta pilna analiz\u0117 dar nebaigta.<\/p>\n
Eksponentinio laiko hipotez\u0117 siejama su patenkinamumo u\u017edavini\u0173 klase, da\u017enai ai\u0161kinama per 3-SAT problem\u0105. Tai situacijos, kai reikia rasti kintam\u0173j\u0173 reik\u0161mes taip, kad b\u016bt\u0173 patenkintas taisykli\u0173 rinkinys, o pritaikym\u0173 yra nuo algoritm\u0173 teorijos iki kriptografijos ir grandyn\u0173 projektavimo. Did\u0117jant kintam\u0173j\u0173 skai\u010diui, galim\u0173 kombinacij\u0173 kiekis auga eksponenti\u0161kai, tod\u0117l net palyginti nedidel\u0117s instancijos tampa prakti\u0161kai ne\u012fveikiamos naiviais metodais.<\/p>\n
Jei hipotez\u0117s paneigimas pasitvirtins, tai reik\u0161t\u0173, kad egzistuoja skai\u010diavimo trumpiniai, leid\u017eiantys tam tikrus u\u017edavinius spr\u0119sti grei\u010diau, nei ilg\u0105 laik\u0105 manyta. Teorin\u0117je plotm\u0117je tai gali pakeisti daugelio darb\u0173 prielaidas, nes nema\u017ea dalis literat\u016bros r\u0117m\u0117si ETH kaip patogiu atskaitos ta\u0161ku sud\u0117tingumo riboms apibr\u0117\u017eti. Kartu toks poslinkis nei\u0161sprend\u017eia garsiojo P prie\u0161 NP klausimo, bet gali pakoreguoti, kaip m\u0105stoma apie skai\u010diavimo ribas.<\/p>\n
\u201eMan buvo visi\u0161kas \u0161okas, kad viskas \u012fvyko t\u0105 pa\u010di\u0105 dien\u0105\u201c, \u2013 sak\u0117 Russellas Impagliazzo, vienas i\u0161 1999 metais suformuluotos hipotez\u0117s bendraautori\u0173, kuris buvo \u012ftrauktas \u012f \u012frodymo aptarim\u0105.<\/p>\n
Praktinis poveikis kasdienei kompiuterijai kol kas vertinamas atsargiai. Pagal pa\u010di\u0173 autori\u0173 aptariamas prielaidas, naujasis metodas gali prana\u0161um\u0105 prie\u0161 paprast\u0105 paie\u0161k\u0105 parodyti tik esant mil\u017eini\u0161kiems dyd\u017eiams, kalbant net apie de\u0161imtis milijon\u0173 kintam\u0173j\u0173. Tai rei\u0161kia, kad \u0161iandienin\u0117ms realaus pasaulio u\u017eduotims prover\u017eis gali b\u016bti labiau koncepcinis nei tiesiogiai pritaikomas.<\/p>\n
Dar viena \u012ftampos a\u0161is yra skaidrumas ir pakartojamumas. Akademin\u0117 bendruomen\u0117 pabr\u0117\u017eia, kad norint nepriklausomai atkartoti DI gautus rezultatus svarbu \u017einoti, kaip tiksliai buvo formuluojamos u\u017eklausos, kokie duomenys ir skai\u010diavimo i\u0161tekliai naudoti, kokia buvo atrankos ir filtravimo logika. Kai \u0161ie elementai lieka u\u017edari, formaliai patikrintas kodas dar ne visada rei\u0161kia, kad \u017emon\u0117s iki galo suprato argument\u0105 ir jo ribas.<\/p>\n
Gin\u010dai d\u0117l publikavimo tvarkos pasiek\u0117 ir kitus \u201eOpenAI\u201c pristatytus darbus. Vienas j\u0173 siejamas su Yang\u2013Mills kvantin\u0117s teorijos tematika ir es\u0105 apima itin didel\u0117s apimties, daugiau nei 1 000 puslapi\u0173 med\u017eiag\u0105, kurios vie\u0161inimas, kaip skelbta, sustabdytas iki komisijos analiz\u0117s pabaigos. Tai atgaivino diskusij\u0105, ar privatus sektorius netur\u0117t\u0173 taikyti atviresni\u0173 standart\u0173, kai kalbama apie fundamentinius mokslo rezultatus.<\/p>\n
Artimiausi m\u0117nesiai parodys, ar \u012frodymai atlaikys nepriklausom\u0105 patikr\u0105 ir ar pavyks parengti \u017emogui lengvai perskaitom\u0105, bendruomenei priimtin\u0105 versij\u0105. Mokslininkai tikisi atvir\u0173 darbo grupi\u0173, platesni\u0173 seminar\u0173 ir nuoseklaus vertinimo, nes tik taip galima atskirti tikr\u0105 prover\u017e\u012f nuo formaliai tvarkingo, bet moksli\u0161kai dar ne\u012fsitvirtinusio teiginio. Bet kuriuo atveju \u0161is atvejis jau tapo signalu, kad DI vaidmuo fundamentiniuose \u012frodymuose spar\u010diai auga, o kartu did\u0117ja ir reikalavimai skaidrumui.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u201eOpenAI\u201c ir \u201eAnthropic\u201c paskelb\u0117 t\u0105 pa\u010di\u0105 dien\u0105 gavusios pana\u0161\u0173 ETH hipotez\u0117s paneigimo \u012frodym\u0105, ta\u010diau akademikai ragina neskub\u0117ti.<\/p>\n","protected":false},"author":0,"featured_media":66223,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[7],"tags":[2265,102,6622,47121,50988,816,50989],"miestas":[],"class_list":["post-66222","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technologijos","tag-anthropic","tag-dirbtinis-intelektas","tag-kriptografija","tag-lean","tag-matematikos-irodymai","tag-openai","tag-teorine-informatika"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/66222","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/comments?post=66222"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/66222\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/66223"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=66222"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=66222"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=66222"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=66222"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}