Signal

Google DeepMind-ի հետազոտողները օգտագործել են AlphaProof Code կոչվող նոր AI շրջանակը՝ Signal արձանագրության հիմնական գաղտնագրային երաշխիքներից մի քանիսը մաթեմատիկորեն ապացուցելու համար։ WIRED-ի նոյեմբերի 10-ի հաղորդմամբ, չորսշաբաթյա փորձնական նախագիծը արձանագրության ուսումնասիրված մասերում նոր խոցելիություններ չի հայտնաբերել։