Ir al contenido
IA para hoy
Evolución rápida 3 noticias · 3 fuentesdel hace 23 h al hace 6 h

DeepMind verifica con IA agéntica el protocolo criptográfico de Signal

Resumen En qué punto está

Google DeepMind aplicó su nuevo sistema AlphaProof Code, basado en agentes con Gemini Carbon, para verificar formalmente garantías criptográficas clave del protocolo de Signal. El proyecto, una prueba de concepto de cuatro semanas, generó más de seis millones de líneas de pruebas en Lean, con cerca del 1% marcado para revisión humana. No se hallaron vulnerabilidades nuevas, pero sí se identificaron correctamente fallos antiguos ya corregidos. El análisis cubrió solo partes del protocolo, no toda la aplicación móvil de Signal.

Resumen generado mediante IA a partir de las 3 noticias de la historia. Última actualización: hace 5 h.

Compartir WhatsApp LinkedIn X Bluesky Telegram
Enviar esta historia por correo

Se envía el resumen de la historia, qué ha cambiado y su línea temporal. La dirección se usa solo para ese envío y no se guarda.

Protección de datos. Responsable: Fernando Lobato, PhD. Finalidad: hacer el envío que pides. Base: nuestro interés legítimo. Lo envía Resend; la comprobación de robots es de Cloudflare. Puedes acceder a tus datos, pedir que los borremos y ejercer tus demás derechos como explica la política de privacidad.

Línea temporal

  1. WWWhat's newFiabilidad confirmado por varias fuentes

    DeepMind usa IA para verificar formalmente garantías criptográficas del protocolo de Signal

    Investigadores de Google DeepMind usaron la herramienta AlphaProof Code para verificar formalmente varias garantías criptográficas del protocolo de Signal en cuatro semanas, como prueba de concepto. No encontraron…

  2. The DecoderFiabilidad confirmado por varias fuentes

    AlphaProof Code de DeepMind verifica el núcleo criptográfico de Signal en cuatro semanas

    Google DeepMind presentó AlphaProof Code, un sistema de IA que demuestra matemáticamente que un software cumple sus especificaciones de seguridad. Según la propia DeepMind, lo aplicó al código criptográfico de Signal en…

  3. Ars Technica AIFiabilidad confirmado por varias fuentes

    Google DeepMind usa IA agéntica para verificar matemáticamente partes clave del protocolo de Signal

    Investigadores de Google DeepMind emplearon IA agéntica para demostrar matemáticamente, mediante verificación formal, varias garantías criptográficas clave del protocolo de Signal. El proyecto, una prueba de concepto…

Tu opinión

0 comentarios

Escribe un comentario

Sin registro. La primera vez te pediremos confirmar el correo y el comentario pasará por moderación; después se publican al momento si cumplen las normas y firmas con el mismo nombre.

Protección de datos. Responsable: Fernando Lobato, PhD. Finalidad: publicar y moderar tu comentario y evitar abusos. Base: tu consentimiento y, contra los abusos, nuestro interés legítimo. Se publica tu nombre, no tu correo. El texto pasa por un filtro con IA de Anthropic, en Estados Unidos, sin tu nombre ni tu correo, y se guarda un resumen de tu IP 90 días. La comprobación de robots es de Cloudflare. Puedes acceder a tus datos, pedir que los borremos y ejercer tus demás derechos como explica la política de privacidad.