AlphaProof Code de DeepMind verifica el núcleo criptográfico de Signal en cuatro semanas
Hecho Qué ha ocurrido
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 cuatro semanas, un trabajo que suele requerir años. Agentes basados en Gemini Carbon escribieron más de seis millones de líneas de prueba en Lean y marcaron cerca del 1 % para revisión humana.
Resumen generado mediante IA a partir de The Decoder (original en inglés). Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si el enfoque se confirma, la verificación formal de software crítico podría dejar de ser un proceso excepcionalmente caro. Para las empresas que manejan datos sensibles, aumenta la exigencia de seguridad demostrable frente a la confianza en pruebas parciales.
- Quién se ve afectado
- Desarrolladores de software de seguridad, empresas de mensajería y ciberseguridad, y sectores con infraestructuras críticas.
- Qué puede cambiar
- La verificación formal de código real podría integrarse en procesos de desarrollo seguros. DeepMind plantea extenderla a redes eléctricas y dispositivos médicos.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Publicación de resultados revisados por terceros, disponibilidad del sistema fuera de DeepMind y los avances en las aplicaciones anunciadas para infraestructuras críticas.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: The Decoder. La referencia es siempre el artículo original.
Ver fuente original ↗IA agénticaverificación formalLeanGemini Google DeepMindSignal AlphaProof Code ciberseguridad DeepMind Signal verificación formal
Forma parte de la historia DeepMind verifica con IA agéntica el protocolo criptográfico de Signal (3 noticias, estado: evolución rápida).
Relacionadas
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…
Por qué importaSi la verificación formal asistida por IA se vuelve viable, código crítico que hoy se audita solo parcialmente podría demostrarse matemáticamente, lo…
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…
Por qué importaSi la verificación formal asistida por IA resulta práctica, podría reducir el coste de comprobar que el software crítico no tiene vulnerabilidades…
DeepMind usa IA agéntica para verificar formalmente garantías criptográficas del protocolo Signal
Investigadores de Google DeepMind emplearon IA agéntica para demostrar matemáticamente varias garantías criptográficas clave del protocolo Signal, en un…
Por qué importaMuestra que la verificación formal asistida por IA puede acelerarse de forma notable, algo que hasta ahora requería mucho tiempo de especialistas…
DeepMind usa agentes de IA para verificar formalmente el código del protocolo de cifrado de Signal
Google DeepMind afirma que sus agentes de IA, dentro del marco AlphaProof Code, demostraron matemáticamente propiedades de seguridad del código real del…
Por qué importaMuestra que la IA puede llevar la verificación formal, hasta ahora muy costosa, al código real de sistemas de cifrado usados por millones de…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.