ما هي جائزة جستن صن؟

ببساطة، @justinsuntron قد خصصت أموالاً كجائزة لأي شخص يستطيع بنجاح إثبات مسائل رياضية صعبة.

يعترف النظام بمساهمين اثنين:

1. المُثبت: الشخص الذي يحل المسألة ويثبتها
2. المُشكِّل/المُوَحِّد: الشخص الذي يحوّل الإثبات إلى صيغة يمكن للحاسوب التحقق منها بشكل رسمي

يمكن أن يكون المساهم إنساناً أو ذكاءً اصطناعياً أو مزيجاً من كليهما.

طالما أن الإثبات النهائي يمكن التحقق منه بواسطة حاسوب بدرجة 100% من الدقة. 🤖

والأمر المثير للاهتمام هو أنه إذا كان شخص ما قد حل مسألة بالفعل، لكن الإثبات لم تتم بعد صياغته/توحيده للتحقق بواسطة الحاسوب، فإن أموال الجائزة تظل محجوزة وتظهر الحالة على النحو التالي:

"تم إثباته، بانتظار الصياغة/التوحيد."

وهذا يتيح للجميع رؤية أن المسألة قد تم حلها، ولكن ما يزال هناك مكافأة بانتظار شخص يجعل الإثبات قابلاً للتحقق بواسطة الآلة.

تكون أموال الجائزة محجوزة على سلسلة الكتل (بلوك تشين)، حيث يمكن لأي شخص التحقق منها. بمجرد أن يمر الإثبات بعملية التحقق، يتم إطلاق الجائزة. 💰

الهدف من جائزة جستن صن هو، في الأساس، إنشاء سوق مكافآت للمسائل الرياضية، وتسريع عملية تحويل الإثباتات الرياضية البشرية إلى شيء يمكن للذكاء الاصطناعي والحواسيب التحقق منه رسمياً. 🥳

باختصار:

الإنسان يثبت ذلك → شخص ما يهيّئ/يوحّد الإثبات → الآلة تتحقق منه → تُدفع الجائزة 💰

#TRON #TGF