Google DeepMind usa IA para verificar matemáticamente partes del cifrado de Signal, sin hallar fallos nuevos
Hecho Qué ha ocurrido
Investigadores de Google DeepMind usaron IA, con su sistema AlphaProof Code, para demostrar matemáticamente varias garantías del protocolo criptográfico de Signal en un proyecto de cuatro semanas. No encontraron vulnerabilidades nuevas en las partes analizadas y el trabajo se describe como una prueba de concepto. DeepMind publicará la especificación y la demostración.
Resumen generado mediante IA a partir de Infobae Tecno. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Muestra que la verificación formal, hasta ahora lenta y dependiente de especialistas, puede acelerarse con agentes de IA. Para empresas que dependen de software sin errores, abre la posibilidad de demostrar propiedades de su código.
- Quién se ve afectado
- Equipos de seguridad informática, desarrolladores de software crítico y sectores como la banca.
- Qué puede cambiar
- Si el método escala, la verificación formal de software podría dejar de ser un proceso exclusivo de expertos y convertirse en una práctica más accesible para demostrar garantías de seguridad.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Si DeepMind lanza un servicio comercial de verificación formal, su coste real y si otros equipos reproducen el método sobre software más grande. Conviene seguir también el proyecto público Signal Shot.
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: Infobae Tecno. La referencia es siempre el artículo original.
Ver fuente original ↗verificación formalagentes de IALean Google DeepMindSignalSignal Foundation criptografía DeepMind Signal Signal Shot verificación formal
Forma parte de la historia DeepMind verifica con IA agéntica garantías criptográficas de Signal (2 noticias, estado: en evolución).
Relacionadas
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…
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…
Google DeepMind resuelve problemas de la IMO al nivel de medalla de plata con AlphaProof
Google DeepMind presentó AlphaProof y AlphaGeometry 2, dos sistemas de IA que resolvieron cuatro de seis problemas de la Olimpiada Internacional de Matemáticas…
Por qué importaLa capacidad de resolver problemas matemáticos de IMO representa un hito en razonamiento avanzado y verificación formal, señalando progreso real en…
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.