DeepMind формально верифицировала криптопротокол Signal с помощью ИИ
AlphaProof Code — мультиагентный фреймворк, который за 4 недели доказал корректность кода Signal на Lean (6 млн строк). Агенты на Gemini Carbon нашли, что только 1% кода требует ручной проверки. Система обнаружила две ранее исправленные уязвимости.