في الآونة الأخيرة، من المحتمل أن كثيرين قد لاحظوا انتشارًا واسعًا لجوائز The Justin Sun Prize، الجائزة الكبرى بمبلغ 1 مليون دولار، أليس كذلك حسب ما ذكرته وسائل مختلفة؟
في هذا المنشور، سأشرح طريقة الفوز بجائزة The Justin Sun Prize.
من خلال إثبات مسائل رياضية.
@Justin Sun孙宇晨 تم إنشاء صندوق جائزة للرياضيات، ليكون مفتوحًا للجميع في أنحاء العالم للبحث عن الفوز، دون قيود الجنسية، وبدون الحاجة إلى مؤهل، وبدون الانتماء لأي جامعة. ولا يفرّق بين من يقوم بالعمل كإنسان أو كذكاء اصطناعي؛ فقط يلزم أن يكون ذلك ممكنًا فعليًا وقابلًا للتحقق.
لكن هذه اللعبة لا تشبه مسابقات الرياضيات العامة؛ لأنه لا يكفي أن "تجد حلًا للمسألة" فقط، بل يجب تحويل إثبات المسألة إلى لغة Lean 4 بحيث يقوم جهاز التحقق بفحصه ويمرّ، عندها فقط يتم احتساب النتيجة.
لقد قمت بتفكيك مستودع الجهة الرسمية بالكامل من البداية إلى النهاية، ثم لخّصت طريقة الصيد بشكل كامل خطوة بخطوة.
شيء رائع يا أصدقاء 🔥
#TRON #TGF #TronGlobalFriends
في هذا المنشور، سأشرح طريقة الفوز بجائزة The Justin Sun Prize.
من خلال إثبات مسائل رياضية.
@Justin Sun孙宇晨 تم إنشاء صندوق جائزة للرياضيات، ليكون مفتوحًا للجميع في أنحاء العالم للبحث عن الفوز، دون قيود الجنسية، وبدون الحاجة إلى مؤهل، وبدون الانتماء لأي جامعة. ولا يفرّق بين من يقوم بالعمل كإنسان أو كذكاء اصطناعي؛ فقط يلزم أن يكون ذلك ممكنًا فعليًا وقابلًا للتحقق.
لكن هذه اللعبة لا تشبه مسابقات الرياضيات العامة؛ لأنه لا يكفي أن "تجد حلًا للمسألة" فقط، بل يجب تحويل إثبات المسألة إلى لغة Lean 4 بحيث يقوم جهاز التحقق بفحصه ويمرّ، عندها فقط يتم احتساب النتيجة.
لقد قمت بتفكيك مستودع الجهة الرسمية بالكامل من البداية إلى النهاية، ثم لخّصت طريقة الصيد بشكل كامل خطوة بخطوة.
شيء رائع يا أصدقاء 🔥
#TRON #TGF #TronGlobalFriends
