\u201eOpenAI\u201c prane\u0161\u0117, kad vienas jos dirbtinio intelekto modeli\u0173 i\u0161sprend\u0117 vien\u0105 sunkiausi\u0173 \u0161iuolaikin\u0117s matematikos u\u017edavini\u0173 \u2013 Navj\u0117\u2013Stokso problem\u0105. \u0160ios lygtys apra\u0161o skys\u010di\u0173, pavyzd\u017eiui, vandens, ir moksline prasme \u2013 oro \u2013 jud\u0117jim\u0105.<\/p>\n
Navj\u0117\u2013Stokso lygtys svarbios ai\u0161kinant tokius rei\u0161kinius kaip vandenyn\u0173 srov\u0117s, kraujo cirkuliacija ar oro srautas aplink l\u0117ktuvo sparnus. Ta\u010diau matematikai de\u0161imtme\u010dius gin\u010dijosi ir ie\u0161kojo atsakymo, ar \u0161ioms lygtims visada egzistuoja \u201etvarkingi\u201c, nuosekl\u016bs sprendiniai.<\/p>\n
D\u0117l to JAV \u012fsik\u016br\u0119s Clay matematikos institutas Navj\u0117\u2013Stokso problem\u0105 \u012ftrauk\u0117 \u012f vadinam\u0173j\u0173 T\u016bkstantme\u010dio premijos u\u017edavini\u0173 s\u0105ra\u0161\u0105. Tai septyni garsiausi ir sud\u0117tingiausi nei\u0161spr\u0119sti moderniosios matematikos klausimai.<\/p>\n
U\u017e pirm\u0105 teising\u0105 kiekvieno i\u0161 j\u0173 sprendim\u0105 numatyta 1 mln. JAV doleri\u0173 premija. Dabar \u201eOpenAI\u201c teigia pasi\u016bliusi sprendim\u0105, o tai kelia ne tik susi\u017eav\u0117jim\u0105, bet ir klausim\u0105, kaip pasikeist\u0173 matematik\u0173 darbas, jei prover\u017eiai vis da\u017eniau ateit\u0173 i\u0161 DI.<\/p>\n
Svarstant, ar tai gal\u0117t\u0173 reik\u0161ti \u201e\u017emogaus matematikos\u201c pabaig\u0105, tenka gr\u012f\u017eti prie to, kas i\u0161 ties\u0173 yra matematinis \u012frodymas. Paprastai tai argumentas, kuris remiasi priimtomis prielaidomis ir \u017eingsnis po \u017eingsnio pagrind\u017eia teigin\u012f.<\/p>\n
Net ir esant kompiuteri\u0173 pagalbai, kol \u012frodymas n\u0117ra patikrintas, matematik\u0173 bendruomen\u0117 jo nepriima. O kai \u012frodym\u0105 sugeneruoja DI, \u017emogaus prie\u017ei\u016bra ir kompetencija, kaip pabr\u0117\u017eiama tekste, vis tiek i\u0161lieka b\u016btina.<\/p>\n
Be to, matematikoje svarbu ne vien \u017einoti, kad teorema teisinga. Ne ma\u017eiau svarbu suprasti, kod\u0117l ji teisinga ir k\u0105 galima i\u0161mokti i\u0161 paties \u012frodymo.<\/p>\n
UCLA profesorius Terence\u2019as Tao, vienas \u017eymiausi\u0173 pasaulio matematik\u0173, \u0161\u012f darb\u0105 po \u012frodymo patvirtinimo yra pavadin\u0119s \u201e\u012frodymo suvir\u0161kinimu\u201c. Tai apima bandymus pertvarkyti argument\u0105 \u012f nat\u016bralesn\u0119 form\u0105, supaprastinti sud\u0117tingas vietas, susieti j\u012f su jau \u017einomomis teorijomis ar i\u0161gryninti metodus, pritaikomus kitur.<\/p>\n
Toks darbas neretai pats sukuria nauj\u0105 matematik\u0105. Kitaip tariant, prover\u017eis neb\u016btinai u\u017edaro tem\u0105 \u2013 jis gali atverti naujas kryptis, kurios anks\u010diau nebuvo matomos.<\/p>\n
Net ir \u201esuvir\u0161kinus\u201c \u012frodym\u0105, matematinis darbas paprastai nesibaigia. Straipsnyje atkreipiamas d\u0117mesys, kad svarb\u016bs rezultatai da\u017enai tampa atspirties ta\u0161ku naujiems atviriems u\u017edaviniams, o kai kuri\u0173 Navj\u0117\u2013Stokso problemos variant\u0173 naujasis metodas gali ir neapr\u0117pti.<\/p>\n
Matematikai taip pat nuolat ie\u0161ko alternatyvi\u0173 jau \u012frodyt\u0173 teigini\u0173 \u012frodym\u0173, nes skirtingi keliai gali pateikti skirting\u0173 \u012f\u017evalg\u0173. Kaip pavyzdys minimas Pitagoro teoremos atvejis: ji \u012frodyta dar antikoje, ta\u010diau XX am\u017eiaus prad\u017eioje i\u0161leistoje knygoje buvo surinkta daugiau nei 300 jos \u012frodym\u0173, sukurt\u0173 per du t\u016bkstantme\u010dius.<\/p>\n
Tai rodo, kad \u012frodym\u0173 vert\u0117 da\u017enai slypi ne tik patvirtinime, bet ir paai\u0161kinime. O kas tiksliai \u012frodym\u0105 paver\u010dia \u201eai\u0161kinan\u010diu\u201c ar \u201enu\u0161vie\u010dian\u010diu\u201c, teb\u0117ra atviras klausimas net matematikos filosofijoje \u2013 ir tai DI sistemoms gali b\u016bti kur kas sunkiau nei vien rasti formaliai teising\u0105 argument\u0105.<\/p>\n
Tod\u0117l net jei DI vis da\u017eniau pasi\u016blys \u012frodymus, \u017emon\u0117ms grei\u010diausiai liks esmin\u0117 dalis: suprasti, kaip tie \u012frodymai veikia, kaip jie susij\u0119 su platesne matematika ir kokius naujus klausimus jie leid\u017eia u\u017eduoti.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u201eOpenAI\u201c teigia i\u0161sprendusi Navj\u0117\u2013Stokso problem\u0105 ir pateikusi \u0161imtus kit\u0173 sprendim\u0173: matematikams tai gali reik\u0161ti nauj\u0105 darbo etap\u0105, o ne pabaig\u0105.<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[10],"tags":[41028,102,54691,41026,816,54690,54689],"miestas":[],"class_list":["post-69346","post","type-post","status-publish","format-standard","hentry","category-mokslas","tag-clay-matematikos-institutas","tag-dirbtinis-intelektas","tag-matematiniai-irodymai","tag-navje-stokso-lygtys","tag-openai","tag-terence-tao","tag-tukstantmecio-premijos-uzdaviniai"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/69346","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=69346"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/69346\/revisions"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=69346"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=69346"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=69346"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=69346"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}