يمثل التحقق من أمان المحادثات الرقمية أحد أبرز التحديات أمام شركات التكنولوجيا، خاصة مع اعتماد مليارات المستخدمين على تطبيقات المراسلة في تبادل الرسائل والبيانات الشخصية، وهو ما يدفع الشركات إلى الاستعانة بالذكاء الاصطناعي لتطوير أساليب أكثر دقة وسرعة لاختبار أنظمة التشفير والتأكد من سلامتها.
وفي هذا الإطار، تعمل شركة جوجل ديب مايند على توظيف الذكاء الاصطناعي في مجال التحقق الرياضي الرسمي من البرمجيات، من خلال إطار جديد يحمل اسم AlphaProof Code، تمكن فريقها البحثي من استخدامه للتحقق من بروتوكول التشفير الخاص بتطبيق سيجنال، ومطابقة الشيفرة البرمجية للتصميم الأمني المحدد لها، وصولاً إلى مستوى لغة الآلة.
وفي هذا الإطار، تعمل شركة جوجل ديب مايند على توظيف الذكاء الاصطناعي في مجال التحقق الرياضي الرسمي من البرمجيات، من خلال إطار جديد يحمل اسم AlphaProof Code، تمكن فريقها البحثي من استخدامه للتحقق من بروتوكول التشفير الخاص بتطبيق سيجنال، ومطابقة الشيفرة البرمجية للتصميم الأمني المحدد لها، وصولاً إلى مستوى لغة الآلة.
