⁣🧠 ИИ проверил шифрование математикой

В Google DeepMind с помощью ИИ-агентов формально доказали ряд ключевых гарантий протокола Signal. На нём работают сам Signal, Google Messages и WhatsApp*. На всё ушло четыре недели, но приложение целиком не проверяли.

Как это работает и почему это не «доказательство безопасности» всего мессенджера:

↖️ https://kod.ru/deepmind-signal-verifikatsiya

*принадлежит Meta, признанной в России экстремистской организацией, её деятельность запрещена.