जस्टिन सन प्राइज एक शोध परियोजना है जो गणितीय कठिन समस्याओं को हल करती है और उनके सबूतों को Lean के साथ औपचारिक रूप देकर कंप्यूटर द्वारा सत्यापित करती है। @trondao @TronDao_KOR विशेषज्ञ शोधकर्ता, स्वतंत्र शोधकर्ता और AI सहयोगी टीमें भी इसमें शामिल हो सकती हैं। इसके अलावा, आप एक खुली समस्या संग्रह से कोई भी समस्या चुन सकते हैं और उसका समाधान प्रस्तुत कर सकते हैं। भागीदारों को मुख्य रूप से Solver और Lean Formalizer के रूप में विभाजित किया गया है, जहाँ मूल इनाम 70% Solver को और 30% Lean Formalizer को दिया जाता है। अगर कोई व्यक्ति दोनों भूमिकाएँ निभाता है, तो वह पूरा इनाम प्राप्त कर सकता है। अगर पहले से ही समुदाय द्वारा सत्यापित Lean औपचारिकीकरण मौजूद है, तो आप एक नया PR नहीं भेज सकते, बल्कि उस औपचारिकीकरण के लिंक और संबंधित जानकारी को पंजीकृत करके आवेदन कर सकते हैं। जब आप समस्या का हल ढूंढ़ते हैं और Lean औपचारिकीकरण पूरा करते हैं, तो प्रक्रिया के माध्यम से Pinnacle, Breakthrough, Landmark, Advance, Contribution जैसे स्तरों में से कोई स्तर प्राप्त करते हैं, जिसके आधार पर इनाम निर्धारित होता है। सबसे उच्च स्तर Pinnacle पर, मुख्य कठिन समस्या के हल के लिए 10,00,000 डॉलर का इनाम निर्धारित है। इनाम का निर्धारण समस्या के महत्व, अनसुलझे होने की अवधि, शोध परिणामों की शैक्षणिक मान्यता, और हल की पूर्णता के समग्र मूल्यांकन पर आधारित होता है। जब आप पुरस्कारविजेता के रूप में चुने जाते हैं, तो पुरस्कार प्राप्त करने के लिए अलग से Claim और KYC प्रक्रिया पूरी करनी होगी। ध्यान दें: कोई भी प्राधिकृत प्रक्रिया में आपके प्राइवेट की, सीड फ्रेज़, या कोई संवेदनशील जानकारी माँगने के लिए संपर्क नहीं करेगी। यह प्रोजेक्ट महत्वपूर्ण गणितीय समस्याओं को हल करने की क्षमता के साथ-साथ Lean का प्रयोग करके औपचारिकीकरण कौशल को विकसित करने का मौका प्रदान करता है। #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR