أعلنت شركة OpenAI تحقيق ما وصفته بأنه إنجاز تاريخي في الرياضيات، بعدما قالت إنها توصلت إلى حل معادلات نافير ستوكس، إحدى أشهر المسائل الرياضية التي ظلت دون حل لنحو 90 عامًا.
وسرعان ما أثار الإعلان جدلًا بين عدد من الباحثين، الذين طرحوا تساؤلات حول طريقة الوصول إلى الحل وتوقيت الإعلان، ومدى إمكانية التحقق من البرهان وفق المعايير العلمية المعتمدة.
ما هي معادلات نافير ستوكس؟
تُعد معادلات نافير ستوكس من أبرز المسائل الرياضية المفتوحة، وترتبط بوصف حركة السوائل والغازات، مثل الماء والهواء والدم.
وبشكل مبسط، تبحث هذه المعادلات في إمكانية إثبات أن حلولها تظل منتظمة وقابلة للوصف الرياضي مع مرور الوقت، أم أن بعض الظروف قد تؤدي إلى ظهور سلوك شديد التعقيد يجعل الحل ينهار أو يصبح غير منتظم.
وتندرج المسألة ضمن «مسائل جائزة الألفية» السبع التي اختارها معهد كلاي للرياضيات، وخصص مليون دولار لكل مسألة ينجح الباحثون في حلها وفق المعايير العلمية المحددة.
OpenAI تستخدم نموذج ذكاء اصطناعي متقدمًا لحل المسألة
قالت OpenAI في منشور على مدونتها إنها استخدمت نموذج ذكاء اصطناعي داخليًا يتفوق في قدراته على نموذج GPT-6 Astra الذي أطلقته الشركة حديثًا، إلى جانب تشغيل نحو 10 آلاف وكيل ذكاء اصطناعي بصورة متزامنة.
وأوضحت الشركة أنها بدأت تدريب النموذج المستخدم في هذا الإنجاز في 28 أغسطس، مشيرة إلى تحقيقه نتائج وصفتها بأنها غير مسبوقة في عدد من اختبارات القياس، من بينها اختبارات متخصصة في الرياضيات.
ووفقًا لما أعلنته الشركة، ساعدت هذه القدرات النموذج على التعامل مع مسألة رياضية شديدة التعقيد، بدلًا من الاكتفاء بحل مسائل حسابية تقليدية.

OpenAI تزعم حل معادلات نافير ستوكس بعد 90 عامًا.. والإنجاز يثير جدلًا واسعًا
باحثون يشككون في توقيت إعلان OpenAI
رغم أهمية الإعلان، سرعان ما دخل الإنجاز دائرة الجدل داخل مجتمع الرياضيات، بعدما نشر عالم الرياضيات في جامعة نيويورك تريستان باكميستر نتائج بحثية مرتبطة بالمعادلات قبل إعلان OpenAI بيوم واحد فقط، بالتعاون مع ليفنت ألبوغيه، الباحث في شركة أنثروبيك.
وأوضح باكميستر أنه تواصل مع OpenAI بعد علمه بأن الشركة كانت على دراية بالتقدم الذي حققه مع ألبوغيه.
وأشار إلى أن OpenAI توصلت إلى برهان لـمعادلات نافير ستوكس باستخدام مسار بحثي قال إنه كان يعمل عليه مع ألبوغيه، مستعينين بأدوات Codex التابعة لـOpenAI وClaude التابعة لأنثروبيك.
هل وصلت OpenAI إلى بيانات الباحثين؟
أثار هذا التزامن تساؤلات حول إمكانية وصول OpenAI بطريقة ما إلى بيانات أو جلسات Codex التي استخدمها الباحثان خلال مشروعهما.
وقال باكميستر إنه سأل الشركة عما إذا كان النموذج قد تدرب على جلساتهما في Codex أو تمكن من الوصول إليها، موضحًا أن الشركة أكدت له أن النموذج لم يطلع على بيانات المستخدمين.
لكنه أشار إلى أنه لم يحصل على إجابة واضحة عندما طرح سؤالًا آخر يتعلق بإمكانية استخدام هذه البيانات ضمن عمليات تدريب النموذج.
OpenAI تنفي استخدام بيانات المستخدمين
في المقابل، أكدت OpenAI أنها لم تستخدم «أي بيانات محددة لأي مستخدم من أجل حل هذه المعادلات».
وأضافت الشركة أنها لا تستطيع استبعاد احتمال مساهمة بيانات مجهلة المصدر ناتجة عن استخدام منتجاتها في تحسين نماذجها.
ومن جانبه، نفى سيباستيان بوبك، أحد أعضاء الطاقم التقني في OpenAI، اطلاع الشركة على أعمال باكميستر وألبوغيه قبل نشرها علنًا.
وأكد بوبك أن البرهان الذي توصلت إليه OpenAI يختلف بصورة كبيرة عن عمل الباحثين، بما في ذلك اختلاف النتائج الرياضية التي أثبتها كل طرف.
لكن باكميستر رد على هذه التصريحات، معتبرًا أن موقف OpenAI قد يعني بصورة غير مباشرة أن بيانات تدريب تعود إلى فترة لاحقة لاكتشاف الباحثين لنتيجتهم ربما دخلت في عملية تطوير النموذج.
الذكاء الاصطناعي يختبر قدراته في البحث الرياضي
يأتي الجدل حول معادلات نافير ستوكس في وقت تتزايد فيه التوقعات بشأن قدرة نماذج الذكاء الاصطناعي المتقدمة على تغيير طريقة إجراء الأبحاث الرياضية.
وبدأت هذه النماذج في التعامل مع مسائل تحتاج إلى استدلال رياضي معقد، بدلًا من الاقتصار على تنفيذ العمليات الحسابية أو إعادة إنتاج المعلومات المعروفة.
ومع ذلك، لم تنشر OpenAI حتى الآن تفاصيل البرهان بصورة تسمح للباحثين بتقييمه بصورة مستقلة، وهو ما يمثل خطوة أساسية قبل اعتبار المسألة محلولة رسميًا وفق المعايير العلمية لجائزة الألفية.
هل حُلّت معادلات نافير-ستوكس رسميًا؟
رغم وصف OpenAI الإنجاز بأنه اختراق مهم في مجال الرياضيات، فإن الإعلان وحده لا يكفي لإثبات حل المسألة بصورة نهائية.
ويحتاج البرهان إلى فحص مستقل ودقيق من متخصصين في الرياضيات، خصوصًا أن المسألة تُعد من أصعب المشكلات المفتوحة في المجال.
وأكدت OpenAI أيضًا أنها لا تعتزم المطالبة بالجائزة المالية البالغة مليون دولار المخصصة لحل معادلات نافير ستوكس، رغم اعتبارها ما توصلت إليه خطوة مهمة في تطور قدرات الذكاء الاصطناعي على إجراء الأبحاث الرياضية.