OpenAI تزعم حل معضلة رياضية حيّرت العلماء 90 عامًا

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

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

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

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

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

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

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

جدل حول أسبقية الاكتشاف

وتصاعد الجدل بعدما كشف عالم الرياضيات في جامعة نيويورك تريستان باكميستر، بالتعاون مع الباحث في شركة أنثروبيك ليفنت ألبوغيه، عن نتائج بحثية مرتبطة بمعادلات «نافييه-ستوكس» قبل إعلان OpenAI بيوم واحد فقط.

وقال باكميستر إنه تواصل مع OpenAI بعد علمه بأن الشركة كانت على دراية بالتقدم الذي حققه مع ألبوغيه، مشيرًا إلى أن الشركة توصلت إلى برهان عبر مسار بحثي قال إنه كان يعمل عليه مع زميله، بالتزامن مع استخدام أدوات «Codex» التابعة لـOpenAI و«Claude» التابعة لأنثروبيك.

وأثار ذلك تساؤلات حول إمكانية وصول النموذج، بصورة مباشرة أو غير مباشرة، إلى بيانات أو جلسات Codex التي استخدمها الباحثان خلال عملهما.

ونفت OpenAI استخدام «أي بيانات محددة لأي مستخدم» لحل المعادلات، لكنها أقرت في المقابل بأنها لا تستطيع استبعاد احتمال أن تكون بيانات مجهلة المصدر ناتجة عن استخدام منتجاتها قد أسهمت في تحسين نماذجها.

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

في المقابل، رأى باكميستر أن تصريحات OpenAI لا تحسم التساؤلات بشأن إمكانية استخدام بيانات تدريب تعود إلى فترة لاحقة لاكتشاف الباحثين لنتيجتهم.

ورغم وصف OpenAI ما توصلت إليه بأنه اختراق مهم في مجال الاستدلال الرياضي، فإن اعتبار مسألة «نافييه-ستوكس» محلولة رسميًا يتطلب نشر البرهان بالتفصيل وإخضاعه للمراجعة والتدقيق من جانب المجتمع الرياضي.

ولم تكشف الشركة حتى الآن عن تفاصيل البرهان بصورة تتيح للباحثين تقييمه بصورة مستقلة، ما يجعل وصف المسألة بأنها «محلولة» سابقًا لأوانه وفق المعايير العلمية المعتمدة لمسائل جائزة الألفية.

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