"أوبن إيه آي" تعلن تقدماً في الذكاء الاصطناعي لحل أصعب مسائل الرياضيات

شفق نيوز- واشنطن

أعلنت شركة "أوبن إيه آي"، تقديم حل لمسألة "نافير-ستوكس" الشهيرة، إحدى مسائل "جائزة الألفية" التي تعد من أصعب المسائل الرياضية المفتوحة، في خطوة وصفتها الشركة بأنها تقدم كبير في قدرات الذكاء الاصطناعي على حل المسائل الرياضية المعقدة.

وتتعلق المسألة، التي أعلنها معهد كلاي للرياضيات عام 2000 ضمن سبع مسائل تبلغ جائزة حل كل واحدة منها مليون دولار، بإمكانية بقاء حلول معادلات "نافير-ستوكس" التي تصف حركة السوائل والغازات منتظمة في ثلاثة أبعاد، أو وصولها إلى حالة من التفرد والانهيار خلال فترة زمنية محدودة.

وبحسب "أوبن إيه آي"، توصل نموذج داخلي غير متاح للعامة إلى سيناريو رياضي يمكن فيه لسائل يبدأ من حالة منتظمة أن يطوّر تفرداً خلال زمن محدود، عبر تشكل دوامة تنكمش تدريجياً وتزداد سرعة دورانها، وصولاً إلى ما يعرف رياضياً بـ"الانفجار في زمن محدود".

ونشرت الشركة ورقة بحثية تتضمن برهاناً رياضياً من 165 صفحة، إلى جانب صياغة رسمية للبرهان باستخدام نظام "ليان" للتحقق الحاسوبي من الخطوات الرياضية. إلا أن الإعلان لا يعني بعد حسم المسألة بصورة نهائية، إذ يبقى البرهان بحاجة إلى تدقيق مستقل من علماء الرياضيات قبل اعتباره حلاً مقبولاً على نطاق المجتمع الرياضي.

وقالت الشركة إن الوصول إلى النتيجة تم عبر نظام متعدد الوكلاء، شارك فيه نحو 10 آلاف وكيل ذكاء اصطناعي بصورة متزامنة، واستغرق العمل نحو 88 ساعة، فيما بلغت كلفة موارد الحوسبة ملايين الدولارات، وفق ما أوردته تقارير إعلامية.

وأوضحت "أوبن إيه آي" أن النظام بدأ اختبار مسائل "جائزة الألفية" بعد أن رصد الباحثون قدرات رياضية متقدمة بصورة غير متوقعة، وأن عدد الوكلاء العاملين على مسألة "نافير-ستوكس" ارتفع تدريجياً مع ظهور مؤشرات على إحراز تقدم، وصولاً إلى نحو 10 آلاف وكيل.

وأشارت الشركة إلى أن النظام أرسل نحو 2.7 مليون رسالة واستخدم قرابة 130 مليار رمز خلال عملية البحث، قبل التوصل إلى الحل الذي جرى التحقق منه حاسوبياً.

ويأتي هذا التطور بعد أكثر من عقدين على إطلاق مسائل "جائزة الألفية"، التي لم يُحل منها حتى الآن سوى حدسية "بوانكاريه"، التي أثبتها عالم الرياضيات الروسي غريغوري بيرلمان، فيما بقيت المسائل الست الأخرى، ومنها "نافير-ستوكس"، دون حل معتمد.

وتتجاوز أهمية المسألة الجانب النظري، إذ ترتبط معادلات "نافير-ستوكس" بفهم حركة السوائل والغازات، وتستخدم في مجالات واسعة من الفيزياء والهندسة، بينها دراسة حركة الهواء والماء والظواهر المرتبطة بالديناميكا الهوائية.

وأثار إعلان "أوبن إيه آي" في الوقت نفسه جدلاً داخل الأوساط العلمية، بعدما أشار باحثون إلى وجود أعمال بحثية منافسة مرتبطة بمسألة التفرد في ديناميكيات السوائل، وسط تساؤلات بشأن احتمال استفادة النموذج من أبحاث سابقة.

وأكدت "أوبن إيه آي" أن باحثيها ووكلاءها لم يطلعوا على العمل المنافس قبل التوصل إلى النتيجة، لكنها أقرت بصعوبة استبعاد جميع الاحتمالات المتعلقة بالاستفادة غير المباشرة من بيانات متاحة للعامة أو من بيانات استخدام منتجاتها.

وتقول الشركة إن النموذج الذي أنتج الحل يتفوق بصورة كبيرة على "جي بي تي 6 أسترا"، الذي أطلقته في وقت سابق، فيما يمثل الإنجاز، بحسبها، مؤشراً على انتقال الذكاء الاصطناعي من استخدام الرياضيات كأداة للحساب إلى المشاركة في عمليات البحث والاكتشاف الرياضي.