تمكن أحد نماذج الذكاء الاصطناعي التابعة لشركة “أوبن إيه آي” OpenAI من حل مسألة “نافير-ستوكس” الشهيرة، وهي واحدة من أصعب المسائل الرياضية المفتوحة في العالم، في إنجاز تاريخي وصفته الشركة بأنه أكبر تقدم حققه الذكاء الاصطناعي حتى الآن في مجال الرياضيات.
مسائل جائزة الألفية
وتعود المسألة إلى مجموعة “مسائل جائزة الألفية” التي أعلنها معهد كلاي للرياضيات عام 2000، وضمت سبع مسائل رياضية عميقة، مع جائزة قدرها مليون دولار لكل مسألة يتم حلها.
وعلى مدى أكثر من عقدين، لم يتمكن العلماء من حل سوى مسألة واحدة منها، هي حدسية بوانكاريه، التي أثبتها عالم الرياضيات الروسي، غريغوري بيرلمان عام 2010 وفقا لصحيفة “وول ستريت جورنال” الأميركية.
مسألة “نافير-ستوكس”
أما مسألة “نافير-ستوكس” فتتعلق بالمعادلات التي تصف حركة السوائل والغازات، وتطرح سؤالاً أساسياً حول ما إذا كانت الحلول الرياضية لحركة السوائل في ثلاثة أبعاد تظل منتظمة دائماً، أم يمكن أن تصل إلى نقطة تنهار فيها هذه الانتظامات خلال فترة زمنية محدودة.
وقالت “أوبن إيه آي” إن نموذجها توصل إلى سيناريو يمكن فيه لسائل يبدأ في حالة منتظمة وساكنة أن يطوّر “تفرداً خلال فترة زمنية محدودة”. وفي التصور الذي قدمته الشركة، تتشكل دوامة شبيهة بقطعة من المعكرونة، تنكمش تدريجياً بينما تزداد سرعة دورانها، إلى أن ترتفع سرعتها دون حد، فيما يعرف رياضياً بـ”الانفجار في زمن محدود”.
برهان رياضي من 165 صفحة
ونشرت الشركة ورقتها البحثية إلى جانب برهان رياضي مؤلف من 165 صفحة، إضافة إلى صياغة رسمية للبرهان تسمح بالتحقق من الحجة خطوة بخطوة.
وتقول “أوبن إيه آي” إن حل المسألة تطلب تشغيل ما يصل إلى 10 آلاف وكيل ذكاء اصطناعي بصورة متزامنة، واستغرق العمل نحو 88 ساعة، مع إنفاق “ملايين الدولارات” على موارد الحوسبة.
نموذج جديد لم يطرح بعد
وكشفت الشركة أن النموذج الذي توصل إلى النتيجة لم يُطرح للعامة بعد، وأن قدراته تتجاوز بكثير نموذج “جي بي تي-6 أسترا” الذي أطلقته قبل أسبوع فقط.
ووفق اختبارات داخلية، تمكن “أسترا” من حل نحو 10% من مجموعة مسائل رياضية، فيما اقترب النموذج الجديد من حل 50% منها.
وقال كبير العلماء في “OpenAI”، ياكوب باتشوكي، إن الباحثين لم يكونوا يتوقعون قبل شهر واحد فقط أن يتحدثوا عن حل إحدى مسائل جائزة الألفية، معتبراً النتيجة دليلاً على مدى سرعة تطور قدرات الذكاء الاصطناعي.
وأوضحت الشركة أن النموذج بدأ العمل في الأول من سبتمبر، على المسائل الست المتبقية، لكنها لم تتوقع أن يحل أياً منها. وبعد نحو 50 ساعة، أظهر تقدماً غير متوقع في مسألة “نافير-ستوكس”، ما دفع الباحثين إلى توجيه المزيد من موارد الحوسبة نحوها، وزيادة عدد الوكلاء من نحو 100 إلى 10 آلاف.
وأشارت “أوبن إيه آي” إلى أن النظام أرسل 2.7 مليون رسالة واستخدم نحو 130 مليار رمز أثناء العمل، قبل أن يكتمل الحل، السبت، ويتم التحقق منه حاسوبياً، الأحد. وجاء الإعلان وسط منافسة متصاعدة بين شركات الذكاء الاصطناعي الكبرى في مجال حل المسائل الرياضية المعقدة.
أنثروبيك تدخل على خط المنافسة
كما أثار جدلاً بعدما نشر باحث من أنثروبيك، بالتعاون مع أستاذ رياضيات في جامعة نيويورك، عملاً متعلقاً بمسألة في ديناميكيات السوائل، متسائلاً عما إذا كان نموذج “أوبن إيه آي” قد تدرب على جلسات بحثية سابقة.
وأكدت OpenAI أن باحثيها ووكلاءها لم يطلعوا على العمل المنافس قبل نشره، لكنها أقرت بعدم إمكانية استبعاد جميع الاحتمالات المتعلقة باستخدام بيانات عامة أو بيانات مستخدمي منتجاتها.
OpenAI تتخلى عن الجائزة
ورغم أهمية الإعلان، أكدت “أوبن إيه آي” أنها لا تعتزم المطالبة بجائزة المليون دولار، موضحة أن هدفها من نشر النتيجة هو عرض حجم التقدم الذي حققته نماذجها في حل المشكلات الرياضية المعقدة.