Investigadores de Google DeepMind utilizaron IA con capacidad de agencia para demostrar matemáticamente, o "verificar formalmente", varias de las garantías criptográficas clave del protocolo Signal, un avance trascendental para la criptografía y la IA en general.
Realizado como una especie de proyecto de prueba de concepto en tan solo cuatro semanas, este trabajo es significativo por dos razones. Sirve como una validación independiente adicional de la criptografía que protege grandes cantidades de comunicaciones en plataformas como Signal, Google Messages y WhatsApp. Además, demuestra las capacidades de verificación formal de Google DeepMind mediante un nuevo marco de IA llamado AlphaProof Code.
En términos generales, la verificación formal asistida por IA está en auge, pero aún no está claro cuán práctica será para su uso generalizado ni cuán efectiva será para proteger grandes cantidades de código. Los defensores de la verificación formal la han considerado durante mucho tiempo como una especie de santo grial en la seguridad del software, ya que utiliza las matemáticas para comprobar y validar que el software funcione según lo previsto; en otras palabras, que no tenga vulnerabilidades críticas.
La pregunta más simple del directorio '¿Cómo bien estamos, comparado con quién?' tiene cuatro respuestas honestas que miden cosas diferentes: evaluación autocrí...
Leer artículo →Palo Alto Networks ha revelado una vulnerabilidad de ejecución remota de código en el software PAN-OS que se ejecuta en Panorama. Identificada como CVE-2026-033...
Leer artículo →Un ciberdelincuente utilizó credenciales robadas de GitHub para distribuir un malware de robo de secretos a decenas de miles de repositorios de código. La activ...
Leer artículo →