تمكنت فريق بحثي بقيادة الأستاذ في جامعة خليج غريس من إثبات فرضية غيس ثلاثية الأبعاد باستخدام نموذج ذكاء اصطناعي متعدد الوسائط تم تطويره في مختبر الذكاء الاصطناعي في شنغهاي، وهو إنجاز يمثل أول حل لمشكلة رياضية من مستوى عالمي باستخدام نموذج ذكاء اصطناعي محلي.
اكتمل إثبات فرضية غيس، التي كانت لغزًا يُحير المجتمع الرياضي لمدة ثلاثة عقود، باستخدام نموذج Intern-S2، وفقًا لإعلان مختبر الذكاء الاصطناعي في شنغهاي أمس. وأكدت الدراسة صحتها فريق بقيادة الأستاذ جونغ بين من جامعة بكين والأكاديمي لي رووتشو من أكاديمية العلوم الصينية.
نُشرت الورقة العلمية حول الإثبات على منصة أرشيف للمسودات العلمية، كما توفرت الشيفرات البرمجية الرسمية للجمهور عبر منصة جيثب لمشاركة الكود.
كانت فرضية غيس، التي طرحها العالم الفرنسي إتيان غيس في عام 1995، تسأل عما إذا كان يمكن لخصائص الأنظمة الديناميكية الفوضوية أن تحدد تصنيفها الهندسي. وتعد هذه الفرضية واحدة من الأسئلة المفتوحة الرئيسية في مجال الأنظمة الديناميكية، وتعتبر معيارًا لاختبار قدرات التفكير الرياضي.
درس الطالب المميزة الحاصل على ميدالية فوربس الراحل أرتور أفيلا، منذ فترة طويلة إثبات فرضية غيس. بعد أن لاحظ إمكانيات استخدام نماذج الذكاء الاصطناعي في البحث الرياضي العام الماضي، زار مختبر شنغهاي للذكاء الاصطناعي وأسسه فريقًا بدأ عمله التعاوني في تدريب النماذج منذ بداية هذا العام.
بدأ النموذج Intern-S2، الذي هو تطوير للنموذج السابق Intern-S1، في أغسطس استكشاف فرضية غيس من زوايا متعددة، ونتج عن ذلك الآلاف من صفحات الاشتقاقات. بُنيت عليها ملاحظات مستمرة من قبل الأستاذ ورفاقه، وأدت عملية التفاعل بين البشر والكمبيوتر إلى تصحيح المسارات والاستنتاجات، حتى تم التوصل إلى منهج إثبات ناجح من خلال العديد من جولات التفاعل.
تكتسب أهمية هذا الإنجاز في تأكيد نمط جديد من البحث العلمي، يختلف عن الطرق التقليدية التي تعتمد على اكتشافات فردية طويلة الأمد. يدمج النمط الجديد الحدس والخبرة البشرية داخل حلقات حل المشكلة عبر الحوسبة، لخلق دورة مغلقة من الاستكشاف، والحكم الخبير، وتراكم النتائج، والتصحيح التفاعلي.
يمكن تكرار هذا النموذج والاستفادة منه في مجالات البحث الأساسية الأخرى التي تتسم بمساحات بحثية واسعة وقلة في عدد الخبراء، لتحقيق ثورات ابتكارية حقيقية من الصفر إلى الواحد، حسب ما أكد المختبر.
حصل دور الذكاء الاصطناعي في البحث العلمي على اهتمام واسع، حيث ذكرت شركة برمجيات أن لديها خلال الشهر الماضي 10 آلاف وكيل ذكاء اصطناعي عملوا لمدة 88 ساعة لحل مشكلة جائزة نافييه-ستوكس Millennium، ونشرت مئات الأبحاث في مجالات الرياضيات المختلفة، بما في ذلك نظرية الأعداد، والهندسة، والجبر، في بداية هذا الشهر.
لكن محاولات الشركات، خاصة تلك التي تنتمي إلى القطاع الخاص، أثارت جدلاً واسعًا، حيث قال كبار الحائزين على جائزة فيلدز، من بينهم تيرينس شو-شين تاو ودين يون، إن صناعة التكنولوجيا تركز على اعتبار حل المشكلات الرياضية اختبارات معيارية، وهو ما قد يضر بالمجتمع الرياضي والأكاديمي.
علماء صينيون يستخدمون نموذج AI لشانغهاي لحل مشكلة عالمية فائقة
