–>
<!–>
<!–>
<!–>
–>
<!–>
–>
O Google DeepMind usou um novo sistema de inteligência artificial, o AlphaProof Code, para provar de forma matemática e definitiva que o aplicativo de mensagens Signal é seguro contra espionagem e invasão.
<!–>
A inteligência artificial confirmou que o aplicativo é seguro. Durante quatro semanas de análises no código do Signal, a ferramenta demonstrou matematicamente que o sistema de criptografia do programa cumpre todas as suas promessas de privacidade.
O histórico de conversas continua protegido mesmo em caso de invasão. A verificação comprovou que, mesmo se um hacker conseguir comprometer temporariamente o celular de um usuário, as mensagens enviadas antes e depois do ataque permanecem inacessíveis.
–>
<!–>
O CTO do Signal destacou o avanço na proteção. “O uso de agentes de IA para traduzir o código em teoremas válidos é um avanço enorme. À medida que as ameaças de segurança aumentam, ter o protocolo do Signal verificado rigorosamente nos dá ainda mais confiança nas garantias de privacidade do nosso código”, afirmou Ehren Kret, diretor de tecnologia do app.
Signal vs. WhatsApp: embora ambos utilizem o protocolo de criptografia Signal para proteger o conteúdo das mensagens, o Signal é mantido por uma fundação sem fins lucrativos. Já o WhatsApp pertence à Meta e coleta dados de uso, lista de contatos e conexões para fins operacionais e comerciais.
Os aplicativos cumprem a mesma função no dia a dia: a troca de mensagens. Mas, o Signal é considerado mais seguro exatamente por não coletar dados de uso nem metadados dos usuários, diferente do WhatsApp.
–>
O sistema realiza uma ‘verificação formal’ do código. Em vez de apenas simular ataques de hackers, a IA traduz o programa para equações matemáticas rigorosas em uma linguagem chamada Lean, garantindo que não existam falhas lógicas.
<!–>
Os pesquisadores desafiaram a ferramenta com falhas reais. Para confirmar que a IA não cometeria erros, a equipe inseriu dois problemas antigos já corrigidos em uma versão isolada do Signal. O sistema detectou os erros e provou que aquela versão específica era vulnerável.
–><!–>
–>
<!–>
A Google DeepMind é o laboratório de pesquisa avançada em IA do Google. A organização tem como foco principal o desenvolvimento de tecnologias de inteligência artificial de ponta, sendo responsável por modelos de linguagem como a família Gemini.
–>
O laboratório cria IAs voltadas para cibersegurança e ciência. Além de ferramentas para proteger softwares, a DeepMind desenvolveu o AlphaFold (que previu a estrutura de proteínas na biologia) e o AlphaGo, primeiro sistema a vencer um campeão mundial no jogo de Go.
–>
Fonte original: www.uol.com.br
Lorem ipsum dolor sit amet, consectetur.
Deixe seu comentário
<!–>
O autor da mensagem, e não o UOL, é o responsável pelo comentário. Leia as Regras de Uso do UOL.
–>
<!–>