
Google aplica IA à verificação formal do Signal
O Google DeepMind apresentou o AlphaProof Code, um sistema com agentes de IA e revisão humana para provar propriedades de segurança selecionadas do código do protocolo Signal. A equipe relata que agentes apoiados pelo Gemini Carbon produziram provas em Lean, verificadas mecanicamente, em um trabalho de quatro semanas. O resultado cobre as propriedades especificadas no projeto e não garante ausência de outras falhas; os dados e a alegação de prioridade são dos autores. Fonte: Google DeepMind, 10 de novembro de 2026.
Ler análise



