OpenAI تزعم حل معضلة رياضية عمرها 90 عامًا وتثير جدلًا واسعًا
أعلنت شركة OpenAI تحقيق ما وصفته بأنه “إنجاز تاريخي” في مجال الرياضيات، بعدما قالت إنها توصلت إلى حل معادلات “نافير-ستوكس Navier-Stokes”، إحدى أبرز المسائل الرياضية التي ظلت دون حل لنحو 90 عامًا، لكن الإعلان سرعان ما أثار جدلًا بين باحثين شككوا في ظروف الوصول إلى الحل وتوقيته.
ما هي معادلات نافير-ستوكس؟
وتُعد معادلات نافير-ستوكس من أصعب المسائل الرياضية المفتوحة، وهي تتعلق بوصف حركة السوائل والغازات، مثل الماء والهواء والدم. وببساطة، تحاول المعادلات الإجابة عن سؤال أساسي: هل يمكننا إثبات أن هذه المعادلات تظل قادرة دائمًا على وصف حركة السوائل بصورة منتظمة، أم يمكن أن تصل إلى مرحلة تصبح فيها الحركة شديدة الفوضى بحيث ينهار الحل الرياضي؟
وتُعد تلك المعادلات إحدى “مسائل جائزة الألفية” السبعة التي اختارها معهد كلاي للرياضيات، مع تخصيص جائزة مالية قدرها مليون دولار لكل مسألة تُحل وفق المعايير العلمية المعتمدة.
حل بنموذج ذكاء اصطناعي أقوى من GPT-6 Astra
قالت OpenAI في منشور على مدونتها إنها تمكنت من التوصل إلى حل للمعادلات باستخدام نموذج ذكاء اصطناعي داخلي يفوق في قدراته نموذج GPT-6 Astra الذي أطلقته الشركة حديثًا، إلى جانب تشغيل 10 آلاف وكيل ذكاء اصطناعي بنحو متزامن.
وأوضحت الشركة أنها بدأت تدريب النموذج المستخدم في هذا الإنجاز في 28 أغسطس، مشيرةً إلى أنه أظهر “أداءً غير مسبوق” في اختبارات القياس، ومنها اختبارات الرياضيات.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem… pic.twitter.com/8zol3BPTL4
— OpenAI (@OpenAI) September 8, 2026
باحثون يثيرون تساؤلات
مع ارتفاع أهمية الإعلان بالنسبة إلى مجتمع الرياضيات، فإن الإنجاز دخل سريعًا في دائرة الجدل، بعدما كشف عالم الرياضيات في جامعة نيويورك، تريستان باكميستر، عن نتائج بحثية مرتبطة بالمعادلات قبل إعلان OpenAI بيوم واحد فقط، بالتعاون مع ليفنت ألبوغيه، الباحث في شركة أنثروبيك.
وقال باكميستر إنه تواصل مع OpenAI بعد علمه بأن الشركة كانت على دراية بالتقدم الذي حققه مع ألبوغيه. وأشار إلى أن OpenAI توصلت إلى برهان لمعادلات نافير-ستوكس باستخدام مسار بحثي قال إنه كان يعمل عليه مع ألبوغيه، مستعينين بأدوات Codex التابعة لـOpenAI وClaude التابعة لأنثروبيك.
وأثار ذلك تساؤلات حول تمكن OpenAI بطريقة ما من الوصول إلى بيانات أو جلسات Codex التي استخدمها الباحثان خلال مشروعهما. وقال باكميستر إنه سأل الشركة تحديدًا عن كون النموذج قد دُرّب على جلساتهما في Codex أو تمكن من الوصول إليها، موضحًا أنه تلقى إجابة تفيد بأن النموذج لم يطّلع على بيانات المستخدمين، لكنه لم يحصل على إجابة واضحة عندما سأل مجددًا عن مسألة التدريب.
OpenAI تنفي استخدام بيانات المستخدمين
في المقابل، أكدت OpenAI أنها لم تستخدم “أي بيانات محددة لأي مستخدم من أجل حل هذه المعادلات”. لكنها أضافت أنه لا يمكنها استبعاد احتمال أن تكون بيانات مجهّلة المصدر ناتجة عن استخدام منتجاتها قد أسهمت في تحسين نماذجها.
ومن جانبه، نفى سيباستيان بوبك، أحد أعضاء الطاقم التقني في OpenAI، اطلاع الشركة على أعمال باكميستر وألبوغيه قبل نشرها علنًا، مؤكدًا أن البرهان الذي توصلت إليه OpenAI يختلف بصورة كبيرة عن عمل الباحثين، ومنها اختلاف النتائج الرياضية المثبتة.
لكن باكميستر رد على ذلك، وعدّ أن تصريحات OpenAI تعني بصورة غير مباشرة أن بيانات تدريب تعود إلى مدة لاحقة لاكتشاف الباحثين نتيجتهم ربما دخلت في عملية تطوير النموذج.
اختبار جديد لقدرات الذكاء الاصطناعي في الرياضيات
يأتي هذا الجدل في وقت يتزايد فيه الحديث عن قدرة نماذج الذكاء الاصطناعي المتقدمة على إحداث تحول في البحث الرياضي، بعدما بدأت هذه النماذج في التعامل مع مسائل تتطلب استدلالًا رياضيًا معقدًا بدلًا من الاكتفاء بتنفيذ عمليات حسابية أو إعادة إنتاج معلومات معروفة.
ومع ذلك، لم توضح OpenAI حتى الآن تفاصيل البرهان بصورة تسمح للمجتمع الرياضي بتقييمه بصورة مستقلة، وهو أمر بالغ الأهمية قبل اعتبار معادلات نافير-ستوكس محلولة رسميًا وفق المعايير المعتمدة لجائزة الألفية.
وأكدت OpenAI أنها لا تعتزم المطالبة بالجائزة المالية البالغة مليون دولار المرتبطة بحل المسألة، رغم وصفها الإنجاز بأنه اختراق مهم في الرياضيات.
