Kriptovaliut\u0173 ekosistemos veik\u0117jas ir TRON \u012fk\u016br\u0117jas Justin Sun paskelb\u0117 \u012fsteigiantis Justin Sun Prize \u2013 matematikos ir formalaus verifikavimo premij\u0105, kurios did\u017eiausias apdovanojimas u\u017e vien\u0105 u\u017edavin\u012f sieks iki 930 000 eur\u0173. Iniciatyva pristatoma kaip atviras \u201eu\u017edavini\u0173 s\u0105ra\u0161u\u201c paremtas mechanizmas, kuriame sprendim\u0173 kokyb\u0119 lemia ne autoriaus statusas, o \u012frodymo grie\u017etumas ir galimyb\u0117 j\u012f patikrinti ma\u0161ina.<\/p>\n
Organizatori\u0173 teigimu, premija skirta prover\u017eiams fundamentiniuose moksluose, ypa\u010d matematikoje, taip pat ma\u0161ininio formalaus \u012frodym\u0173 tikrinimo srityje. Skirtingai nei tradiciniai apdovanojimai, \u010dia nenumatomas nominavimo ciklas ar karjeros nuopeln\u0173 vertinimas: prizas siejamas su konkre\u010diu u\u017edaviniu, o laimi pirmasis pateik\u0119s reikalavimus atitinkant\u012f sprendim\u0105.<\/p>\n
Premijos modelis remiasi formalia verifikacija, kai matematiniai \u012frodymai perra\u0161omi \u012f specialias formalias kalbas ir tikrinami \u012frodym\u0173 tikrintuvais. Tokia praktika pastaraisiais metais spar\u010diai plinta akademin\u0117je bendruomen\u0117je, nes ma\u017eina \u017emogi\u0161k\u0173 klaid\u0173 tikimyb\u0119 ir leid\u017eia tiksliau atsekti, kurios \u012frodymo grandys yra kritin\u0117s.<\/p>\n
\u0160i kryptis i\u0161populiar\u0117jo ir d\u0117l to, kad did\u0117ja \u012frodym\u0173 sud\u0117tingumas, o recenzavimo procesas ne visada paj\u0117gia vienodai giliai patikrinti visas detales. Formali verifikacija laikoma viena i\u0161 perspektyvi\u0173 priemoni\u0173, galin\u010di\u0173 sustiprinti mokslo patikimum\u0105 srityse, kur klaidos gali i\u0161likti nepasteb\u0117tos met\u0173 metus.<\/p>\n
Kartu paskelbta ir pirmoji laureat\u0173 banga: prane\u0161ime teigiama, kad \u012fvertinti sprendimai bei formalizuoti \u012frodymai, susij\u0119 su 66 matematikos u\u017edaviniais. Taip pat nurodoma, kad did\u017eiausias prizas atiteko \u201eOpenAI\u201c tyr\u0117j\u0173 komandai u\u017e suformuluot\u0105 sprendim\u0105 ir formalizacij\u0105, siejam\u0105 su Navj\u0117\u2013Stokso egzistavimo ir glotnumo u\u017edaviniu.<\/p>\n
Vis d\u0117lto b\u016btent \u0161i dalis nei\u0161vengiamai kelia klausim\u0173, nes Navj\u0117\u2013Stokso u\u017edavinys yra vienas i\u0161 Clay Matematikos instituto T\u016bkstantme\u010dio problem\u0173, o tokio masto prover\u017eiai paprastai sulaukia plataus nepriklausomo patvirtinimo, recenzavimo ir vie\u0161\u0173 diskusij\u0173. D\u0117l to tik\u0117tina, kad akademin\u0117 bendruomen\u0117 vertins ne tik paskelbim\u0105, bet ir tai, ar pateikti \u012frodymai yra prieinami, reprodukuojami ir praeina nepriklausom\u0105 tikrinim\u0105.<\/p>\n
Premijos sumanytojai akcentuoja, kad iniciatyva pritaikyta laikotarpiui, kai matematikos ir programin\u0117s \u012frangos k\u016brimo procesuose vis da\u017eniau dalyvauja DI. Tokiu atveju formali verifikacija tampa nat\u016bralia jungtimi tarp \u017emogaus suformuluotos id\u0117jos ir ma\u0161ininio patikrinimo, leid\u017eian\u010dio ai\u0161kiai \u012fvertinti, ar rezultatas tikrai \u012frodomas.<\/p>\n
Ta\u010diau kartu tai rei\u0161kia ir nauj\u0105 standart\u0105: neu\u017etenka pateikti \u012ftikinamai skamban\u010dios argumentacijos ar dalinio skai\u010diavimo, jei premijos kriterijus yra formaliai patikrintas kodas. Praktikoje tai gali paskatinti kurti atviresnes \u012frodym\u0173 bazes, didinti skaidrum\u0105 ir ai\u0161kiau atskirti hipotezes nuo grie\u017etai patvirtint\u0173 teigini\u0173.<\/p>\n
\u201eMano turtas kilo i\u0161 matematikos ir gr\u012f\u0161 \u012f matematik\u0105\u201c, \u2013 sak\u0117 Justin Sun.<\/p>\n
Prane\u0161ime taip pat nurodoma, kad priz\u0173 i\u0161mok\u0117jimai bus atliekami stabiliosiomis kriptovaliutomis, o i\u0161mok\u0117jim\u0173 apskaita fiksuojama blok\u0173 grandin\u0117je. Toks sprendimas gali suteikti daugiau vie\u0161o atsekamumo, ta\u010diau reali iniciatyvos vert\u0117 galiausiai priklausys nuo to, ar u\u017edavini\u0173 s\u0105ra\u0161as, \u012frodym\u0173 kodas ir tikrinimo proced\u016bros bus i\u0161 ties\u0173 vie\u0161os, ai\u0161kios ir nuosekliai pri\u017ei\u016brimos.<\/p>\n
Matematikos bendruomenei svarbiausias klausimas i\u0161lieka paprastas: ar premija taps patikimu post\u016bmiu formalios verifikacijos kult\u016brai, ar tik dar vienu garsiu pa\u017eadu. Jei organizatoriai u\u017etikrins atvir\u0105 prieig\u0105, nepriklausom\u0105 patikr\u0105 ir ai\u0161kius standartus, iniciatyva gali papildyti tradicinius apdovanojimus tuo, ko jiems da\u017enai tr\u016bksta \u2013 ma\u0161ini\u0161kai patikrinamu, vie\u0161ai audituojamu mokslo rezultatu.<\/p>\n","protected":false},"excerpt":{"rendered":"
Justin Sun paskelb\u0117 apie matematikos premij\u0105 iki 930 000 eur\u0173, skirt\u0105 u\u017edavini\u0173 sprendimams su formalia verifikacija ir DI vaidmeniu.<\/p>\n","protected":false},"author":0,"featured_media":55497,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[94],"tags":[115,42369,42822,114,8165,816,38832],"miestas":[],"class_list":["post-55496","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-finansai","tag-bitcoin","tag-formalioji-verifikacija","tag-justin-sun","tag-kriptovaliutos","tag-matematika","tag-openai","tag-tron"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/55496","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=55496"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/55496\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/55497"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=55496"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=55496"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=55496"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=55496"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}