Google DeepMind жасанды интеллект көмегімен Signal криптографиясын тексерді
Google DeepMind зерттеушілері AlphaProof Code жүйесін қолдана отырып, Signal хаттамасының криптографиялық кепілдіктерін математикалық түрде дәлелдеді.
#Signal
Google DeepMind жаңа ЖИ құралы Signal протоколының қауіпсіздігін дәлелдеді
DeepMind зерттеушілері кеңінен қолданылатын шифрлау протоколының дұрыс жұмыс істейтінін формальды түрде растады. Келесі мақсат — бүкіл әлемдегі бағдарламалық жасақтаманы тексеру.