„Justin Sun Prize“ kartu su matematikos tyrimų platforma „MathDB“ pradeda 50 uždavinių pilotinę programą, kurioje numatomi prizai iki 1 mln. eurų vienam uždaviniui. Organizatoriai teigia, kad tikslas yra sukurti aiškesnę, patikrinamą ir skaidresnę tvarką, kaip vertinami proveržiai fundamentinėje matematikoje.
Pilotas apima skirtingo lygio uždavinius, tarp jų minimi ir vieni garsiausių atvirų klausimų, pavyzdžiui, P ir NP problema bei Rymano hipotezė. Bendra idėja paprasta: apdovanojamas ne tik rezultatas, bet ir jo patikimumas bei gebėjimas jį aiškiai perteikti.
Sprendimų pateikimas ir pirminė peržiūra vyks per „MathDB“, kuri priims pateiktus darbus, tikrins Lean formalizacijas ir vertins aiškinamąją medžiagą. Tuo pat metu „Justin Sun Prize“ atskirai vertins tinkamumą, autorystę, pirmenybę ir kitas programos sąlygas.
„DI keičia tai, kaip greitai galima tyrinėti matematiką, tačiau vien greitis dar nėra mokslinė pažanga“, – sakė „Justin Sun Prize“ įkūrėjas Justinas Sunas.
Pasak organizatorių, atlygis bus skaidomas į tris dalis: 50 proc. skiriama už patį matematinį sprendimą, 30 proc. už Lean formalizaciją ir 20 proc. už aiškų, suprantamą išdėstymą. Tokia struktūra atspindi pastarųjų metų tendenciją akademiniame pasaulyje daugiau dėmesio skirti ne tik idėjai, bet ir jos patikrinamumui bei pakartojamumui.
Formalus įrodymų tikrinimas kompiuteriu yra viena sparčiausiai augančių krypčių šiuolaikinėje matematikoje ir kompiuterių moksle. Lean tipo įrankiai leidžia įrodymus aprašyti taip, kad juos galėtų patikrinti įrodymų tikrintuvai, o tai mažina klaidų riziką ir palengvina kitų tyrėjų darbą, kai tenka remtis itin sudėtingais rezultatais.
„MathDB“ projektą vysto Kalifornijos technologijos instituto profesorius Tony Yue Yu ir jo komanda, kurie šiame pilote prižiūrės mokslinę dalį. Platforma apibūdinama kaip didelės apimties matematikos apibrėžimų, teoremų, hipotezių ir atvirų problemų duomenų bazė, jungianti aiškinamuosius tekstus su formalizavimo galimybėmis.
„Sprendžiant fundamentinį uždavinį dažnai gaunama daug daugiau nei atsakymas į pradinį klausimą: atsiveria netikėti ryšiai, atsiranda naujų įrankių ir krypčių“, – sakė Tony Yue Yu.
Organizatoriai pabrėžia, kad visi apdovanojimai bus teikiami tik atlikus pilną tinkamumo patikrą ir laikantis kovos su pinigų plovimu bei sankcijų reikalavimų. Detalios pilotui atrinktų uždavinių sąlygos ir pateikimo procedūros bus skelbiamos programos kanaluose per „MathDB“ ir „Justin Sun Prize“.
Tokio tipo prizai atspindi platesnę tendenciją: didėjant dirbtinis intelektas įrankių vaidmeniui moksle, vis svarbesnis tampa patikimumo standartas, kurį galima nepriklausomai patikrinti. Pilotinė programa bando sujungti tris dalykus į vieną grandinę: idėją, jos mašininį patvirtinimą ir aiškų paaiškinimą, kad rezultatas būtų naudingas platesnei bendruomenei.