\u201eOpenAI\u201c prane\u0161\u0117, kad j\u0173 vidinis dirbtinis intelektas savaranki\u0161kai rado sprendim\u0105 vadinamajam vienetini\u0173 atstum\u0173 plok\u0161tumoje u\u017edaviniui, kur\u012f 1946 metais suformulavo matematikas Paulas Erd\u0151sas. \u0160is klausimas de\u0161imtme\u010dius laikytas vienu i\u0161 u\u017esispyrusi\u0173 kombinatorin\u0117s geometrijos i\u0161\u0161\u016bki\u0173, o naujas rezultatas suk\u0117l\u0117 diskusijas apie DI vaidmen\u012f moksle.<\/p>\n
U\u017edavinys formuluojamas paprastai: turint n ta\u0161k\u0173 plok\u0161tumoje, kiek daugiausia galima gauti ta\u0161k\u0173 por\u0173, kuri\u0173 atstumas lygiai vienas. I\u0161 pirmo \u017evilgsnio tai atrodo kaip elementari geometrija, ta\u010diau realiai problema remiasi giliomis graf\u0173 teorijos, kombinatorikos ir geometrijos s\u0105sajomis.<\/p>\n
Iki \u0161iol tyr\u0117jai r\u0117m\u0117si ilgai vyravusiomis konstrukcijomis ir ribomis, kurios leido suprasti, kaip auga vienetini\u0173 atstum\u0173 skai\u010dius did\u0117jant ta\u0161k\u0173 skai\u010diui. \u201eOpenAI\u201c teigia, kad j\u0173 DI pasi\u016bl\u0117 nauj\u0105 konstrukcijos princip\u0105, kuris paneigia anks\u010diau pla\u010diai taikyt\u0105 intuicij\u0105 apie optimalias ta\u0161k\u0173 i\u0161d\u0117stymo strukt\u016bras.<\/p>\n
\u201eTai pirmas atvejis, kai reik\u0161mingas, pla\u010diai \u017einomas atviras matematikos klausimas buvo i\u0161spr\u0119stas autonomi\u0161kai dirbtinio intelekto\u201c, \u2013 sak\u0117 \u201eOpenAI\u201c atstovai.<\/p>\n
Teigiama, kad pateiktas \u012frodymas buvo per\u017ei\u016br\u0117tas ir patikrintas nepriklausom\u0173 matematik\u0173, kurie taip pat pareng\u0117 paai\u0161kinim\u0105, kaip sukonstruotas argumentas. Tokia patikra yra kriti\u0161kai svarbi, nes matematikoje prover\u017eis laikomas realiu tik tada, kai \u012frodym\u0105 galima nuosekliai atkurti ir patikrinti nepriklausomai nuo autoriaus ar naudojamos sistemos.<\/p>\n
Ekspertai pabr\u0117\u017eia, kad \u0161io tipo prover\u017eiai gali tur\u0117ti platesni\u0173 pasekmi\u0173 nei vienas u\u017edavinys. Jei DI geba i\u0161laikyti ilgas logini\u0173 \u017eingsni\u0173 grandines, tiksliai apibr\u0117\u017eti s\u0105vokas ir sujungti id\u0117jas i\u0161 skirting\u0173 sri\u010di\u0173, tai atveria keli\u0105 spartesniam darbui ne tik matematikoje, bet ir teorin\u0117je fizikoje, med\u017eiag\u0173 moksle ar biomedicinoje, kur da\u017enai reikalingi sud\u0117tingi formal\u016bs argumentai.<\/p>\n
Kartu tyr\u0117jai atkreipia d\u0117mes\u012f \u012f ribas: net ir labai pa\u017eang\u016bs modeliai gali klysti, o klaidos formaliuose \u012frodymuose kartais b\u016bna sunkiai pastebimos. D\u0117l to DI rezultatai, ypa\u010d susij\u0119 su naujais teiginiais, turi b\u016bti tikrinami \u017emoni\u0173 ir, jei \u012fmanoma, formalizuojami \u012frodym\u0173 tikrinimo sistemose, kad sprendimas tapt\u0173 patikimas ir ilgalaikis.<\/p>\n
Pastaraisiais metais akademin\u0117je bendruomen\u0117je ry\u0161k\u0117ja tendencija DI naudoti kaip pagalbinink\u0105 hipotez\u0117ms generuoti, tarpiniams \u017eingsniams tikrinti ir dideliems literat\u016bros kiekiams apibendrinti. \u201eOpenAI\u201c istorija rodo dar vien\u0105 krypt\u012f: DI gali tapti ne vien \u012frankiu, bet ir partneriu, kuris pasi\u016blo netik\u0117t\u0105 id\u0117j\u0105, o \u017emogus u\u017etikrina jos tikslum\u0105, prasm\u0119 ir pritaikomum\u0105.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u201eOpenAI\u201c teigia, kad j\u0173 dirbtinis intelektas i\u0161sprend\u0117 80 met\u0173 senumo matematikos u\u017edavin\u012f, o nepriklausoma patikra jau vyksta.<\/p>\n","protected":false},"author":0,"featured_media":31763,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[7],"tags":[102,23706,8165,23708,816,23707],"miestas":[],"class_list":["post-31762","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technologijos","tag-dirbtinis-intelektas","tag-kombinatorine-geometrija","tag-matematika","tag-moksliniai-tyrimai","tag-openai","tag-paulas-erdosas"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/31762","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=31762"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/31762\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/31763"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=31762"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=31762"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=31762"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=31762"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}