أعلنت شركة أوبن إيه آي أن نظام ذكاء اصطناعي تمكن من حل مشكلة نافير-ستوكس. تعتبر هذه المسألة واحدة من سبعة مسائل جائزة الألفية، وهي من أصعب الأسئلة المفتوحة في الرياضيات.
ذكرت الشركة أن 10 000 وكيل ذكاء اصطناعي عملوا معًا لمدة 88 ساعة حتى الوصول إلى البرهان. اعترض الأستاذ بجامعة نيويورك تريستان بوكماستر على نسب الفضل.
ما تدعيه أوبن إيه آي
تصف معادلات نافير-ستوكس كيف تتحرك الموائع مثل الهواء أو الماء.
تشير برهنة أوبن إيه آي إلى أن المعادلات قد تصل إلى انفجار بزمن محدود، عندما تصبح سرعات المائع لانهائية بدلًا من أن تبقى سلسة.
صدر البرهان من نموذج غير معلن بعد تقول أوبن إيه آي إنه يتفوق على نظام GPT-6 Astra الذي تم إطلاقه.
أمضى النظام GPT-6 Astra بعد ذلك 17 ساعة في التحقق من منطق البرهان.
يمنح معهد كلي للرياضيات مليون $ لحل أي من المسائل السبع. قالت أوبن إيه آي إنها لن تطالب بالجائزة.
نزاع الفضل
قال الأستاذ بجامعة نيويورك تريستان بوكماستر إنه هو وعالم الرياضيات في أنثروبيك ليفينت ألبوج كانوا قريبين من نتيجة ذات صلة.
عملهم كان محفوظًا داخل نموذج أوبن إيه آي كودكس، وهو نموذج ذكاء اصطناعي يركز على البرمجة. صرح بوكماستر أن ذلك ربما عرضه لفريق أوبن إيه آي.
تطرق بوكماستر لهذا القلق مباشرة في بيان علني:
قال بوكماستر أنه لا يعرف ماذا فعل نموذجهم، ولا كيف. وقال إنه لا يعرف إذا استُخدمت بياناتهم. وأكد بوكماستر أنه لا يتهم أحدًا بأي شيء.
— تريستان بوكماستر، عالم رياضيات في جامعة نيويورك
رد الباحث في أوبن إيه آي سباستيان بوبك في مؤتمر صحفي. نفى أن الشركة وصلت إلى عملهم غير المنشور أو استخدمته.
أقرت أوبن إيه آي أيضًا بأمر آخر، وهو أنها لا تستطيع أن تستبعد أن استخدام الباحثين للمنتج أثّر على تدريب نموذجها.
ظهر هذا النزاع بينما تتهيأ أوبن إيه آي لطرح عام أولي بقيمة 1 تريليون $. تسعى أنثروبيك نحو تقييم أعلى من خلال طرحها العام الأولي الخاص.
