🏆 جائزة جاستن صن تفتح آفاقًا جديدة أمام مطوري البرمجيات والباحثين!
حل المشكلات خطوة مهمة، لكن إثبات صحة الحل لا يقل أهمية عنها. ومن هذا المنطلق، يسلّط برنامج The Justin Sun Prize الضوء على دورين أساسيين في عالم البرمجة والتحقق الرياضي، من خلال آلية مكافآت تجمع بين الابتكار والدقة.
🔍 كيف يتم توزيع المكافآت؟
يعتمد البرنامج على تقسيم الجائزة بين مهمتين رئيسيتين:
🔹 70% لمحلّل المشكلة (Problem Solver):
تُمنح لمن ينجح في إيجاد حل للمشكلة المطروحة، سواء كان فردًا أو فريقًا، تقديرًا للجهد المبذول في تطوير الحل وتحقيق النتيجة المطلوبة.
🔹 30% لمُ formalizer (Lean Formalizer):
تُخصص لمن يتولى تحويل الحل إلى صيغة رياضية رسمية باستخدام لغة Lean، وهي أداة متخصصة تساعد على التحقق من صحة البراهين الرياضية بصورة دقيقة وقابلة للفحص.
💡 والأكثر إثارة للاهتمام؟
إذا تمكن الشخص نفسه أو الفريق ذاته من إنجاز المهمتين، فيمكنه الحصول على 100% من قيمة الجائزة، وذلك وفقًا للشروط والقواعد المعتمدة للبرنامج.
🔗 للاطلاع على التفاصيل والشروط:
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
حل المشكلات خطوة مهمة، لكن إثبات صحة الحل لا يقل أهمية عنها. ومن هذا المنطلق، يسلّط برنامج The Justin Sun Prize الضوء على دورين أساسيين في عالم البرمجة والتحقق الرياضي، من خلال آلية مكافآت تجمع بين الابتكار والدقة.
🔍 كيف يتم توزيع المكافآت؟
يعتمد البرنامج على تقسيم الجائزة بين مهمتين رئيسيتين:
🔹 70% لمحلّل المشكلة (Problem Solver):
تُمنح لمن ينجح في إيجاد حل للمشكلة المطروحة، سواء كان فردًا أو فريقًا، تقديرًا للجهد المبذول في تطوير الحل وتحقيق النتيجة المطلوبة.
🔹 30% لمُ formalizer (Lean Formalizer):
تُخصص لمن يتولى تحويل الحل إلى صيغة رياضية رسمية باستخدام لغة Lean، وهي أداة متخصصة تساعد على التحقق من صحة البراهين الرياضية بصورة دقيقة وقابلة للفحص.
💡 والأكثر إثارة للاهتمام؟
إذا تمكن الشخص نفسه أو الفريق ذاته من إنجاز المهمتين، فيمكنه الحصول على 100% من قيمة الجائزة، وذلك وفقًا للشروط والقواعد المعتمدة للبرنامج.
🔗 للاطلاع على التفاصيل والشروط:
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
