📢 الرياضيات بتاخد مساحة جديدة… وجائزة Justin Sun بتحط البرهان في قلب المنافسة 🏆📐
Justin Sun Prize بتقدم مكافآت ممكن توصل لـ$1M مقابل إنجازات مهمة في الرياضيات الأساسية، مع تركيز على البراهين الرسمية اللي تقدر الآلات تتحقق منها.
🧠 البرنامج بيضم 66 مسألة مرتبطة بالحلول والبراهين الرسمية، وبيفتح المجال أمام مسائل رياضية أساسية مختلفة.
💻 الفكرة مش بس الوصول لإجابة صحيحة، لكن تحويل النتيجة إلى Formal Proof يمكن التحقق منه باستخدام أدوات برمجية، وده بيخلق تقاطع واضح بين الرياضيات والـAI.
🤖 وبحسب الإعلان، من أوائل الفائزين فريق بحثي من OpenAI عن عمل مرتبط بمسألة Navier-Stokes.
🌍 كمان المشاركة مش معتمدة على الترشيحات أو الشهادات الأكاديمية، لكن على المساهمة نفسها وهل تم حل المسألة وإثباتها بالشكل المطلوب.
🎯 الخلاصة: الجائزة بتقدم نموذج مختلف لمكافأة الإنجازات الرياضية، يجمع بين الرياضيات الأساسية، البراهين القابلة للتحقق، والـAI، مع مكافآت تصل لـ$1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
Justin Sun Prize بتقدم مكافآت ممكن توصل لـ$1M مقابل إنجازات مهمة في الرياضيات الأساسية، مع تركيز على البراهين الرسمية اللي تقدر الآلات تتحقق منها.
🧠 البرنامج بيضم 66 مسألة مرتبطة بالحلول والبراهين الرسمية، وبيفتح المجال أمام مسائل رياضية أساسية مختلفة.
💻 الفكرة مش بس الوصول لإجابة صحيحة، لكن تحويل النتيجة إلى Formal Proof يمكن التحقق منه باستخدام أدوات برمجية، وده بيخلق تقاطع واضح بين الرياضيات والـAI.
🤖 وبحسب الإعلان، من أوائل الفائزين فريق بحثي من OpenAI عن عمل مرتبط بمسألة Navier-Stokes.
🌍 كمان المشاركة مش معتمدة على الترشيحات أو الشهادات الأكاديمية، لكن على المساهمة نفسها وهل تم حل المسألة وإثباتها بالشكل المطلوب.
🎯 الخلاصة: الجائزة بتقدم نموذج مختلف لمكافأة الإنجازات الرياضية، يجمع بين الرياضيات الأساسية، البراهين القابلة للتحقق، والـAI، مع مكافآت تصل لـ$1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
