Olhar Digital· Rodrigo Mozelli·· há 3 diasNota da IA58
Google DeepMind usa AlphaProof Code para verificar segurança do código do Signal
IA do Google analisa código do Signal em busca de falhas de segurança
AI Panorama
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.
Fonte:Olhar Digital · olhardigital.com.br