\u201eJustin Sun Prize\u201c kartu su matematikos tyrim\u0173 platforma \u201eMathDB\u201c pradeda 50 u\u017edavini\u0173 pilotin\u0119 program\u0105, kurioje numatomi prizai iki 1 mln. eur\u0173 vienam u\u017edaviniui. Organizatoriai teigia, kad tikslas yra sukurti ai\u0161kesn\u0119, patikrinam\u0105 ir skaidresn\u0119 tvark\u0105, kaip vertinami prover\u017eiai fundamentin\u0117je matematikoje.<\/p>\n
Pilotas apima skirtingo lygio u\u017edavinius, tarp j\u0173 minimi ir vieni garsiausi\u0173 atvir\u0173 klausim\u0173, pavyzd\u017eiui, P ir NP problema bei Rymano hipotez\u0117. Bendra id\u0117ja paprasta: apdovanojamas ne tik rezultatas, bet ir jo patikimumas bei geb\u0117jimas j\u012f ai\u0161kiai perteikti.<\/p>\n
Sprendim\u0173 pateikimas ir pirmin\u0117 per\u017ei\u016bra vyks per \u201eMathDB\u201c, kuri priims pateiktus darbus, tikrins Lean formalizacijas ir vertins ai\u0161kinam\u0105j\u0105 med\u017eiag\u0105. Tuo pat metu \u201eJustin Sun Prize\u201c atskirai vertins tinkamum\u0105, autoryst\u0119, pirmenyb\u0119 ir kitas programos s\u0105lygas.<\/p>\n
\u201eDI kei\u010dia tai, kaip greitai galima tyrin\u0117ti matematik\u0105, ta\u010diau vien greitis dar n\u0117ra mokslin\u0117 pa\u017eanga\u201c, \u2013 sak\u0117 \u201eJustin Sun Prize\u201c \u012fk\u016br\u0117jas Justinas Sunas.<\/p>\n
Pasak organizatori\u0173, atlygis bus skaidomas \u012f tris dalis: 50 proc. skiriama u\u017e pat\u012f matematin\u012f sprendim\u0105, 30 proc. u\u017e Lean formalizacij\u0105 ir 20 proc. u\u017e ai\u0161k\u0173, suprantam\u0105 i\u0161d\u0117stym\u0105. Tokia strukt\u016bra atspindi pastar\u0173j\u0173 met\u0173 tendencij\u0105 akademiniame pasaulyje daugiau d\u0117mesio skirti ne tik id\u0117jai, bet ir jos patikrinamumui bei pakartojamumui.<\/p>\n
Formalus \u012frodym\u0173 tikrinimas kompiuteriu yra viena spar\u010diausiai augan\u010di\u0173 kryp\u010di\u0173 \u0161iuolaikin\u0117je matematikoje ir kompiuteri\u0173 moksle. Lean tipo \u012frankiai leid\u017eia \u012frodymus apra\u0161yti taip, kad juos gal\u0117t\u0173 patikrinti \u012frodym\u0173 tikrintuvai, o tai ma\u017eina klaid\u0173 rizik\u0105 ir palengvina kit\u0173 tyr\u0117j\u0173 darb\u0105, kai tenka remtis itin sud\u0117tingais rezultatais.<\/p>\n
\u201eMathDB\u201c projekt\u0105 vysto Kalifornijos technologijos instituto profesorius Tony Yue Yu ir jo komanda, kurie \u0161iame pilote pri\u017ei\u016br\u0117s mokslin\u0119 dal\u012f. Platforma apib\u016bdinama kaip didel\u0117s apimties matematikos apibr\u0117\u017eim\u0173, teorem\u0173, hipotezi\u0173 ir atvir\u0173 problem\u0173 duomen\u0173 baz\u0117, jungianti ai\u0161kinamuosius tekstus su formalizavimo galimyb\u0117mis.<\/p>\n
\u201eSprend\u017eiant fundamentin\u012f u\u017edavin\u012f da\u017enai gaunama daug daugiau nei atsakymas \u012f pradin\u012f klausim\u0105: atsiveria netik\u0117ti ry\u0161iai, atsiranda nauj\u0173 \u012franki\u0173 ir kryp\u010di\u0173\u201c, \u2013 sak\u0117 Tony Yue Yu.<\/p>\n
Organizatoriai pabr\u0117\u017eia, kad visi apdovanojimai bus teikiami tik atlikus piln\u0105 tinkamumo patikr\u0105 ir laikantis kovos su pinig\u0173 plovimu bei sankcij\u0173 reikalavim\u0173. Detalios pilotui atrinkt\u0173 u\u017edavini\u0173 s\u0105lygos ir pateikimo proced\u016bros bus skelbiamos programos kanaluose per \u201eMathDB\u201c ir \u201eJustin Sun Prize\u201c.<\/p>\n
Tokio tipo prizai atspindi platesn\u0119 tendencij\u0105: did\u0117jant dirbtinis intelektas \u012franki\u0173 vaidmeniui moksle, vis svarbesnis tampa patikimumo standartas, kur\u012f galima nepriklausomai patikrinti. Pilotin\u0117 programa bando sujungti tris dalykus \u012f vien\u0105 grandin\u0119: id\u0117j\u0105, jos ma\u0161inin\u012f patvirtinim\u0105 ir ai\u0161k\u0173 paai\u0161kinim\u0105, kad rezultatas b\u016bt\u0173 naudingas platesnei bendruomenei.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u201eJustin Sun Prize\u201c su \u201eMathDB\u201c pradeda 50 u\u017edavini\u0173 pilot\u0105: prizai iki 1 mln. eur\u0173, sprendim\u0173 vertinimas ir Lean formalus patikrinimas.<\/p>\n","protected":false},"author":0,"featured_media":65302,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[94],"tags":[115,42368,50196,114,47121,50194,50195],"miestas":[],"class_list":["post-65301","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-finansai","tag-bitcoin","tag-justin-sun-prize","tag-kalifornijos-technologijos-institutas","tag-kriptovaliutos","tag-lean","tag-mathdb","tag-tony-yue-yu"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/65301","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=65301"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/65301\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/65302"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=65301"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=65301"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=65301"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=65301"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}