الذكاء الاصطناعي يختبر أسرار «سيجنال».. جوجل تقترب من ثورة في حماية الرسائل
جوجل ديب مايند تطور نظام AlphaProof Code للتحقق الرياضي من خصائص الأمان في الشيفرة الفعلية لبروتوكول سيجنال، باستخدام وكلاء الذكاء الاصطناعي ولغة Lean، في تجربة استغرقت أربعة أسابيع وأنتجت أكثر من 6.5 مليون سطر من البراهين