ما الذي تغيّر
استناداً إلى تقرير فينتشر بيت، تقول أوبن إيه آي إن نظاماً داخلياً يستخدم سرباً من 10,000 وكيل حلّ مسألة الوجود والنعومة لمعادلات نافير, ستوكس، وهي واحدة من مسائل جائزة الألفية السبع التي طُرحت قبل 26 عاماً. ويذكر التقرير نفسه أن أوبن إيه آي لا تستطيع استبعاد احتمال أن تكون بيانات كودكس الخاصة بباحث قد أسهمت في النتيجة.
لماذا يهم ذلك
لا يمثل هذا حتى الآن اختراقاً في منتج يصلح لإدراجه في خريطة الطريق. بل إنه اختبار صعب لما ينبغي أن يعنيه القول إن «الذكاء الاصطناعي حلّ المسألة» حين يكون للمخرجات قدرة محتملة على إعادة تشكيل مجال بأكمله.
قد يقدّم السرب إجابة مبهرة، لكنه لا يزال مطالباً بإظهار كيفية التوصل إليها. وبالنسبة إلى الفرق التي تبني أنظمة بحث متعددة الوكلاء، فالنتيجة العملية واضحة: أصبح إثبات المنشأ وقابلية إعادة الإنتاج جزءاً من المنتج. وقد يحظى نظام يحتفظ بمسار برهاني قابل للفحص وسجلّ موثوق لمدخلاته بثقة لا تستطيع نتيجة غامضة اكتسابها.
توقعنا، وهو استنتاج مستنير: من المرجح أن يبقى الأمر خلال الأسابيع المقبلة مشروع تحقق، لا نظرية محسومة. وإذا تمكنت أوبن إيه آي من تقديم حجة قابلة للتدقيق وإثبات واضح لمنشأ المدخلات، فقد تجذب أنظمة الوكلاء المنسقة مزيداً من الجهد نحو الاستدلال الصوري. أما إذا لم تفعل، فقد تصبح الأنظمة المصممة بشفافية الخيار التنافسي الأكثر قيمة.
المقارنة التاريخية
في عام 2012، ذكرت نيتشر أن شينيتشي موتشيزوكي ادعى تقديم برهان لحدسية abc. والتشابه البنيوي يتمثل في عنق الزجاجة غير المريح نفسه: فالادعاء الرياضي الاستثنائي يحتاج إلى أن يدقق متخصصون من خارج العمل في الخطوات الحاسمة قبل أن تتكون الثقة.
والاختلاف مهم. فقد كان برهان موتشيزوكي من تأليف إنسان وموزعاً على عدة أوراق بحثية؛ أما الادعاء الذي أُبلغ عنه بشأن أوبن إيه آي فيصدر عن نظام متعدد الوكلاء ويقترن بسؤال منفصل حول احتمال استخدام بيانات كودكس خاصة. وبحلول عام 2020، ذكرت نيتشر أن برهان موتشيزوكي قُبل للنشر، لكن رأي الخبراء الأوسع لم يتغير تغيراً ملموساً بعد أن حدد رياضيان ما اعتبراه خللاً خطيراً. ولم يحسم النشر النظرية. وهذه المرة، قد توفر مواد البرهان العلنية وسجلات قابلية إعادة الإنتاج وتدقيق المنشأ طريقاً أوضح بكثير إلى الحسم.
تقييم الأثر
يواجه الرياضيون المستقلون تحولاً فورياً في عبء العمل: تقييم الرياضيات المُدعاة، وتحديد ما إذا كان يمكن تدقيقها من دون أسئلة معلقة بشأن منشأ البيانات. وقدرتهم على التحقق منها ستحدد ما إذا كان الإعلان سيصبح نتيجة أم برنامجاً بحثياً.
وتواجه مجموعات البحث التي تقيّم الذكاء الاصطناعي متعدد الوكلاء الآن مفاضلة أوضح. فقد يبرر حل متحقق منه وقابل للتدقيق مزيداً من الاستثمار في الاستدلال الصوري كثيف التنسيق. أما النتيجة غير المحسومة فقد تجعل السجلات الشفافة والسلوك القابل لإعادة الإنتاج والمدخلات الموثقة ميزة تنافسية.
وقد تشدد الجامعات ومؤسسات البحث أيضاً توقعاتها من العمل المدعوم بالذكاء الاصطناعي. فعندما يكون ادعاء ذو تبعات مهمة قد استفاد من بيانات خاصة، تصبح سجلات الأدوات والمدخلات جزءاً من النزاهة البحثية، لا مجرد إضافة إدارية.
السيناريوهات
الأرجح: إذا ظل مسار البرهان أو منشأ البيانات صعب الفحص، فستتعامل المؤسسات مع الادعاء باعتباره غير محسوم على مدى أسابيع إلى أشهر، وستُبقي الأبحاث التي ينتجها الذكاء الاصطناعي تحت مراجعة أشد. وهذا هو المسار الأرجح لأن القبول المستقل يعتمد على الوصول إلى الاستدلال الحاسم وسجلات استخدام البيانات. وستعززه أسئلة تحقق محددة، أو مواد غير مكتملة، أو منشأ غير محسوم؛ بينما قد تقلبه تحققات مستقلة متعددة وتدقيق كامل.
الجانب الإيجابي: إذا تمكن مراجعون خارجيون من التحقق من برهان قابل للتدقيق وإثبات أن بيانات كودكس الخاصة لم تسهم إسهاماً جوهرياً في النتيجة، فقد تخصص مجموعات البحث موارد أكبر لأنظمة الوكلاء المنسقة لمعالجة مشكلات علمية صورية خلال ستة إلى 12 شهراً. وسيجعل ذلك أدوات التحقق وتنسيق الوكلاء المتعددين بنية تحتية بحثية أكثر مركزية. وسيعزز هذا المسار التأكيد المستقل، وسلوك النظام القابل لإعادة الإنتاج، وأعمال مماثلة من مجموعات أخرى.
الجانب السلبي: إذا لم يتمكن المراجعون من إثبات البرهان أو منشأه، فقد تطلب المؤسسات توثيقاً أشد للادعاءات البحثية التي يولدها الذكاء الاصطناعي خلال العام المقبل. وقد يمنح ذلك أفضلية للأنظمة المصممة حول استدلال قابل للفحص وسجلات استخدام البيانات على العروض المبهرة لكنها الغامضة. وسيُسرّع هذا المسار خلل حاسم، أو تدقيق غير محسوم، أو دليل على استفادة جوهرية من بيانات خاصة.
ما ينبغي مراقبته لاحقاً
- إصدار أوبن إيه آي برهاناً أو سجلاً رياضياً مماثلاً قابلاً للتدقيق يتيح للرياضيين المستقلين فحص الاستدلال المركزي.
- تقييم موثق لما إذا كانت بيانات كودكس الخاصة قد أسهمت إسهاماً جوهرياً في النتيجة.
- تحديد رياضيين مستقلين لمسار متماسك ومتحقق عبر الحل المُدعى، أو لخلل حاسم يمنع قبوله.
التعليقات
لا توجد تعليقات بعد.