أوضحت جائزة جاستن صن آلية منح الجوائز الرياضية. فحتى إذا قدّم باحث برهانًا صحيحًا، فهذا لا يعني حصوله على الجائزة تلقائيًا. تخضع الدراسة أولًا لمراجعة فنية، ثم تُطرح علنًا بوصفها ادعاءً يمكن لأي شخص الاعتراض عليه خلال 14 يومًا.
نُشرت توضيحات جديدة في مستودع GitHub الرسمي لـ Justin Sun Prize، وتهدف إلى تعزيز شفافية تقييم الإنجازات الرياضية.
من البرهان إلى الجائزة الرسمية
يتضمن الإجراء المعتاد لـ Justin Sun Prize، المطبّق على المسائل الواقعة خارج الخطة التجريبية لـ MathDB، عدة مراحل.
المرحلة الأولى: تقديم الحل الرياضي.
يقدم الباحث برهانًا كاملًا للمسألة وإثباتًا لكونه صاحب العمل.
وعند الضرورة، يمكن لمتخصص آخر إعداد صياغة رسمية للبرهان بلغة Lean، وهي نظام يتيح التحقق برمجيًا من صحة الاستدلالات الرياضية.
وقد يكون مؤلف الحل الرياضي شخصًا غير مؤلف صياغته الرسمية.
المرحلة الثانية: التحقق من المرشح وتسجيله.
يتحقق المنظمون من النتيجة الرياضية، ومدى مطابقة البرهان الرسمي للمسألة الأصلية، والمواد المقدمة.
بعد إجراء عمليات التحقق اللازمة، يمكن إدراج العمل في سجل المرشحين العلني.
ومن المهم الإشارة إلى أن قبول المواد ودمج التغييرات في GitHub لا يعنيان منح الجائزة.
14 يومًا يمكن خلالها لأي شخص الطعن في النتيجة
بعد نشر المرشح في السجل الرسمي، تبدأ فترة تحقق علني مدتها 14 يومًا.
خلال هذه الفترة، يمكن لأي عضو في مجتمع الرياضيات تقديم اعتراض مدعوم بالحجج.
يجوز الطعن في:
الصحة الرياضية للبرهان.
نسبة النتيجة المقدمة إلى صاحبها.
أسبقية الاكتشاف أو الصياغة الرسمية.
هوية مقدم الطلب.
استيفاء شروط الحصول على الجائزة.
على سبيل المثال، إذا تمكن باحث آخر من إثبات أنه توصل إلى الحل الصحيح في وقت أسبق، فعلى المنظمين دراسة الأدلة المقدمة. وعند تحديد الأسبقية، لا تؤخذ تواريخ النشر أو إيداع التغييرات في Git وحدها في الحسبان، بل أيضًا الأدلة المستقلة على وقت إنجاز العمل.
إذا قُدم اعتراض مبرر أثناء فترة التحقق العلني، فلا تُختتم الإجراءات إلى حين حل النزاع.
أما إذا تأكد استبدال المرشح بمؤلف جديد، فتبدأ فترة منفصلة مدتها 14 يومًا للنتيجة المعنية.
متى يحصل الباحث رسميًا على الجائزة؟
حتى انتهاء فترة الأسبوعين بنجاح لا يعني صرف الجائزة فورًا.
لمنح الجائزة رسميًا، يجب استكمال التحقق من الهوية وتأكيد المستفيد والتأكد من عدم وجود اعتراضات عالقة أو طلبات منافسة.
لا تُنقل النتيجة من قائمة المرشحين إلى السجل الرسمي للفائزين إلا بعد استيفاء جميع المتطلبات.
بعد ذلك، يعلن المنظمون منح الجائزة ويصرفون المكافأة المقررة.
وهكذا، فإن المرشح المعلن والفائز الذي جرى تأكيده في Justin Sun Prize يتمتعان بوضعين مختلفين.
وماذا عن الشراكة مع MathDB؟
أعلنت Justin Sun Prize مؤخرًا عن تعاونها مع منصة الرياضيات MathDB، تحت الإشراف العلمي للبروفيسور توني يويه يو من معهد كاليفورنيا للتكنولوجيا (Caltech).
وفي إطار الشراكة، أُطلقت خطة تجريبية تضم 50 مسألة رياضية.
وقد وُضع لها مسار منفصل لتقديم المواد والتحقق من الحلول، بما في ذلك التقييم المستقل للحلول الرياضية وصياغاتها الرسمية بلغة Lean وشروحها.
لذلك، لا يمكن تطبيق إجراء GitHub المعتاد تلقائيًا على جميع مسائل الخطة التجريبية.
وفي الوقت نفسه، يظل التحقق العلني وتحديد صاحب العمل وتأكيد هوية المستفيدين عناصر مهمة في عملية منح الجوائز.
لماذا يكتسب هذا أهمية في الرياضيات والذكاء الاصطناعي؟
يُستخدم الذكاء الاصطناعي اليوم على نحو متزايد للبحث عن تخمينات رياضية وبناء البراهين. لكن حتى إذا اقترح الذكاء الاصطناعي حلًا مقنعًا، فهذا لا يعني بالضرورة أنه صحيح رياضيًا.
يتيح التحقق العلني للباحثين الآخرين اكتشاف الأخطاء والتحقق من صاحب العمل وتقييم أسبقية النتائج.
وتؤدي Lean دورًا مهمًا على نحو خاص هنا، إذ تساعد على التحقق من الصحة الرسمية للبرهان. غير أن نجاح التحقق البرمجي لا يغني بحد ذاته عن تقييم الخبراء لمدى مطابقة القضية المُثبتة للمسألة الأصلية.
الخلاصة
إن فترة التحقق العلني الممتدة 14 يومًا نهج سليم لمنح الجوائز الرياضية، ولا سيما عندما يتعلق الأمر بمسائل معقدة ومكافآت مالية كبيرة.
ومن المهم أن الحل لا يُعد نهائيًا لمجرد ادعاء صاحبه أو اجتيازه فحصًا تقنيًا أوليًا.
تُتاح للباحثين الآخرين فرصة التحقق من النتيجة وتقديم حججهم والطعن في أسبقية الاكتشاف. وفي الوقت نفسه، يتحقق المنظمون بصورة منفصلة من هوية المستفيد وأحقيته في الحصول على الجائزة.
في عصر الذكاء الاصطناعي، يكتسب هذا النظام أهمية خاصة؛ فالعثور على حل واعد ليس سوى جزء من العمل. إذ لا بد أيضًا من إثبات صحته والتحقق من صاحب العمل.
إذا استطاعت Justin Sun Prize تطبيق هذه القواعد باستمرار، فقد تصبح المبادرة مثالًا مثيرًا للاهتمام على نظام مفتوح لتقييم الإنجازات العلمية. ففي الرياضيات الأساسية، لا يظل حجم المكافأة هو الأهم، بل موثوقية النتيجة المتوصل إليها.