في خطوة مبتكرة نحو تحسين موثوقية أنظمة الذكاء الاصطناعي (AI)، اقترحت دراسة جديدة شهادات تشفيرية للتحقق من صحة تلك الأنظمة. ما هي الفكرة الأساسية وراء هذا الاقتراح؟ تتلخص في تحديد شرط صحيح أو سياسة معينة باستخدام صيغة منطقية، ثم تحويل هذه الصيغة إلى مشكلة تحقق رفيعة المستوى على القيود متعددة الحدود. يُستخدم نظام إثبات تشفيري مختصر (وربما معرف غير معروف) لتأكيد أن هذا الشرط متحقق.

هذه التقنية تمثل نقطة وسطى ما بين التحقق الرسمي من كود المصدر والمصادقة التشفيرية، حيث يمكن أن يُصاحب كل عمل يقوم به الوكيل إثبات يمكن التحقق منه بشكل مستقل، مما يعزز الثقة دون الحاجة إلى إعادة تنفيذ العمليات أو اعتماد التحقق على الوكيل فقط.

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

في عصر تتزايد فيه الاعتماد على الذكاء الاصطناعي، يمثل هذا الاقتراح ثورة في كيفية تعاملنا مع الموثوقية والثقة في هذه الأنظمة.