Искусственный интеллект математически подтвердил безопасность шифрования Signal

Lead

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

Google DeepMind researchers have developed the AlphaProof Code AI system, which for the first time allowed a mathematical verification of key encryption mechanisms used in the Signal messenger.