11 ноября 2026 г.
Криптографию Signal проверили математически: DeepMind с ИИ уложилась в 4 недели
Google DeepMind 10 ноября сообщила, что за 4 недели команда с ИИ-агентами доказала ключевые свойства безопасности кода Signal. Эксперты определяли, что доказывать, а агенты строили математические доказательства.
Google DeepMind 10 ноября сообщила, что за 4 недели команда с ИИ-агентами доказала ключевые свойства безопасности кода Signal. Эксперты определяли, что доказывать, а агенты строили математические доказательства.
Доказательства проверяла система Lean, сверяя их с утверждёнными экспертами требованиями.
Первоисточник