DeepMind AI verifica formalmente recursos de segurança-chave do protocolo signal

Pesquisadores da Google DeepMind utilizaram IA agenciada para confirmar matematicamente várias garantias criptográficas críticas dentro do protocolo Signal, representando um feito significativo tanto para a criptografia quanto para a inteligência artificial. Este projeto de prova de conceito foi concluído em apenas quatro semanas e valida a segurança subjacente às comunicações em plataformas como Signal, Google Messages e WhatsApp, demonstrando as capacidades da DeepMind com seu framework AlphaProof Code. Embora a análise não tenha encontrado novas vulnerabilidades nas partes examinadas do protocolo, a ferramenta conseguiu identificar vulnerabilidades conhecidas em versões mais antigas do Signal. Ehren Kret, diretor de tecnologia da Signal, observou que a abordagem da DeepMind permite uma expansão significativa além dos esforços de verificação anteriores. Pushmeet Kohli, cientista-chefe do Google Cloud e vice-presidente de pesquisa da DeepMind, sugeriu que tal verificação poderia permitir que serviços críticos, como bancos, comprovassem a correção de seu código. Swarat Chaudhuri, pesquisador da DeepMind, enfatizou que escalar isso para todo o software global é um objetivo de longo prazo, enfatizando uma preferência por um processo de colaboração entre humanos e IA, em vez de geração totalmente autônoma de IA. Os pesquisadores estão disponibilizando suas especificações e provas para o público, a fim de auxiliar no campo mais amplo da verificação formal.