Nova ferramenta de IA da Google DeepMind comprovou que o Protocolo de Sinal é seguro

Inteligência artificialWIRED — IA10 de nov. de 2026, 02:01

Nova ferramenta de IA da Google DeepMind (nova aba) comprovou que o Protocolo de Sinal é seguro

Imagem da publicação original · WIRED — IA

Pesquisadores da DeepMind conseguiram verificar formalmente que o protocolo de criptografia amplamente utilizado funciona conforme o previsto. Sua meta ambiciosa? Fazer o mesmo para "todo o software do mundo".

Ler mais Tradução do trecho disponibilizado pela fonte · validação automática

A notícia é o começo

Continue por aqui

Na mesma pauta

Pacotes de uso de Inteligência da Apple por US$ 50 estendem o acesso a alguns recursos de IA

Outra notícia para acompanhar este assunto, com fonte e data.

Ler a notícia Para colocar em prática

Nunca usei IA. Por onde começo?

Escolha uma tarefa simples, faça seu primeiro pedido e aprenda a conferir a resposta. Um caminho para começar sem precisar entender de programação.

Abrir o guia Quem está na notícia

Google

Da busca ao Gemini, o Google desenvolve ferramentas para encontrar informação, trabalhar e usar IA. Faz parte do grupo Alphabet.

Conhecer o perfil