Новый инструмент искусственного интеллекта Google только что доказал, что шифрование сигналов действительно работает – вот как

• Исследователи официально подтвердили, что часть кода шифрования Signal работает.
• Официальная проверка кода исторически была сложной и отнимала много времени.
• Код AlphaProof - это шаг к усилению проверки безопасности.

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

Также: Как сбои в системе безопасности ИИ ставят под угрозу вашу цепочку поставок

В последнее время компании, занимающиеся ИИ, такие как OpenAI, совершили математический прорыв, в некоторых случаях решая математические задачи почти столетней давности с помощью ИИ. Благодаря вычислениям в таких огромных масштабах модели искусственного интеллекта могут быстро ускорить большую часть ручной работы математиков.

(Раскрытие информации: Ziff Davis, материнская компания ZDNET, подала в апреле 2025 года иск против OpenAI, утверждая, что она нарушила авторские права Ziff Davis при обучении и эксплуатации своих систем искусственного интеллекта.)

Используя код AlphaProof и опираясь на более раннюю работу по проверке, проведенную Signal Foundation, исследователи DeepMind разделили задачу проверки на два лагеря. Люди работали с агентами, чтобы определить, что им нужно доказать, а затем несколько агентов, работающих с Gemini Carbon, последней моделью компании, выполнили ее. Агенты также провели аудит доказательств и "выделили области, требующие повторного изучения человеком — всего 1% кодовой базы, что значительно экономит время", - пишут исследователи.

Также: После спешки с кодированием vibe наступает время отладки

Для пущей убедительности исследователи протестировали способность AlphaProof Code отличать правильный код от ошибочного, показав ему две ранее исправленные ошибки в сигналах, для которых были получены корректные доказательства.

"Наша работа знаменует собой первый случай, когда ИИ был использован для официальной проверки широко распространенного криптографического протокола на такой глубине", - пишут исследователи. "Кроме того, впервые реализация такого широко распространенного протокола была официально проверена каким-либо методом, с использованием ИИ или без него".

Normally, researchers need to manually develop a proof to verify software, which takes much longer. That labor-intensive barrier has made formal verification a distant promised land, until now. The DeepMind team’s verification took a month to do what might normally take experts years.

DeepMind did not verify all of Signal’s code, but noted that this test is a step toward improved security infrastructure at a time when AI is disrupting the entire cybersecurity space.

Also: How to encrypt emails in Gmail, Outlook, and more

"Having the core Signal protocol rigorously verified with automated theorem proving gives us even greater confidence that our code delivers on its privacy guarantees," the researchers wrote.

The breakthrough reiterates how deeply AI is both a massive risk for cybersecurity and an equally powerful fix. The year 2026 has been especially marked by AI-related security incidents, many of which involve agents. At the same time, companies like Anthropic, Google, and OpenAI are developing models geared specifically toward cybersecurity, including Anthropic’s Claude Mythos.

Also: How to easily encrypt your files on an Android phone

DeepMind did not share any plans to release its findings as a consumer product, though the researchers are open-sourcing their code to help others with formal verification efforts. "Verifying Signal’s core cryptography lays the groundwork to secure other vital systems, from medical device firmware to power grid software," DeepMind added