نموذج «شوشنغ S2» الصيني يساعد في إثبات حدسية رياضية عمرها أكثر من 30 عامًا
كتب – نبيل الخوارزمى
ساعد نموذج «شوشنغ S2» الصيني، وهو نموذج علمي متعدد الوسائط طوره مختبر شنغهاي للذكاء الاصطناعي ويعرف أيضًا باسم Intern-S2، فريقًا من الرياضيين في إثبات حدسية «غيس» ثلاثية الأبعاد، وهي مسألة في مجال الأنظمة الديناميكية المعقدة ظلت دون حل لأكثر من 30 عامًا، وفق ما نشرته صحيفة «فيرست فايننشال» الصينية يوم 17 أكتوبر.
والحدسية في الرياضيات عبارة يرجح العلماء صحتها لكنها لم تثبت بعد بالبرهان. وقد طرح الرياضي الفرنسي إتيان غيس هذه الحدسية عام 1995. وقاد العمل على إثباتها البروفيسور شو دي شنغ، الأستاذ بجامعة منطقة الخليج الكبرى والباحث الزائر في مختبر شنغهاي، بالتعاون مع النموذج في إطار ما يوصف بالتعاون بين الإنسان والآلة. أما النموذج متعدد الوسائط فهو نظام ذكاء اصطناعي يستطيع التعامل مع النصوص والصور والرموز معًا.
وبدأ التعاون مطلع عام 2026، ثم قرر الفريق في أواخر يوليو أن قدرات النموذج أصبحت كافية لخوض المسألة، وانضم إليه الباحث تشانغ جيه سونغ من المعهد الملكي للتكنولوجيا في السويد. وأنتجت الجولة الأولى تقريرًا للاشتقاقات الرياضية من 400 صفحة، ومع العمل على سبع دفعات متتالية اتسعت خريطة المسائل الفرعية من 15 عقدة إلى 389 عقدة، وتجاوز حجم المخرجات ألف صفحة.
وتولى فريق البروفيسور دونغ بين والأكاديمي ليو روه تشوان من جامعة بكين التحقق الرسمي من البرهان باستخدام إطار عمل يسمى SHEAF. ويقصد بالتحقق الرسمي تحويل البرهان إلى صيغة يستطيع برنامج حاسوبي فحصها خطوة بخطوة للتأكد من خلوها من الأخطاء، وهي خطوة مهمة عندما يشارك الذكاء الاصطناعي في كتابة البراهين الطويلة.
ويأتي هذا الإعلان ضمن سباق عالمي متسارع لاستخدام النماذج الذكية في البحث الرياضي، بعدما أعلنت شركات وفرق بحثية أخرى خلال الأشهر الماضية عن نتائج مماثلة، فيما ينتظر أن يحظى البرهان الصيني بمراجعة أوسع من مجتمع الرياضيين.
ــــــــــــــــــــ
هذا المحتوي تم باستخدام أدوات الذكاء الإصطناعي
