إثبات OpenAI لمعادلات نافييه-ستوكس يشعل خلافاً حول سرقة الأفكار

أعلن تريستان بوكماستر، أستاذ الرياضيات في جامعة نيويورك، يوم الثلاثاء عن إثباتات أولية لمسألة وجود وانتظام نافييه-ستوكس (Navier-Stokes existence and smoothness)، وهي إحدى مسائل الألفية السبع التي يرصد لكل منها معهد كلاي للرياضيات (Clay Mathematics Institute) جائزة مليون دولار. بعد أيام قليلة فقط، نشرت OpenAI إثباتها الكامل الخاص لنفس المسألة، ليتهم بوكماستر الشركة الآن بالتسابق معه بشكل غير نزيه للوصول إلى خط النهاية.

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

بداية متضاربة زمنياً

تؤكد OpenAI أن جهدها الأخير على المسألة بدأ في الأول من سبتمبر، أي قبل يومين من تواصل بوكماستر معها، مستخدمة نموذجاً داخلياً أقوى من GPT-6 Astra المطروح حديثاً. وتقول الشركة إنها شغّلت 10,000 وكيل ذكاء اصطناعي في آنٍ واحد، واستهلكت 300 مليار توكن ناتج خلال الأسبوع التالي، وهي عملية تقدّرها TechCrunch بنحو 22.5 مليون دولار وفق أسعار Astra الحالية.

هنا يتعقّد الجدل الزمني. تنقل TechCrunch أن OpenAI اعترفت بأن أول موجّه (Prompt) في هذه المحاولة أُرسل "في الأيام القليلة الماضية، بعدما وصلت معلومات عن عملنا إلى OpenAI"، وهي عبارة تتناقض بشكل صارخ مع تاريخ البدء المعلن في الأول من سبتمبر. ولم توضّح الشركة أي رواية هي الصحيحة.

تشابه المنهجية يثير الشكوك

يشير بوكماستر أيضاً إلى المنهجية، ويصفه بالمريب أن نموذج OpenAI توصّل إلى نفس استراتيجية الإثبات النادرة نسبياً التي استخدمها فريقه، في توقيت متقارب جداً. ويصرّ سيباستيان بوبيك من OpenAI بأن الإثباتين "يختلفان بشكل كبير" ولهما نتائج نهائية متمايزة، لكن كلا الجهدين يعودان في أصلهما إلى عمل سابق لعالمَي الرياضيات دييغو كوردوبا ولويس مارتينيز-زوروا حول تكوّن التفرّد القسري (Forced Singularity Formation)، وهو نفس السياق الذي يستشهد به بوكماستر كنقطة انطلاقه.

كتب بوكماستر على منصة Mastodon أن OpenAI "تعترف علناً بأنها استخدمت بيانات تدريب من فترة تلت توصلنا إلى نتيجتنا".

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

نموذج تدرّب في أسبوع واحد

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