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