DeepMind usa IA agéntica para verificar formalmente garantías criptográficas del protocolo Signal
Hecho Qué ha ocurrido
Investigadores de Google DeepMind emplearon IA agéntica para demostrar matemáticamente varias garantías criptográficas clave del protocolo Signal, en un proyecto de prueba de concepto de cuatro semanas. El trabajo usa una nueva herramienta llamada AlphaProof Code y no encontró vulnerabilidades nuevas en las partes analizadas. Al aplicarla a versiones antiguas con fallos conocidos y ya corregidos, la herramienta los detectó.
Resumen generado mediante IA a partir de Wired AI (original en inglés). Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Muestra que la verificación formal asistida por IA puede acelerarse de forma notable, algo que hasta ahora requería mucho tiempo de especialistas. Para empresas que dependen de garantías de seguridad en software crítico, abre la posibilidad de demostrar propiedades de su código en lugar de solo confiar en auditorías.
- Quién se ve afectado
- Empresas de software con requisitos de seguridad altos, como banca, y equipos de ciberseguridad y desarrollo.
- Qué puede cambiar
- Si la técnica escala, la verificación formal podría dejar de ser un proceso artesanal y usarse de forma más habitual en código crítico. El análisis cubrió solo partes del protocolo y no la aplicación móvil completa, así que el alcance real es todavía limitado.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Si Google lanza un producto comercial de verificación formal, cuál es su coste y si el enfoque se aplica a bases de código reales de mayor tamaño. También será relevante qué publica DeepMind en la especificación y prueba liberadas.
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: Wired AI. La referencia es siempre el artículo original.
Ver fuente original ↗IA agénticaverificación formalAlphaProof Code Google DeepMindSignal AlphaProof Code criptografía DeepMind Signal verificación formal
Relacionadas
Startups apuestan por la verificación formal automatizada con IA para dar fiabilidad al software
Varias startups, como &Truth, que lanzó su producto y tiene 70 millones de dólares en financiación, buscan automatizar la verificación formal, un proceso que…
Por qué importaSi la verificación formal se abarata, las empresas podrían reducir fallos de seguridad en software crítico. Pero el texto indica que la tecnología…
Anthropic desarrolla FlashProve, un sistema de código abierto para verificar qué modelo de IA generó una respuesta
Anthropic publicó en un blog un proyecto de código abierto llamado FlashProve, que busca ofrecer una prueba criptográfica de que una salida proviene de un…
Por qué importaSi funciona, permitiría comprobar que un proveedor no cambia en secreto a un modelo más barato o más caro, algo relevante para quien paga por el uso…
Anthropic presenta FlashProve, una prueba criptográfica para verificar qué modelo de IA generó una respuesta
Anthropic ha presentado FlashProve, un sistema que genera una prueba criptográfica (zkSNARK) para confirmar qué modelo de IA produjo una respuesta concreta…
Por qué importaSi la verificación del modelo servido se vuelve práctica, los clientes que contratan IA a través de intermediarios podrían comprobar que no reciben…
Google DeepMind presenta AlphaProof Nexus, que resuelve decenas de problemas matemáticos abiertos en un estudio revisado por pares
Google DeepMind publica en Science un estudio sobre AlphaProof Nexus, que resolvió nueve de los 353 problemas abiertos de Erdős, dos de ellos sin resolver…
Por qué importaEs uno de los primeros casos de resultados matemáticos generados por IA validados mediante revisión por pares en una revista de prestigio, lo que…
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.