💥 جاستن صُن، جائزة قد تصل إلى مليون دولار في الرياضيات!؟

جاستن صُن، الذي أسّس
"جائزة جاستن صُن"
شيء ممتع للغاية

وهي آلية جديدة تمنح مكافأة لمن يحل
المسائل الرياضية الصعبة.

وليس البشر فقط من يمكنهم التحدي‼️

🧠 البشر
🤖 الذكاء الاصطناعي
🤝 البشر + الذكاء الاصطناعي

أي طريقة مناسبة👌

المهم ليس "من حلّ"،
بل ما إذا كان
برهانُ تلك الرياضيات صحيحًا بالفعل.

لذلك نستخدم نظام الرياضيات المُنظَّمة "Lean"،
ونقوم بالتحقق من البرهان
باستخدام الكمبيوتر.

💰 الجائزة حتى مليون دولار
／
الرياضيات × الذكاء الاصطناعي × التحقق الآلي × الجائزة
＼
في عصر الذكاء الاصطناعي القادم،
هل سيصبح من الطبيعي أن
يحل الذكاء الاصطناعي مسائل رياضية صعبة؟

تابعوا هذه الجائزة الرياضية غير المعتادة التي يخطط لها جاستن صُن💡
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨