ИИ помог проверить код, шифрующий переписку Signal
Signal — мессенджер с шифрованием переписки. По сообщению Google DeepMind, исследователи с помощью ИИ доказали конкретные свойства безопасности кода, который за это шифрование отвечает. Среди них —
читать далее