إنجاز تاريخي للذكاء الاصطناعي: نموذج جديد من OpenAI يقترب من حل أصعب مسائل الرياضيات

حققت شركة OpenAI تقدماً لافتاً في حل المسائل الرياضية شديدة التعقيد، بعدما تمكن أحد نماذجها التجريبية من التوصل إلى برهان لمسألة «نافير-ستوكس»، وهي من أشهر المسائل الرياضية المفتوحة، وأحد تحديات «مسائل جائزة الألفية» التي أعلنها معهد كلاي للرياضيات عام 2000. ويكتسب هذا التطور أهمية إضافية لأن النموذج الذي اعتمدت عليه الشركة لم يُطرح في السوق بعد، وتقول OpenAI إن أداءه في حل المسائل الرياضية يتفوق بفارق كبير على نموذج «GPT-6 Astra»، الذي أطلقته الشركة قبل أيام.

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

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