مشروعٌ آخر لِـJustin Sun أراه مثيرًا للاهتمام للغاية هذه المرة لا علاقة له بسعر $TRX أو بالـDeFi. بدلًا من ذلك، يركز على الرياضيات + الذكاء الاصطناعي + البرمجيات مفتوحة المصدر.

في الآونة الأخيرة، أطلق @justinsuntron launched «المسائل الستّ والسّتين الافتتاحية» ضمن #JustinSunPrize. إن فكرة هذه الجائزة مختلفة تمامًا عن الجوائز الأكاديمية التقليدية، لأن هذه الجائزة لا تهتم بـ«من أنت، ومن أي جامعة تأتي، أو مدى شهرتك».

الأهم حقًا هو:

هل يمكنك حلّ المسألة، وهل يمكن التحقق من برهانك بواسطة آلة؟

تعتمد جائزة Justin Sun نموذجَ «قائمة المسائل»، حيث تُتاح المسائل الرياضية للمشاركين من جميع أنحاء العالم—بما في ذلك الباحثون، والمطوّرون، والمساهمون المستقلون، وفِرق «الإنسان + الذكاء الاصطناعي»، والباحثون الذين يعملون بمساعدة الذكاء الاصطناعي.

ما يعجبني أكثر هو أن البراهين المؤهِّلة يجب أن تجتاز التحققَ الرسمي، مثلًا عبر Lean. ليس كافيًا كتابة إجابة تبدو صحيحة فحسب. يجب أن يتيح البرهان للآلة التحقق من المنطق من البداية إلى النهاية.

ببساطة:
لا يتعلق الأمر بـ«الاعتقاد بأنها صحيحة». بل يتعلق بـ«إثباتها بطريقة قابلة للتحقق».

أعلى فئة من الجوائز، Pinnacle، تقدم مكافأة قدرها 1,000,000 دولار لكل مسألة يتم حلّها وإغلاقها بنجاح.

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

تقليديًا، تبدو العملية هكذا:
يُصيغ شخصٌ ما المسألة → يطوّر عالم رياضيات البرهان → يقوم خبراء بقراءته ومراجعته.

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

@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON