Verslininkas Justinas Sunas prane\u0161\u0117 \u012fkuriantis \u201eJustin Sun Prize\u201c \u2013 nauj\u0105 tarptautin\u0119 iniciatyv\u0105, kuri apdovanos prover\u017eius matematikoje ir formaliame \u012frodym\u0173 tikrinime. Organizatori\u0173 teigimu, prizas kuriamas kaip decentralizuota akademini\u0173 u\u017edavini\u0173 sistema, kurioje svarbiausia ne institucinis svoris, o pats patikrinamas rezultatas.<\/p>\n
Skelbiama, kad did\u017eiausia vieno u\u017edavinio premija gali siekti iki 900 000 eur\u0173. Apdovanojim\u0173 mechanizmas remiasi vie\u0161u u\u017edavini\u0173 s\u0105ra\u0161u, o laim\u0117toju laikomas pirmasis, pateik\u0119s reikalavimus atitinkant\u012f sprendim\u0105 ir ma\u0161ini\u0161kai patikrinam\u0105 formalizuot\u0105 \u012frodym\u0105.<\/p>\n
Pasak iniciatori\u0173, \u201eJustin Sun Prize\u201c atsisako tradicini\u0173 nominacij\u0173, rekomendacij\u0173 ir cikli\u0161k\u0173 komisij\u0173 darbo ritm\u0173. Vietoje to prizas siejamas tiesiogiai su konkre\u010diais matematikos u\u017edaviniais, o \u012frodymo kokyb\u0117 vertinama pagal grie\u017et\u0105 formalizavim\u0105 ir verifikavim\u0105.<\/p>\n
Praktikoje tai rei\u0161kia, kad apdovanojim\u0105 teori\u0161kai gali gauti bet kas, jei tik pateikiamas sprendimas atitinka taisykles ir gali b\u016bti patikrintas formaliomis priemon\u0117mis. Iniciatyva taip pat pabr\u0117\u017eia, kad n\u0117ra skirties tarp \u017emogaus darbo ir DI ind\u0117lio, jei galutinis \u012frodymas yra patikrinamas.<\/p>\n
Kartu paskelbti ir pirmieji \u201eJustin Sun Prize\u201c laureatai u\u017e sprendimus bei formalizuotus \u012frodymus, susijusius su 66 matematikos u\u017edaviniais. Did\u017eiausias apdovanojimas, kaip skelbiama prane\u0161ime, atiteko \u201eOpenAI\u201c tyr\u0117j\u0173 komandai u\u017e sprendim\u0105 ir formalizuot\u0105 \u012frodym\u0105, siejam\u0105 su trima\u010di\u0173 Navier\u2013Stokso lyg\u010di\u0173 egzistavimo ir glodumo problema.<\/p>\n
Navier\u2013Stokso lygtys apra\u0161o skys\u010di\u0173 ir duj\u0173 jud\u0117jim\u0105, tod\u0117l j\u0173 taikymai svarb\u016bs nuo aerodinamikos iki klimato modeli\u0173. \u0160i tema ypa\u010d \u017einoma d\u0117l to, kad 2000 metais Clay Mathematics Institute j\u0105 \u012ftrauk\u0117 \u012f Septyni\u0173 t\u016bkstantme\u010dio u\u017edavini\u0173 s\u0105ra\u0161\u0105, kuriame u\u017e sprendim\u0105 numatyta 900 000 eur\u0173 siekianti premija.<\/p>\n
Pastaraisiais metais matematikoje ir program\u0173 in\u017einerijoje vis didesn\u012f vaidmen\u012f \u012fgauna formali verifikacija, kai \u012frodymas ar algoritmo teisingumas pateikiamas taip, kad j\u012f gali patikrinti specialios sistemos. Tai ma\u017eina dviprasmybi\u0173 rizik\u0105 ir leid\u017eia tiksliau atsekti, kokiomis prielaidomis remiamasi.<\/p>\n
\u201eJustin Sun Prize\u201c koncepcija remiasi b\u016btent \u0161iuo principu: apdovanojamas ne vien id\u0117jos originalumas, bet ir tai, ar \u012frodymas gali b\u016bti patvirtintas ma\u0161ini\u0161kai. Organizatori\u0173 teigimu, taip siekiama spartinti fundamentinius tyrimus ir geriau prisitaikyti prie poky\u010di\u0173, kuriuos \u012f moksl\u0105 atne\u0161a DI \u012frankiai.<\/p>\n
\u201eMano turtas kilo i\u0161 matematikos ir \u012f matematik\u0105 sugr\u012f\u0161\u201c, \u2013 sak\u0117 Justinas Sunas.<\/p>\n
Prane\u0161ime taip pat teigiama, kad u\u017edavini\u0173 s\u0105ra\u0161as bus nuolat pildomas ir vie\u0161ai atnaujinamas, o jau \u012ftraukti u\u017edaviniai nebus \u0161alinami. Nurodoma, kad apdovanojim\u0173 i\u0161mok\u0117jimo \u012fra\u0161ai bus fiksuojami blok\u0173 grandin\u0117je, o pati iniciatyva akcentuoja atvirum\u0105, vie\u0161\u0105 naud\u0105 ir atvir\u0105j\u012f kod\u0105.<\/p>\n
Numatoma, kad prizas gal\u0117s b\u016bti i\u0161mokamas stabiliosiomis kriptovaliutomis, o mok\u0117jimo b\u016bdas bus pasirenkamas laim\u0117tojo. Organizatori\u0173 tikinimu, tai tur\u0117t\u0173 supaprastinti tarptautinius atsiskaitymus, ta\u010diau praktinis \u012fgyvendinimas ir skaidrumo standartai taps vienu svarbiausi\u0173 aspekt\u0173, nuo kuri\u0173 priklausys iniciatyvos patikimumas akademin\u0117je bendruomen\u0117je.<\/p>\n","protected":false},"excerpt":{"rendered":"
Justinas Sunas paskelb\u0117 apie \u201eJustin Sun Prize\u201c: iki 900 000 eur\u0173 u\u017e matematikos prover\u017eius, paremtus formaliai patikrinamais \u012frodymais.<\/p>\n","protected":false},"author":0,"featured_media":54930,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[94],"tags":[115,42369,42368,42367,114,8165,42370],"miestas":[],"class_list":["post-54929","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-finansai","tag-bitcoin","tag-formalioji-verifikacija","tag-justin-sun-prize","tag-justinas-sunas","tag-kriptovaliutos","tag-matematika","tag-navier-stokso-lygtys"],"acf":[],"_links":{"self":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/54929","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=54929"}],"version-history":[{"count":0,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/posts\/54929\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media\/54930"}],"wp:attachment":[{"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/media?parent=54929"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/categories?post=54929"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/tags?post=54929"},{"taxonomy":"miestas","embeddable":true,"href":"https:\/\/cp.snarskis.lt\/index.php\/wp-json\/wp\/v2\/miestas?post=54929"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}