تقول أوبن إيه آي إن نموذجاً داخلياً غير مطروح للاستخدام العام حل واحدة من مسائل الألفية السبع في غضون 88 ساعة فقط، بينما يتهمها عدد من كبار علماء الرياضيات بالاستحواذ على عمل غير منشور.
أبرز النقاط:
- «أوبن إيه آي» تؤكد أن نحو 10 آلاف وكيل ذكاء اصطناعي تعاونوا لإنتاج برهان يثبت أن معادلات الموائع يمكن أن تنهار في زمن منتهٍ.
- أستاذ في جامعة نيويورك يقول إن الشركة تحركت بعد سماعها بشائعات حول نتائجه غير المنشورة.
- معهد «كلاي» للرياضيات لم يعترف بالبرهان بعد، ولا يزال يصنف المسألة على أنها مفتوحة.
تفاصيل برهان نافييه‑ستوكس لدى «أوبن إيه آي»
الشركة نشرت نتائجها في 8 سبتمبر، موضحة أن نظاماً داخلياً لم يُطلق بعد تمكن من إثبات أن معادلات نافييه‑ستوكس، التي تصف سلوك الموائع، قد تتعرض لانهيار الحل في زمن منتهٍ.
نحو 10 آلاف وكيل مستقل عملوا بالتوازي على المسألة قبل التوصل إلى حجة مكتملة خلال 88 ساعة. المخطوطة الناتجة تجاوزت 160 صفحة.
هذه الحملة انطلقت في الأول من سبتمبر بعد تسرب شائعات إلى «أوبن إيه آي» تفيد بأن اثنتين من مسائل الألفية قد حُلّتا على يد باحثين آخرين. بعدها أمضى نموذج GPT-6 Astra قرابة 17 ساعة إضافية في «ترميز» البرهان ضمن نظام Lean، وهو إطار للتحقق الشكلي يراجع كل خطوة منطقية، بينما قدّر التنفيذيون تكلفة التشغيل بملايين الدولارات.
اقرأ أيضاً: انهيار في «LAPTOP» بنسبة 99%، هنتر بايدن ينفي ادعاءات الاحتيال ويلوم «البوتات»
تريستان بوكماستر ينازع على الفضل
تريستان بوكماستر، أستاذ الرياضيات في جامعة نيويورك، اتهم «أوبن إيه آي» بأنها تحركت لحل المسألة بعد سماعها عن نتائجه غير المنشورة. بوكماستر عمل قرابة عام كامل مع ليفنت ألبوجه، عالم الرياضيات في مختبر المنافس أنثروبيك.
الباحثان اعتمدا بكثافة على مساعد البرمجة «Codex» من «أوبن إيه آي» أثناء بناء براهينهما، ويمكن للشركة استخدام هذه الجلسات في التدريب ما لم يختر المستخدمون الانسحاب.
الثنائي اختار مساراً تقنياً ضيقاً وغير معتاد لحل المسألة، وهو ما جعل تزامن تحرك «أوبن إيه آي» يبدو مريباً في نظر بوكماستر. ويقول إن الرياضي في «أوبن إيه آي» سيباسيتان بوبِك طرح تسوية تُسقِط اسم ألبوجه من الفضل، ثم تساءل أمامه لماذا يرغب في «تدمير مسيرته» برفضها.
«أوبن إيه آي» تنفي أن يكون أي من باحثيها أو وكلائها قد اطلع على عمل الثنائي قبل نشره. وتؤكد أن الجهد لم يعتمد على بيانات مستخدمين محددة، لكنها تقرّ في المقابل بأن بيانات مجهولة الهوية من استخدام منتجاتها ربما ساهمت في تحسين النماذج، مع تشديدها على أن البرهانين «مختلفان بشكل جوهري».
معهد كلاي يتحفظ على الحُكم
تيرينس تاو من جامعة كاليفورنيا في لوس أنجلِس أشاد بالنتائج التي توصل إليها كل من بوكماستر وألبوجه، لكنه حذر من أن «سباقات» الذكاء الاصطناعي قد تحوّل الرياضيات إلى سباق حصص عددية يفتقر إلى القيمة العلمية الحقيقية.
أبهيشيك ساها، أستاذ الرياضيات في جامعة كوين ماري في لندن، وصف ما حدث بأنه نموذج لنمط من النزاعات الذي يسعى علماء الرياضيات عادة لتجنبه.
أما مارتن بريدسون، رئيس معهد كلاي للرياضيات، فقد اعتبر الإعلان «مثيراً»، مع تأكيده أن مراجعة البرهان ستستغرق وقتاً. ولا يزال المعهد يصنف المسألة على أنها غير محلولة. وكان المعهد قد حدد عام 2000 سبع مسائل كبرى، ورصد جائزة قدرها مليون دولار لكل منها، لم يُحسم منها سوى حدسية بوانكاريه التي أثبتها غريغوري بيرلمان عام 2003، والذي رفض تسلّم الجائزة المالية.
اقرأ التالي: آبل تسعر أول هواتف «آيفون» القابلة للطي المزدوجة عند 1,999 دولاراً، و«سامسونغ» في دائرة القلق
