TRON asoschisi Jastin San murakkab matematik masalalarni yechish va isbotlarni mashinada tekshiruv uchun rasmiylashtirishga mo‘ljallangan yangi mukofot — Justin Sun Prize’ni ta’sis etishini e’lon qildi.
G‘oya an’anaviy ilmiy mukofotlardan sezilarli darajada farq qiladi. Bu yerda yosh cheklovlari, yillik marosim yoki komissiyaning klassik ovoz berishi yo‘q. Mukofotni olishning asosiy sharti — matematik isbot yakunda xatosiz to‘liq mashinada tekshiruvdan o‘tishi.
Eng qiziq tomoni shundaki, mukofot qoidalari dastlab yangi reallikni hisobga oladi: masalalarni odamlar, sun’iy intellekt yoki AI bilan birga insonlar yechishi mumkin.
Bitta matematik masala uchun ikkita mukofot
Har bir masala uchun ikkita alohida rol nazarda tutilgan.
Birinchi — prover, ya’ni matematik isbotning muallifi.
Ikkinchi - formalizator, ya’ni bu isbotni shunday qat’iy shaklga o‘tkazadigan inson yoki tizimki, u kompyuter tomonidan har bir bosqich tekshirilishi mumkin.
Bu rollarni bitta ishtirokchi bajarishi ham mumkin, butunlay boshqa odamlar ham bo‘lishi mumkin. Shunda ham San aniq aytadiki, natijani kim olgani unga ahamiyat bermaydi: insonmi, AImi yoki ularning kombinatsiyasimi.
Agar matematika hamjamiyati yangi isbotni to‘g‘ri deb tan olsa, uning muallifi nomi darhol qayd etiladi. Biroq pul “Proved, pending formalization” maqomi bilan rasmiylashtirish yakunlanib, mashina tekshiruvi o‘tkazilguncha bloklangan bo‘lib qoladi.
Qiziqarli model chiqyapti. Teoremani isbot qilishning o‘zi yetarli emas — isbot mashina uchun to‘liq tushunarli va tekshiriladigan bo‘lishi ham zarur.
San nima uchun matematik mukofot yaratishga qaror qildi
Jastin San o‘z motivatsiyasini kriptoindustriyaning kelib chiqishi bilan bevosita bog‘laydi. U blokcheyn matematika va kriptografiya tufayli mavjudligini aytadi: elliptik egri chiziqlar, xesh-funksiyalar va boshqa matematik tuzilmalar.
Uning so‘zlariga ko‘ra, o‘zining boyligining katta qismi aynan shu kashfiyotlar asosida qurilgan sanoat orqali orttirilgan, shuning uchun olingan mablag‘ning bir qismini qaytadan fundamental matematikaga yo‘naltirish uchun mukofot yaratish mumkin.
Tarixiy misol sifatida San matematik Pala Erdosini eslaydi: u ochiq matematik masalalarni yechish uchun o‘zining shaxsiy pul mukofotlarini $25 dan $10 000 gacha miqdorlarda tayin qilgan. Justin Sun Prize aslida g‘oyani AI va blokcheyn davriga ko‘chiradi.
Nega bu yerda sun’iy intellekt juda muhim
Sanning fikricha, matematika mutlaqo yangi davrga qadam qo‘ymoqda. AI ayniqsa mantiqiy mulohaza yuritish va yechimning juda ko‘p mumkin bo‘lgan yo‘llarini saralash bilan bog‘liq vazifalarda juda yaxshi. Shuning uchun matematik isbotlarning paydo bo‘lishi va tekshirilish tezligi sezilarli darajada oshishi mumkin.
Shuning uchun mukofot bir necha yilda bir marta o‘tkazilmaydi. Aksincha, oldindan belgilangan mukofotlar bilan doimiy to‘ldirilib boriladigan matematik masalalar reyestri yaratiladi.
San ro‘yxatga qaysi masalalar kirishi va ularni yechish qancha turishi kerakligini belgilash huquqini o‘zida saqlab qoladi. Biroq masala ro‘yxatga qo‘shilgach, uni olib tashlab bo‘lmaydi va unga mo‘ljallangan mukofotni yana homiyga qaytarib bo‘lmaydi.
Blokcheyn — tashkilotchiga ishonch o‘rniga
Justin Sun Prize’ning yana bir noodatiy tomoni — mukofot jamg‘armasi uchun blokcheyndan foydalanish. Sanning so‘zlariga ko‘ra, dastlabki jamg‘arma o‘zidan oncheynga joylashtirilgan va uning manzili hamda balansi omma uchun ochiq. San esa faqat yangi mablag‘lar qo‘shish imkoniyatini o‘zida qoldiradi.
G‘oliblarga to‘lanadigan barcha to‘lovlar ham blokcheynda qolishi kerak, bu esa mukofotlar taqsimoti tarixini mustaqil ravishda tekshirish imkonini beradi. G‘olib bo‘lgan matematik isbotlarni ochiq e’lon qilish rejalashtirilgan.
Shunday qilib, San o‘ziga yoki alohida komissiyaga ishonish zaruriyatini kamaytirishni istaydi: rasmiylashtirilgan isbotning to‘g‘riligini matematika va mashinaviy tekshiruv belgilashi kerak, mukofot mablag‘lari harakati esa oncheynda qayd etilishi lozim.
Mukofot faqat odamlarga cheklanmagan
Ehtimol, Justin Sun Prize’ning eng g‘ayrioddiy xususiyati aynan shu yerda. An’anaviy ilmiy mukofotlar insonlarning yutuqlarini tan olish uchun yaratilgan. Yangi tizimda yechimning kelib chiqishi (qayerdan chiqqani) prinsipial ahamiyatga ega bo‘lmasligi kerak.
Agar AI o‘zi isbot topsa, yoki inson uni AI bilan birgalikda olsa, natija xuddi o‘sha shartlar asosida tan olingan bo‘lishi mumkin. Muhimi isbotning to‘g‘riligidir va uni formal tekshirish imkoniyati. Bu mukofotni matematika, AI va blokcheyn kesishmasida o‘tkaziladigan tajribaga ham aylantiradi.
Mukofot nega Jastin Sun nomi bilan atalgan
San alohida ravishda yechimni ham mukofotni o‘z nomi bilan atash g‘oyasini tushuntiradi. U Nobel, Fields, Abel va Tyuring mukofotlariga misol keltiradi va shaxsiy nom tashabbusni kompaniya va institutlardan mustaqil ravishda mavjud bo‘lishiga imkon beradi, deb hisoblaydi.
Bundan tashqari, 36 yoshli San allaqachon to‘plangan holat unga yetarli ekanini va u mablag‘ning keyingi taqdirini o‘zi mustaqil belgilamoqchi ekanini yozadi: matematika tufayli olingan kapital matematikaga qaytishi kerak.
Bundan tashqari, u o‘zining keyingi xayriya harakatlarini aynan Justin Sun Prize’ga yo‘naltirish niyati borligini aytadi, chunki u bu tashabbusni uning eng muhim bo‘lishi mumkin bo‘lgan hissasi deb hisoblaydi. Hozircha mukofot faqat matematikaga bag‘ishlanadi.
Xulosa
Justin Sun Prize’da eng qiziq narsa hatto mukofot jamg‘armasining o‘zi ham emas, balki sun’iy intellekt davri uchun ilmiy rag‘batning yangi modelini yaratishga urinishdir. Bu yerda bir paytning o‘zida uch yo‘nalish birlashadi: matematika masalani beradi, AI uni yechishda va rasmiylashtirishda ishtirok etishi mumkin, blokcheyn esa rag‘batning shaffofligini ta’minlaydi.
Eng muhim jihat — inson va mashina o‘rtasida qat’iy bo‘linish yo‘qligi. Agar AI haqiqatan ham jiddiy matematik masalalarni o‘zi yecha boshlasa, Justin Sun Prize potensial tarzda shunday natijalar faqat namoyish etilmay, balki rasmiy tekshiriladigan, qayd etiladigan va iqtisodiy qiymat oladigan tajribalardan biriga aylanishi mumkin.
Endi asosiy savol shuki, rasmiy reyestrga aynan qaysi yechilmagan matematik masalalar kiritiladi va San ularni yechish uchun qanday miqdorlarni belgilaydi.