أعتقد أن جائزة جاستن صن مثيرة أكثر من العنوان: “جاستن صن أنشأ جائزة سُمّيت باسمه.”
القصة الحقيقية تكمن في البنية وراء ذلك.
تُقدَّم الجائزة على أنها مكافأة رياضية عالمية، لكن ما يميزها هو التحقق الرسمي. ووفقًا للقواعد المنشورة، يجب أن تمر عمليات الإرسال بمرحلة تحقق مبنية على Lean قبل المضي قدمًا.
وهذا يغيّر السؤال من:
“من حلّ المسألة؟”
إلى:
“هل يمكن التحقق من البرهان بشكل مستقل؟”
وهذا مهم.
إذا أصبح الذكاء الاصطناعي أفضل في إنتاج براهين رياضية معقدة، فقد لا يعود الاكتشاف هو عنق الزجاجة الوحيد. وقد يصبح التحقق بنفس القدر من الأهمية: هل الإجابة صحيحة فعلًا، وقابلة لإعادة إنتاجها، ومستقلة عن السمعة؟
هنا تحديدًا يصبح التحقق الرسمي مثيرًا للاهتمام. بدلًا من الاعتماد على السلطة وحدها، يمكن فحص المنطق نفسه بشكل منهجي.
ومن النقطة الأخرى التي تستحق المتابعة أن البرهان قد يأتي من إنسان، أو من نظام ذكاء اصطناعي، أو من كليهما معًا. المهم هو ما إذا كان ينجو من التحقق.
ثم هناك جانب البلوك تشين.
إذا تمت إدارة مدفوعات الجائزة والسجلات على السلسلة، فستصبح العملية أسهل في التدقيق وتتبع المسار.
ومع ذلك، لن أصف ذلك بعد بأنه “جائزة نوبل جديدة”.
لا تُصنع المكانة بالمال وحده. بل تأتي من جودة المسائل، ومن مصداقية عملية التحكيم، ومن الأشخاص المشاركين، ومن مجموعة الأعمال التي تُبنى مع مرور الوقت.
وهذا ما لا تزال جائزة جاستن صن بحاجة إلى إثباته.
لكن الجمع بين الرياضيات والذكاء الاصطناعي والتحقق الرسمي والبلوك تشين يستحق المتابعة حقًا.
إذا نجح هذا النموذج، فقد لا يكون السؤال الأكبر هو من سيفوز.
قد يكون ما إذا كان البشر والذكاء الاصطناعي قادرين على خلق معرفة جديدة معًا والتحقق من النتيجة دون الاكتفاء بالثقة بمن أنتجها.

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON