تم التأكيد رسميًا على الفائزين بالمجموعة الأولى من جائزة Justin Sun 👏
تهانينا لـ Wouter van Doorn وYanyang Li وQuanyu Tang على نجاحهم في حل مسائل من فهرس Erdős. ويُعدّ هذا إنجازًا مهمًا آخر لمشروع تتضح فكرته كثيرًا: مكافأة الأعمال الرياضية التي يمكن إثباتها والتحقق منها وتأكيد صحتها فعليًا.
ما يميز جائزة Justin Sun هو أن المشروع لا يعطي الأولوية للشهرة أو الجامعة أو مكانة المشاركين، بل يعتمد قائمة مسائل مفتوحة ويركز على الأعمال القابلة للتحقق. ويضم ذلك من يحلّون المسائل الرياضية، وكذلك من يساعدون على تحويل تلك الإجابات إلى براهين Lean يمكن للآلة التحقق منها.
يضم بنك المسائل في المشروع حاليًا أكثر من 1,000 مسألة، إلى جانب معلومات متاحة للعامة عن المرشحين وأدلة التحقق والجوائز التي تم تأكيدها.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
تهانينا لـ Wouter van Doorn وYanyang Li وQuanyu Tang على نجاحهم في حل مسائل من فهرس Erdős. ويُعدّ هذا إنجازًا مهمًا آخر لمشروع تتضح فكرته كثيرًا: مكافأة الأعمال الرياضية التي يمكن إثباتها والتحقق منها وتأكيد صحتها فعليًا.
ما يميز جائزة Justin Sun هو أن المشروع لا يعطي الأولوية للشهرة أو الجامعة أو مكانة المشاركين، بل يعتمد قائمة مسائل مفتوحة ويركز على الأعمال القابلة للتحقق. ويضم ذلك من يحلّون المسائل الرياضية، وكذلك من يساعدون على تحويل تلك الإجابات إلى براهين Lean يمكن للآلة التحقق منها.
يضم بنك المسائل في المشروع حاليًا أكثر من 1,000 مسألة، إلى جانب معلومات متاحة للعامة عن المرشحين وأدلة التحقق والجوائز التي تم تأكيدها.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
