Techinfo
Los investigadores de DeepMind, Pushmeet Kohli y Swarat Chaudhuri, explicaron en una publicación de blog que los esfuerzos de verificación anteriores se detenían en la etapa de diseño teórico. En contraste, AlphaProof Code verificó el código criptográfico real que se ejecuta en los dispositivos de los usuarios. Después de que los expertos definieron los requisitos de seguridad formales, los agentes de inteligencia artificial, construidos sobre la plataforma Gemini Carbon, generaron más de seis millones de líneas en el lenguaje de prueba Lean. Este proceso resultó en que aproximadamente un uno por ciento de la base de código fue señalado para revisión humana. Además, se detectaron inmediatamente dos errores que fueron plantados deliberadamente para las pruebas, lo que demuestra la efectividad del sistema.
Ehren Kret, CTO de Signal, comentó que este enfoque refuerza la confianza en la privacidad de los datos a medida que aumentan las amenazas de inteligencia artificial. Kret destacó que la capacidad de verificar el código criptográfico de manera tan rápida y precisa es un avance significativo en la protección de la información de los usuarios. DeepMind tiene planes de extender este método a infraestructuras críticas, como redes eléctricas y dispositivos médicos, a través de sistemas adicionales como CodeMender, lo que podría tener un impacto profundo en la seguridad de diversas tecnologías.
Fuente original: The Decoder.
