رياضي من NYU يتهم OpenAI باللعب بأسلوب غير نظيف في مسألة رياضية بارزة

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

وكان باكماستر وألبوغه يضعان اللمسات الأخيرة على نتائجهما عندما علما أن معلومات عن تقدمهما وصلت إلى OpenAI. وعندما سألا الشركة عن ذلك، قالت إنها حققت بالفعل برهاناً كاملاً للمسألة الأساسية، وأصبحت متجنبة للإجابة عندما سُئلت عن مقدار التدخل البشري وموعد بدء العمل؛ ووفق باكماستر، اتُفق في النهاية على أن أول طلب أرسلته OpenAI بشأن المسألة أُرسل في الأيام القليلة السابقة مباشرة، بعد أن وصلت معلومات عن عملهما إلى الشركة. وبعد فترة قصيرة من نشر تصريح باكماستر، أعلنت OpenAI عن برهانها الكامل الخاص بمسألة وجود وسلاسة معادلات نافييه-ستوكس -وهي واحدة من مسائل جائزة الألفية السبع، التي تحمل كل منها جائزة قدرها 1 مليون دولار من معهد كلاي للرياضيات (Clay Mathematics Institute)- ونسبت الفضل إلى نموذج من الجيل التالي لم يُطرح بعد، وإلى جهد استمر أسبوعاً استهلك 300 مليار رمز إخراج (token)، بقيمة 22.5 مليون دولار وفق أسعار حوسبة Astra الحالية. وأكد منشور OpenAI نفسه معظم التسلسل الزمني، قائلاً إن الجهد الأخير بدأ في 1 سبتمبر، بدافع شائعات عن حل مسألتين من مسائل جائزة الألفية.

وقال باكماستر إن النهج المحدد الذي اختاره هو وألبوغه -وهو مسار أقل شيوعاً بكثير يمر عبر صياغة فيفرمان للمسألة- كان نهجاً “لا يتبعه تقريباً أي شخص آخر” على حد علمه، وهو ما جعل من المثير للشك أن فريق OpenAI توصّل إلى التكتيك نفسه في الوقت نفسه؛ وقال إن هذا ليس اتجاهاً يصل إليه نموذج في غضون أيام بالاستناد فقط إلى صياغة المسألة. كما أصبحت علاقة ألبوغه بـAnthropic (لم يكن يعمل على المشروع نيابة عن الشركة) نقطة خلاف أيضاً: يزعم باكماستر أن الرياضي في OpenAI سيباستيان بوبيك طلب منه إزالة اسم ألبوغه من قائمة الفضل كجزء من تسوية مقترحة، وأنه عندما ضغط باكماستر لجعل الخلاف علنياً، حذّره بوبيك: “إذا كنت لا تريدني أن أكون لطيفاً، فلست مضطراً لأن أكون لطيفاً”.

وأثار باكماستر أيضاً إمكانية أن يكون Codex التابع لOpenAI، الذي استخدمه بشكل مكثف والذي يمكن للشركة أن تدرّب نماذجها عليه ما لم يُلغِ المستخدمون ذلك، قد سمح لنماذجها الخاصة باستيعاب أدلة من عمله. وقال منشور OpenAI إنها لم تصل إلى بيانات المستخدم الخاصة بفريقه، وأن برهانها يختلف بشكل كبير عن برهانهم، مع إقرارها بأنها “لا يمكنها استبعاد” أن بيانات استخدام مجهولة الهوية ساعدت في تحسين نماذجها.

لماذا يهم

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