DeepMind usa AlphaProof Code para verificar formalmente partes do protocolo Signal
Comece por este fatos
Pesquisadores do Google DeepMind usaram o AlphaProof Code, sistema de demonstrações formais, para analisar propriedades de segurança do código do Signal, segundo o Olhar Digital. O trabalho durou cerca de quatro semanas. A verificação formal alcança partes do protocolo de criptografia, não o sistema inteiro, conforme a Ars Technica. Os pesquisadores afirmam ter provado matematicamente essas partes com IA agêntica.
AI escrito a partir das reportagens · há 13 hatualizado
Linha do tempo das reportagens
Acompanhe as reportagens e os vários ângulos do evento.
- Ars Technica · AIGoogle DeepMind verifica formalmente partes do protocolo Signal com IA agêntica
Pesquisadores do Google DeepMind usaram IA agêntica para provar matematicamente.
- Olhar DigitalGoogle DeepMind usa AlphaProof Code para verificar segurança do código do Signal
O Google DeepMind usou o AlphaProof Code, sistema de demonstrações formais, para analisar propriedades de segurança do código do Signal ao longo de cerca de quatro semanas.
deste eventoRepercussãoTendência
- Faixa comparável agora
- 3
- Pico da faixa comparável
- 1611 de novembro 12:00
- Variação em 24 h
- -69%
A tendência só compara os mesmos participantes observados de forma contínua; a faixa pode ser menor que a repercussão apurada.Mova o cursor ou toque no gráfico para ver a repercussão por hora; No teclado, use as setas para a esquerda e para a direita.