Google usa IA para provar segurança da criptografia do Signal

O Google DeepMind desenvolveu o AlphaProof Code, um sistema de inteligência artificial capaz de realizar verificação formal — uma técnica que prova matematicamente se um código está correto — no código de criptografia do Signal, o aplicativo de mensagens focado em privacidade.

A iniciativa reforça a confiança em ferramentas de comunicação segura ao usar IA não apenas para detectar bugs, mas para comprovar que implementações criptográficas funcionam exatamente como pretendido, eliminando falhas que poderiam comprometer a privacidade dos usuários.