🧮 أطلق صن يوتشن جائزة الرياضيات Justin Sun Prize
16 سبتمبر، أعلن مؤسس شبكة ترون صن يوتشن عن تأسيس Justin Sun Prize، لتكريم الباحثين الذين يتغلبون على المشكلات الرياضية الكبرى، وكذلك المطورين الذين يُنجزون إثباتات شكلية قابلة للتحقق آليًا.
لا توجد قيود على العمر ولا على عدد المراكز، والمعيار الوحيد للصرف: أن تتحقق الآلة بشكل كامل من جميع الإثباتات. يتم حبس مبلغ الجائزة على السلسلة كتوكين، ولا يمكن سحبه، ولا يسمح إلا بالإضافة. لا يمكن إضافة الأسئلة فقط؛ ولا يجوز حذفها. حتى لو كان وصف المسألة خاطئًا، تُدفع الجائزة كما هي. لا يشارك صن يوتشن في التحكيم، بل يقتصر دوره على إعداد الأسئلة وتحديد المكافأة، بهدف بناء جسر بين الرياضيات النظرية والتحفيزات على السلسلة. #SunYuchen
16 سبتمبر، أعلن مؤسس شبكة ترون صن يوتشن عن تأسيس Justin Sun Prize، لتكريم الباحثين الذين يتغلبون على المشكلات الرياضية الكبرى، وكذلك المطورين الذين يُنجزون إثباتات شكلية قابلة للتحقق آليًا.
لا توجد قيود على العمر ولا على عدد المراكز، والمعيار الوحيد للصرف: أن تتحقق الآلة بشكل كامل من جميع الإثباتات. يتم حبس مبلغ الجائزة على السلسلة كتوكين، ولا يمكن سحبه، ولا يسمح إلا بالإضافة. لا يمكن إضافة الأسئلة فقط؛ ولا يجوز حذفها. حتى لو كان وصف المسألة خاطئًا، تُدفع الجائزة كما هي. لا يشارك صن يوتشن في التحكيم، بل يقتصر دوره على إعداد الأسئلة وتحديد المكافأة، بهدف بناء جسر بين الرياضيات النظرية والتحفيزات على السلسلة. #SunYuchen