Justin Sun Prize matematik mukofotlarni topshirish tartibini tushuntirdi. Tadqiqotchi to‘g‘ri isbotni taqdim etgan taqdirda ham, bu mukofotni avtomatik ravishda qo‘lga kiritishini anglatmaydi. Avval ish texnik tekshiruvdan o‘tadi, keyin esa har kim 14 kun ichida e’tiroz bildirishi mumkin bo‘lgan ochiq da’voga aylanadi.
Yangi tushuntirishlar Justin Sun Prize’ning rasmiy GitHub repozitoriyasida e’lon qilindi. Ular matematik yutuqlarni baholash shaffofligini oshirishga qaratilgan.
Isbotdan rasmiy mukofotgacha
MathDB pilot dasturidan tashqaridagi masalalar uchun amal qiladigan Justin Sun Prize’ning standart tartibi bir necha bosqichni nazarda tutadi.
Birinchi bosqich — matematik yechimni taqdim etish.
Tadqiqotchi masalaning to‘liq isbotini va muallifligini tasdiqlovchi hujjatni taqdim etadi.
Zarurat bo‘lsa, boshqa mutaxassis matematik mulohazalarning to‘g‘riligini dasturiy tekshirish imkonini beruvchi Lean tizimida isbotni formallashtirishi mumkin.
Bunda matematik yechim muallifi va uning formallashtirilgan shakli muallifi turli odamlar bo‘lishi mumkin.
Ikkinchi bosqich — nomzodni tekshirish va ro‘yxatga kiritish.
Tashkilotchilar matematik natijani, formal isbotning dastlabki masalaga mosligini va taqdim etilgan materiallarni tekshiradilar.
Kerakli tekshiruvlardan so‘ng ish nomzodlarning ochiq reyestriga kiritilishi mumkin.
Muhim jihati shundaki, materiallarning qabul qilinishi va o‘zgarishlarning GitHub’ga qo‘shilishi mukofot berilganini anglatmaydi.
Har kim natijaga e’tiroz bildirishi mumkin bo‘lgan 14 kun
Nomzod rasmiy reyestrda e’lon qilingach, 14 kunlik ochiq tekshiruv davri boshlanadi.
Bu vaqt davomida matematika hamjamiyatining istalgan a’zosi asosli e’tiroz bildirishi mumkin.
Quyidagilarga e’tiroz bildirish mumkin:
Isbotning matematik jihatdan to‘g‘riligiga.
Taqdim etilgan natijaning muallifligiga.
Kashfiyot yoki formallashtirishning ustuvorligiga.
Ariza beruvchining shaxsiga.
Mukofotni olish shartlariga muvofiqligiga.
Masalan, boshqa tadqiqotchi to‘g‘ri yechimni avvalroq topganini tasdiqlay olsa, tashkilotchilar taqdim etilgan dalillarni o‘rganishi shart. Ustuvorlikni aniqlashda faqat nashr yoki Git kommit sanalari emas, balki ish yaratilgan vaqtni tasdiqlovchi mustaqil dalillar ham hisobga olinadi.
Ochiq tekshiruv davomida asosli e’tiroz kelib tushsa, nizo hal etilmaguncha jarayon yakunlanmaydi.
Agar nomzod boshqa muallif bilan almashtirilgani tasdiqlansa, tegishli natija uchun alohida 14 kunlik davr boshlanadi.
Tadqiqotchi qachon rasman mukofot oladi?
Ikki haftalik davr muvaffaqiyatli yakunlangan taqdirda ham, mukofot darhol to‘lanmaydi.
Mukofotni rasman berish uchun shaxsni tekshirishni yakunlash, mukofot oluvchini tasdiqlash va hal etilmagan e’tirozlar yoki raqobatdosh arizalar yo‘qligiga ishonch hosil qilish kerak.
Faqat barcha talablar bajarilgandan keyingina natija nomzodlar ro‘yxatidan laureatlarning rasmiy reyestriga o‘tkaziladi.
Shundan so‘ng tashkilotchilar mukofot berilganini e’lon qiladi va belgilangan to‘lovni amalga oshiradi.
Demak, Justin Sun Prize’ning ochiq ro‘yxatidagi nomzod va tasdiqlangan laureat — ikki xil maqom.
MathDB bilan hamkorlik nima bo‘ldi?
Yaqinda Justin Sun Prize professor Toni Yue Yu (Caltech) ilmiy rahbarligidagi MathDB matematik platformasi bilan hamkorlikni e’lon qildi.
Hamkorlik doirasida 50 ta matematik masaladan iborat pilot dastur ishga tushirildi.
Ushbu dastur uchun materiallarni topshirish va yechimlarni tekshirishning alohida tartibi belgilangan. U matematik yechimlar, Lean tizimidagi formallashtirishlar va tushuntirishlarni mustaqil baholashni ham o‘z ichiga oladi.
Shu sababli GitHub’dagi standart tartibni pilot dasturdagi barcha masalalarga avtomatik ravishda tatbiq etib bo‘lmaydi.
Shu bilan birga, ochiq tekshiruv, mualliflikni aniqlash va mukofot oluvchilarni tasdiqlash mukofot berish jarayonining muhim qismlari bo‘lib qoladi.
Bu matematika va sun’iy intellekt uchun nega muhim?
Bugungi kunda sun’iy intellekt matematik farazlarni izlash va isbotlar tuzishda tobora faol qo‘llanmoqda. Ammo sun’iy intellekt ishonarli yechim taklif qilgan taqdirda ham, bu uning matematik jihatdan to‘g‘ri ekanini anglatmaydi.
Ochiq tekshiruv boshqa tadqiqotchilarga xatolarni aniqlash, mualliflikni tekshirish va natijalarning ustuvorligini baholash imkonini beradi.
Bu yerda isbotning formal to‘g‘riligini tekshirishga yordam beradigan Lean ayniqsa muhim rol o‘ynaydi. Biroq dasturiy tekshiruvning muvaffaqiyatli yakunlanishi isbotlangan fikrning dastlabki masalaga mosligini ekspert baholash o‘rnini bosa olmaydi.
Xulosa
14 kunlik ochiq tekshiruv matematik mukofotlarni berishning to‘g‘ri yondashuvidir, ayniqsa gap murakkab masalalar va katta pul mukofotlari haqida ketganda.
Muhimi, yechim faqat muallifning bayonoti yoki dastlabki texnik tekshiruv asosida yakuniy deb tan olinmaydi.
Boshqa tadqiqotchilar natijani tekshirish, o‘z dalillarini taqdim etish va kashfiyotning ustuvorligiga e’tiroz bildirish imkoniga ega bo‘ladilar. Shu bilan birga, tashkilotchilar mukofot oluvchining shaxsini va mukofot olish huquqini alohida tekshiradilar.
Sun’iy intellekt davrida bunday tizim ayniqsa dolzarb bo‘lib bormoqda: istiqbolli yechimni topish — ishning faqat bir qismi. Uning to‘g‘riligini isbotlash va mualliflikni tasdiqlash ham zarur.
Agar Justin Sun Prize ushbu qoidalarni izchil qo‘llay olsa, bu tashabbus ilmiy yutuqlarni baholashning ochiq tizimiga qiziqarli namuna bo‘lishi mumkin. Zero, fundamental matematika uchun mukofot miqdori emas, olingan natijaning ishonchliligi eng muhimdir.