Signal

Google DeepMind-ის მკვლევრებმა ახალი AI ჩარჩო, სახელწოდებით AlphaProof Code, გამოიყენეს Signal-ის პროტოკოლის რამდენიმე ძირითადი კრიპტოგრაფიული გარანტიის მათემატიკურად დასამტკიცებლად. WIRED-ის 10 ნოემბრის ცნობით, ოთხკვირიანმა საპილოტე პროექტმა პროტოკოლის შესწავლილ ნაწილებში ახალი დაუცველობები არ გამოავლინა.