أعلنت شركة أوپن‌اي‌آي يوم الثلاثاء ٨ سبتمبر أن أحد نماذجها الداخلية وغير المنشورة نجح في حل جزء من معادلات نافير-ستوكس؛ إحدى «مسائل جائزة الألفية» السبع التي خصص معهد كلاي الرياضي مليون دولار جائزة لحل كل واحدة منها. لكن بعد ساعات قليلة فقط من هذا الإعلان، اتهم رياضياتي من جامعة نيويورك أوپن‌اي‌آي باستغلال بحثه الخاص وأثار جدلاً حول نسبة الفضل لهذه الإنجاز العلمي.
ما القصة؟
بحسب ما نقلت إيتنا عن إعلان أوپن‌اي‌آي، تم تحقيق هذا الإنجاز في ٨٨ ساعة وبالتعاون مع نحو ١٠ آلاف عامل ذكاء اصطناعي يعملون بشكل متوازٍ، وقد تم التحقق منه بواسطة برنامج Lean الذي يصادق على البراهين الرياضية خطوة بخطوة.
اتهام سرقة البحث
قبل ساعات من الإعلان الرسمي لأوپن‌اي‌آي، طرح تريستان باكمستر، رياضياتي من جامعة نيويورك، نسخة مختلفة في بيان من أربع صفحات. حسب قوله، فقد عمل هو ومعه لِفِنت آلپوغه، رياضياتي يعمل في شركة منافسة هي أنثروبيك، لما يقرب من سنة باستخدام نماذج ذكاء اصطناعي على برهان مشابه لهذه المسألة ووصلوا إلى نتيجة في ٢٢ أغسطس.
يقول باكمستر إنه في ٣ سبتمبر وبناءً على شائعات تفيد بأن أنثروبيك حققت إنجازاً كبيراً، شارك موضوع مشروعه الشخصي مع أحد رياضيي أوپن‌اي‌آي. وبحسبه، بعد ثلاثة أيام أبلغ سباستيان بوبك، مسؤول فريق الرياضيات في أوپن‌اي‌آي، خلال اتصالٍ أن نموذج الشركة الداخلي قد أنتج سابقاً برهاناً من مئة صفحة للنسخة المُلزم بها من معادلات نافير-ستوكس؛ نفس النهج المحدود الذي، وفقاً لباكمستر، لم يتبعه تقريباً أي باحث آخر.
وبحسب ادعاء باكمستر، وضع بوبك أمامه خيارين: إما أن تنشر أوپن‌اي‌آي نتيجتها يوماً واحداً بعد نشر ورقة فريقه، أو ينشر باكمستر الورقة بمفرده ومن دون ذكر آلپوغه -بسبب عمله في الشركة المنافسة-.
يقول باكمستر إنه عندما أعلن أنه يفضّل نشر نتائجه بشكل مستقل، قوبل بردود فعل من بوبك وصفها بأنها غير مهنية.
في النهاية نشر باكمستر وآلپوغه بحثهما باسم كلٍ منهما، لكن أوپن‌اي‌آي في بيانها الرسمي اكتفت بالقول إنها لا تستطيع استبعاد احتمال أن البيانات المُخفّاة الناتجة عن استخدام هذين الباحثين لمنتجاتها قد ساعدت في تحسين نماذجها.
ردّ أوپن‌اي‌آي
بوبك، أوپن‌اي‌آي وسام ألتمان، المدير التنفيذي للشركة، رفضوا رواية باكمستر. نشر بوبك في رسالة على شبكة إكس صوراً لرسائله التي تقول إنها تُظهر أنه اقترح منذ البداية النشر المنسق والمشترك بحضور آلپوغه ولم يطلب أبداً إزالة اسمه من قائمة المؤلفين.
كتب سام ألتمان أيضاً دعماً لبوبك قائلاً إنه تصرّف بصدق وسخاء خلال هذه الحادثة وأن أوپن‌اي‌آي اعتقدت في البداية أن الفريق المنافس قد حلّ مسألة نافير-ستوكس بالكامل، ولهذا طلبت النشر المشترك للنتائج.
ووفقاً لألتمان، عندما تبيّن أن فريق باكمستر أثبت فقط معادلات أويلر (نسخة نافير-ستوكس من دون الاحتكاك) وليس المسألة كاملة، اقترحت أوپن‌اي‌آي عليهم أن ينشروا مبكراً.
كما أكدت أوپن‌اي‌آي في بيان منفصل أنه لم يكن لديها أي وصول مباشر إلى بحث هذين الباحثين قبل النشر ولم تستخدم أي بيانات مستخدم محددة؛ مع أنها لم تنفِ هذا الاحتمال بشكل قاطع.
وكتبت theverge أن تيرنس تاو، الحائز على ميدالية فيلدز، وصف إنجاز باكمستر وآلپوغه الرياضي بأنه «نجاح مذهل».
كان هذا الحدث الثاني هذا الأسبوع المتعلق بالبراهين الرياضية بواسطة الذكاء الاصطناعي ومن قبل نفس الشركتين المتنافستين؛ قبل أيام قليلة أعلنت أنثروبيك أن نموذج Claude لديها قد قدّم برهاناً حاسوبياً موثّقاً لـ«المبرهنة الأخيرة لفيرما». النسخة المتقدّمة من برهان باكمستر وآلپوغه الأقرب إلى حل المسألة الرئيسية بشكل كامل لا تزال غير منشورة وتنتظر المراجعة النهائية، كما أن برهان أوپن‌اي‌آي المكوّن من مئة صفحة لم يراجع حتى الآن من قبل أي جهة مستقلة.