عندما يُذكر عدد من الجوائز الكبرى في الرياضيات، فمن المؤكد أن كثيرين سيُفكرون فورًا في ميدالية فيلدز (Fields Medal)، وغالبًا ما تُشبَّه بـ“نوبل الرياضيات”.
ولكن في الوقت الحالي، ومع تزايد مشاركة الذكاء الاصطناعي بعمق في الاستدلال وإثبات وحل المسائل الصعبة، يبدو أن طريقة منح الجوائز عن الحلول الرياضية قد بدأت هي الأخرى في التغيّر.
وفي الآونة الأخيرة، أعلن @justinsuntron عن جائزة Justin Sun Prize.
يبدو الاسم للوهلة الأولى كجائزة تقليدية، لكن طريقة عملها تشبه إلى حد كبير أسلوب “التعليق على مكافأة” (bounty) في عالم العملات الرقمية.
ولتوضيح الفكرة ببساطة:
تُطرح مسألة صعبة على منصة
→ يحدد Justin Sun مبلغ المكافأة
→ يمكن لأي شخص المشاركة في البحث عن حل، بما في ذلك الذكاء الاصطناعي
→ إذا اعترف مجتمع الرياضيات بأن الحل صحيح، فسيتم تحويله بعد ذلك إلى صيغة يمكن للحاسوب التحقق منها.
ولا يتم فتح المكافأة رسميًا إلا عندما يؤكد الحاسوب أن كامل البرهان دقيق.
والأمر الذي أعجبني فيه كثيرًا هو أن هذه الجائزة مقسّمة إلى جزأين بوضوح شديد.
شخص يَتوصل إلى الحل.
وشخص آخر يمكن أن يتولى مهمة “formalize”، أي تحويل ذلك الحل إلى صيغة يمكن للكمبيوتر قراءتها والتحقق منها.
بالطبع يمكن أيضًا أن يتولى الشخص الواحد الأمرين معًا.
ولا توجد كذلك أي لائحة تنص على أن من يقدّم الحل يجب أن يكون إنسانًا. صرّح Justin Sun صراحةً أن الأمر لا يهم سواء كان المتقدم إنسانًا أو ذكاءً اصطناعيًا أو حتى تعاونًا بينهما، طالما أن البرهان في النهاية ثبت أنه صحيح.
وهذه النقطة أيضًا هي ما يجعلها مختلفة إلى حد كبير عن كثير من الجوائز الرياضية التقليدية.
ميدالية فيلدز تُمنح مرة كل أربع سنوات، مع وجود قيود عمرية. أما في هذا النموذج، فإن كل مسألة تقريبًا تتحول إلى “bounty” مستقل بحد ذاته.
ولكن في الوقت الحالي، ومع تزايد مشاركة الذكاء الاصطناعي بعمق في الاستدلال وإثبات وحل المسائل الصعبة، يبدو أن طريقة منح الجوائز عن الحلول الرياضية قد بدأت هي الأخرى في التغيّر.
وفي الآونة الأخيرة، أعلن @justinsuntron عن جائزة Justin Sun Prize.
يبدو الاسم للوهلة الأولى كجائزة تقليدية، لكن طريقة عملها تشبه إلى حد كبير أسلوب “التعليق على مكافأة” (bounty) في عالم العملات الرقمية.
ولتوضيح الفكرة ببساطة:
تُطرح مسألة صعبة على منصة
→ يحدد Justin Sun مبلغ المكافأة
→ يمكن لأي شخص المشاركة في البحث عن حل، بما في ذلك الذكاء الاصطناعي
→ إذا اعترف مجتمع الرياضيات بأن الحل صحيح، فسيتم تحويله بعد ذلك إلى صيغة يمكن للحاسوب التحقق منها.
ولا يتم فتح المكافأة رسميًا إلا عندما يؤكد الحاسوب أن كامل البرهان دقيق.
والأمر الذي أعجبني فيه كثيرًا هو أن هذه الجائزة مقسّمة إلى جزأين بوضوح شديد.
شخص يَتوصل إلى الحل.
وشخص آخر يمكن أن يتولى مهمة “formalize”، أي تحويل ذلك الحل إلى صيغة يمكن للكمبيوتر قراءتها والتحقق منها.
بالطبع يمكن أيضًا أن يتولى الشخص الواحد الأمرين معًا.
ولا توجد كذلك أي لائحة تنص على أن من يقدّم الحل يجب أن يكون إنسانًا. صرّح Justin Sun صراحةً أن الأمر لا يهم سواء كان المتقدم إنسانًا أو ذكاءً اصطناعيًا أو حتى تعاونًا بينهما، طالما أن البرهان في النهاية ثبت أنه صحيح.
وهذه النقطة أيضًا هي ما يجعلها مختلفة إلى حد كبير عن كثير من الجوائز الرياضية التقليدية.
ميدالية فيلدز تُمنح مرة كل أربع سنوات، مع وجود قيود عمرية. أما في هذا النموذج، فإن كل مسألة تقريبًا تتحول إلى “bounty” مستقل بحد ذاته.
