Исследователи Google DeepMind разработали систему искусственного интеллекта AlphaProof Code, которая впервые позволила провести математическую проверку ключевых механизмов шифрования, используемых в мессенджере Signal. Результаты исследования опубликованы 10 ноября на сайте Google DeepMind .