نهارك سعيد يا الجميع😻
إذا كنت تبحث عن دخل إضافي، فإليك شيئًا ممتعًا.
تم فتح جائزة Justin Sun للتو أول مجموعة من 66 مسألة رياضية للأشخاص حول العالم للتحدي بأنفسهم. أعلى جائزة هي 1,000,000 دولار.
كيف تشارك؟
الخطوات الرئيسية: اختر مسألة من مستودع GitHub الرسمي → اعمل Fork للمستودع → اكتب برهانًا رسميًا في Lean لإثبات المسألة بشكل صحيح.
📌 ملخص بسيط
اختر مسألة → اكتب البرهان → اختبره → قدم PR → انتظر المراجعة
يمكن لأي شخص مهتم الاطلاع على بنك المسائل والشروط الخاصة بكل مسألة. اجتياز المراجعة لا يعني تلقائيًا أنك ستحصل على الجائزة — ما زلت بحاجة إلى اتباع قواعد المشروع.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
إذا كنت تبحث عن دخل إضافي، فإليك شيئًا ممتعًا.
تم فتح جائزة Justin Sun للتو أول مجموعة من 66 مسألة رياضية للأشخاص حول العالم للتحدي بأنفسهم. أعلى جائزة هي 1,000,000 دولار.
كيف تشارك؟
الخطوات الرئيسية: اختر مسألة من مستودع GitHub الرسمي → اعمل Fork للمستودع → اكتب برهانًا رسميًا في Lean لإثبات المسألة بشكل صحيح.
📌 ملخص بسيط
اختر مسألة → اكتب البرهان → اختبره → قدم PR → انتظر المراجعة
يمكن لأي شخص مهتم الاطلاع على بنك المسائل والشروط الخاصة بكل مسألة. اجتياز المراجعة لا يعني تلقائيًا أنك ستحصل على الجائزة — ما زلت بحاجة إلى اتباع قواعد المشروع.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
