OpenAI تعلن عن حل مسألة نافييه-ستوكس بعد 88 ساعة من العمل AI
تعلن OpenAI عن إنجاز رياضي لافت، بعد نشر برهان من نموذج داخلي غير متاح للعامة يدّعي حل مسألة نافييه-ستوكس، إحدى مسائل جائزة الألفية الرياضية التي تبلغ قيمة حل كل منها مليون دولار.
تفاصيل الخبر
كشفت OpenAI عن برهان رياضي قالت إنه يحسم مسألة نافييه-ستوكس، وهي واحدة من أشهر المسائل الرياضية المفتوحة وأكثرها تعقيدًا، بعد الاستعانة بعدد ضخم من وكلاء الذكاء الاصطناعي للعمل على المشكلة بالتوازي.
- أوضحت OpenAI أنها استخدمت نحو 10 آلاف وكيل ذكاء اصطناعي في الوقت نفسه للعمل على البرهان.
- تم تنفيذ العمل باستخدام نموذج داخلي قالت الشركة إنه أكثر قدرة بشكل ملحوظ من GPT-6 Astra، النموذج الذي طرحته للجمهور مؤخرًا.
- استغرق النظام نحو 88 ساعة للوصول إلى البرهان الذي نشرته OpenAI.
- قدرت الشركة تكلفة القدرة الحاسوبية المستخدمة في العملية بـ ملايين الدولارات.
- وصف Sam Altman الإنجاز بأنه من أكثر اللحظات إثارة في تاريخ OpenAI.
- تزامن إعلان OpenAI مع جدل حول أحقية الفضل، بعدما كان باحثون من جامعة نيويورك يعملون على مسار مشابه لحل المسألة.
- أشار Tristan Buckmaster إلى أن OpenAI بدأت العمل على المشكلة بعد أن علمت بأبحاثهم، كما تساءل عما إذا كانت مسوداتهم التي أُدخلت إلى Codex قد ساهمت بطريقة ما في تطوير النموذج.
- أكدت OpenAI أنها لم تطلع على أعمال الباحثين، وأنه لم يتم الوصول إلى بيانات مستخدمين محددة، لكنها أشارت إلى أنها لا تستطيع استبعاد احتمال أن تكون بيانات الاستخدام قد ساعدت في تحسين نماذجها.
وتزداد أهمية الإعلان لأن مسألة نافييه-ستوكس ليست مجرد تحدٍ نظري، بل ترتبط بفهم حركة الموائع والغازات، ولذلك فإن إثبات وجود حل رياضي منتظم لها يمكن أن يمثل تقدمًا مهمًا في الرياضيات والعلوم الحسابية.
الأهداف المستقبلية
يمثل إنجاز OpenAI المحتمل مؤشرًا على اتجاه جديد في استخدام النماذج المتقدمة لحل المشكلات العلمية والرياضية التي ظلت مستعصية لعقود. ومن المتوقع أن تركز OpenAI مستقبلًا على:
- تطوير نماذج أكثر قدرة على الاستدلال الرياضي والعلمي.
- استخدام آلاف الوكلاء للعمل بصورة متزامنة على المشكلات المعقدة.
- توظيف الذكاء الاصطناعي في اكتشاف حلول ونظريات جديدة في الرياضيات.
- تحسين قدرة النماذج على إنتاج براهين يمكن للباحثين مراجعتها والتحقق منها.
- توسيع استخدام الذكاء الاصطناعي في الأبحاث العلمية بدل الاقتصار على مهام الكتابة والبرمجة.
- الوصول إلى نماذج تتعامل مع مشكلات بحثية طويلة ومعقدة بدرجة أكبر من الاستقلالية.
يمثل إعلان OpenAI بشأن مسألة نافييه-ستوكس تطورًا لافتًا في قدرات الذكاء الاصطناعي على التعامل مع المسائل الرياضية المعقدة. وإذا أثبت المجتمع الرياضي صحة البرهان بشكل مستقل، فقد يصبح هذا الإنجاز نقطة تحول مهمة في العلاقة بين الذكاء الاصطناعي والبحث العلمي.
