OpenAI تعلن اختراقاً في معضلة رياضية عمرها عقود

المستقلة/- أعلنت شركة OpenAI توصل نظام ذكاء اصطناعي داخلي تابع لها إلى حل مقترح لمسألة «نافييه–ستوكس للوجود والنعومة»، إحدى أشهر وأصعب المسائل المفتوحة في الرياضيات، بعد تشغيل نحو 10 آلاف وكيل ذكاء اصطناعي بصورة متزامنة لمدة تقارب 88 ساعة.

وقالت الشركة المطورة لـChatGPT إن البرهان أنتجه نموذج داخلي جديد لا يزال قيد التدريب، ووصفته بأنه أكثر قدرة بصورة كبيرة من GPT-6 Astra، في مؤشر على مستوى جديد من قدرات الذكاء الاصطناعي في التعامل مع المسائل العلمية والرياضية المعقدة.

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

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

10 آلاف وكيل في سباق رياضي

وبحسب OpenAI، بدأت الشركة في 28 أغسطس/آب تدريب نموذجها الداخلي الجديد، قبل أن تطلق في الأول من سبتمبر/أيلول مشروعاً لاختباره على عدد من مسائل جائزة الألفية والمسائل الرياضية البارزة.

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

وتوصلت المنظومة إلى الحل المقترح في الخامس من سبتمبر/أيلول، أي بعد نحو 88 ساعة من بدء تشغيل الوكلاء، فيما استغرقت عملية تحويل البرهان والتحقق الشكلي منه باستخدام لغة البرهنة الرياضية Lean نحو 17 ساعة إضافية بواسطة GPT-6 Astra.

وكشفت الشركة عن الحجم الضخم للعملية، موضحة أن الوكلاء أرسلوا أثناء معالجة مسألة نافييه–ستوكس نحو 2.7 مليون رسالة واستخدموا قرابة 130 مليار رمز نصي “Token”.

ماذا وجد الذكاء الاصطناعي؟

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

ونشرت الشركة إلى جانب البرهان الرياضي نسخة رسمية مصاغة باستخدام نظام Lean، وهو نظام يستخدم للتحقق المنطقي الحاسوبي من البراهين الرياضية خطوة بخطوة.

جائزة بمليون دولار.. لكن الحسم لم يتم بعد

وتُعد مسألة نافييه–ستوكس واحدة من سبع مسائل لجائزة الألفية التي حددها معهد كلاي للرياضيات عام 2000، ورصد مكافأة قدرها مليون دولار لكل مسألة يتم حلها وفق شروطه. وحتى الآن، كانت حدسية بوانكاريه الوحيدة من المسائل السبع التي تم حلها واعتمادها.

لكن إعلان OpenAI لا يعني حتى الآن أن مسألة نافييه–ستوكس أصبحت مغلقة رسمياً؛ إذ لا يزال موقع معهد كلاي، حتى 9 سبتمبر/أيلول 2026، يدرجها ضمن المسائل غير المحلولة، ما يعني أن البرهان المنشور يحتاج إلى المراجعة والتدقيق والقبول من المجتمع الرياضي وفق الإجراءات العلمية المعتمدة.

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

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

ويبقى السؤال الأبرز بعد إعلان OpenAI: هل يثبت التدقيق الرياضي المستقل أن آلاف الوكلاء نجحوا بالفعل، خلال أيام قليلة، في تجاوز إحدى العقبات التي واجهت الرياضيات لنحو تسعة عقود؟ الإجابة على ذلك ستتحدد بعد إخضاع البرهان للمراجعة العلمية المتخصصة.

أخبار قد تهمك

زر الذهاب إلى الأعلى