جائزة جاستن صن الرياضية البالغة مليون دولار تبقى دون مُطالِب رغم فوز برهان نافيه–ستوكس المنسوب لـOpenAI

تُسجِّل جائزة الرياضيات الأولى لرجل الأعمال في عالم الكريبتو جاستن صن، والبالغة مليون دولار، شركة OpenAI كفائز عن برهانها لمسألة نافيه–ستوكس ثلاثية الأبعاد، وفق ما يرد في مستودع الجائزة على GitHub. ومع ذلك، ما تزال الجائزة غير مُطالَب بها، في وقت امتنعت فيه الشركة أيضاً عن التقدّم لنيل جائزة معهد كلاي المرتبطة بالمشكلة نفسها.

أبرز النقاط

• مستودع جائزة صن يقيّد مسألة نافيه–ستوكس على أنها محلولة من قِبل OpenAI، مؤهلة للصرف لكنها لا تزال غير مُطالَب بها.
• وفق OpenAI، شارك نحو 10 آلاف وكيل ذكاء اصطناعي في العمل لمدة 88 ساعة تقريباً قبل أن يمضي النموذج GPT-6 Astra 17 ساعة إضافية في صياغة البرهان رسمياً والتحقق منه.
• معهد كلاي للرياضيات لا يزال يُدرج مسألة نافيه–ستوكس ضمن مشكلات الألفية «النشطة» بينما يراجع صحة النتيجة المعلَن عنها.

جائزة OpenAI

جائزة صن الجديدة، بحسب ما ورد في هذا التقرير، منحت فريق أبحاث OpenAI جائزة الصدارة الأولى بقيمة مليون دولار عن حل مسألة نافيه–ستوكس ثلاثية الأبعاد. السجل العام على GitHub يضع علامة «محلولة» على المسألة ويؤكد أهليتها للصرف، لكن الأموال لم تُطلَب حتى الآن.

نشرت OpenAI برهانها في 8 سبتمبر، موضحة أن نحو 10 آلاف وكيل ذكاء اصطناعي عملوا على المسألة لنحو 88 ساعة، قبل أن يتولى النموذج GPT-6 Astra مهمة «التصنيف الرسمي» للبرهان والتحقق منه بواسطة نظام Lean على مدى 17 ساعة إضافية. وأكدت الشركة أنها لا تعتزم التقدّم لنيل جائزة «مشكلات الألفية» البالغة مليون دولار، التي أطلقها معهد كلاي للرياضيات على المسألة نفسها.

معهد كلاي ما زال يصنّف المشكلة كـ«نشطة» وأوضح في بيان في 11 سبتمبر أن الإعلان يبدو، من حيث المبدأ، كافياً لحسم السؤال الرياضي، لكنه خاضع للوائح المعهد التي تشترط مراجعة طويلة ومتأنية قبل أي قرار بمنح الجائزة. تلك العملية لم تُستكمل بعد. في المقابل، تستند جائزة صن إلى براهين قابلة للتحقق آلياً، وقد سارعت إلى تسمية فريق OpenAI فائزاً من دون انتظار المسار التحكيمي التقليدي في الأوساط الأكاديمية.

اطلع أيضاً على: تعدين البيتكوين يواجه فجوة هاش ريت 50% مع انتقال القدرة الحاسوبية إلى الذكاء الاصطناعي

قواعد جائزة جاستن صن

يوضح صن أن هيكل جائزته مصمم لمكافأة النتائج الرياضية بغضّ النظر عمّا إذا كانت ثمرة جهد باحثين بشريين أو أنظمة ذكاء اصطناعي، واضعاً «التحقق الشكلي» في قلب عملية منح الجائزة. ويقول: «كل ما يهمني هو صحة النتيجة، لا ما إذا كان المساهم إنساناً أو آلة». كما يلفت مستودع الجائزة إلى أن إعلان OpenAI لا يُعد مراجعة أقران، وأن قبول المجتمع الرياضي الأوسع للبرهان لم يُحسم بعد.

مسألة الإسناد العلمي ما زالت مثار نقاش، بعد أن صرّح تريستان باكماستر، أستاذ الرياضيات في جامعة نيويورك، بأن عملاً غير منشور له مع زميل خُزِّن في أحد منتجات OpenAI، مع تأكيده أنه لا يعلم ما إذا كان النموذج قد استفاد فعلاً من هذا العمل أم لا. وقال لصحيفة The Guardian: «لا أوجّه اتهاماً لأحد بشيء». من جانبها، قالت OpenAI إن تحقيقاً داخلياً توصّل إلى أن طلباته عبر Codex لم يكن من الممكن أن تؤثّر في النظام الذي أنتج البرهان.

الجدل تفجّر عقب إعلان OpenAI في 8 سبتمبر أن نظامها الداخلي توصّل إلى حل مسألة وجودية ونعومة حلول معادلات نافيه–ستوكس، من خلال إظهار وجود تفرد في زمن منتهٍ تحت الشروط الرسمية المعتمدة للمشكلة.

معهد كلاي كان قد أطلق برنامج «مشكلات جائزة الألفية» في عام 2000، مع مكافأة قدرها مليون دولار لكل مسألة. وبعد أكثر من عقدين، لا تزال مسألة نافيه–ستوكس مصنّفة رسمياً كقضية مفتوحة قيد المراجعة، بينما يواصل الرياضيون التدقيق في البرهان الجديد وفي أسئلة الإسناد العلمي.

اقرأ أيضاً: شيبا إينو تصلح رابط محفظة Shibarium المعطَّل… لكن عملة SHIB تتراجع 6% خلال أسبوع