مشروع جاستين سون برايز هو مشروع بحثي يهدف إلى حل معضلات رياضية وتوثيق إثباتاتها بلغة Lean للتحقق الآلي بواسطة الحاسوب. @trondao @TronDao_KOR يمكن للمتخصصين الباحثين، والباحثين المستقلين، وفرق التعاون بين الذكاء الاصطناعي والبشر المشاركة. كما يمكنكم اختيار أي مسألة من بنك المسائل المفتوح والمشاركة في حلها. يُقسّم المشاركون إلى فئتين رئيسيتين: Solver وLean Formalizer، ويُوزّع المبلغ الأساسي للجائزة بنسبة 70% للـ Solver و30% للـ Lean Formalizer. إذا قام شخص واحد بأداء كلا الدورين، فسيحصل على كامل مبلغ الجائزة. إذا كان هناك بالفعل توثيق مُعتمد من المجتمع باستخدام Lean، فيمكنك التقدم عن طريق تقديم رابط التوثيق والمعلومات ذات الصلة دون الحاجة إلى إرسال PR جديد. عند حل المسألة وإكمال التوثيق باستخدام Lean، تخضع الحلول للتقييم وتُمنح درجات مثل Pinnacle وBreakthrough وLandmark وAdvance وContribution، والتي تحدد مقدار الجائزة. الدرجة الأعلى، Pinnacle، مخصصة لحل المعضلات الأساسية وتُقدّم لها جائزة قدرها مليون دولار أمريكي. تُحدد الجائزة بناءً على تقييم شامل لأهمية المسألة ومدة عدم حلها، ودرجة الاعتراف الأكاديمي للنتائج، ودرجة إتقان الحل. بعد اختيارك كفائزين، ستتلقى الجائزة بعد إجراء إجراءات المطالبة (Claim) وKYC المنفصلة. احذر من أي اتصال يطلب معلومات حساسة مثل المفتاح الخاص أو عبارة الاسترداد، فهي ليست جزءًا من الإجراءات الرسمية. يمكن اعتبار هذا المشروع فرصة لتطوير قدراتك في حل المشكلات الرياضية وقدراتك على التوثيق باستخدام Lean، مع التحدي المباشر لمشاكل بحثية حقيقية. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR