الابن: لماذا ندرس الرياضيات يا أبي؟ عندما نكبر ونعمل، لن نستخدمها أبداً 😑 الأب: الآن هناك جوائز نقدية مقابل حل مسائل رياضية، وأعلى جائزة تصل إلى 1,000,000 دولار أمريكي أو حوالي 32 مليون باهت. الابن: يا أبي، أعتقد أنني يجب أن أكون جاداً في دراستي منذ الصف الرابع 😭📐 جائزة جاستين سان تفتح مسائل رياضية للجميع حول العالم لمحاولة حلها، ويجب على من يثبت الحل أن يكتب إثباته باستخدام Lean ليتم التحقق منه فعلياً من قبل الحاسوب 🧠💻 هناك عدة مستويات للجوائز، وأعلاها يصل إلى مليون دولار 💰 إذا كان لديك أصدقاء مهتمون بالرياضيات أو البحث أو Lean، فقم بوضع علامة عليهم الآن، فقد لا يجيبون على الرسائل لأنهم مشغولون بالبحث عن 32 مليون باهت 😂👇 (التفاصيل في الاقتباس) #TGF #TronGlobalFriends @justinsuntron @trondao @TronDao_THA