
Google usa IA para verificar formalmente Signal
Google DeepMind presentó AlphaProof Code, un sistema que combina agentes de IA y revisión humana para demostrar propiedades de seguridad seleccionadas del código del protocolo Signal. El equipo informa que agentes basados en Gemini Carbon produjeron pruebas en Lean verificadas mecánicamente durante un proyecto de cuatro semanas. El resultado cubre las propiedades definidas en el trabajo y no garantiza que no existan otros fallos; los datos y la afirmación de prioridad proceden de los autores. Fuente: Google DeepMind, 10 de noviembre de 2026.
Leer análisis



