גוגל דיפמיינד השתמשה ב-AI כדי להוכיח מתמטית כמה מהבטחות האבטחה המרכזיות של פרוטוקול Signal
חוקרי Google DeepMind השתמשו בכלי AI חדש בשם AlphaProof Code והוכיחו מתמטית כמה מהבטחות האבטחה המרכזיות של פרוטוקול Signal, שמגן גם על WhatsApp ועל Google Messages. הפרויקט נמשך ארבעה שבועות בלבד. החוקרים אומרים שהמטרה היא להחיל בסופו של דבר את השיטה על כל התוכנה בעולם, אבל הדרך לשם עוד ארוכה.