---
canonical_url: "https://techinfo.com.ar/contenido/1720/google-deepmind-presenta-alphaproof-code-que-verifica-la-seguridad-del-software-"
title: "Google DeepMind presenta AlphaProof Code, que verifica la seguridad del software en semanas"
article_type: "Article"
description: "Google DeepMind ha lanzado AlphaProof Code, un sistema de inteligencia artificial que prueba matemáticamente que el software cumple con sus especificaciones de seguridad sin errores. Este avance se demostró en el protocolo de cifrado de Signal, completando en cuatro semanas un trabajo que normalmente toma años."
main_image: "https://techinfo.com.ar/download/multimedia.grande.9c4b119405b13688.Z3JhbmRlLndlYnA%3D.webp"
date_published: "2026-11-11T17:17:00-03:00"
date_modified: "2026-11-11T17:17:27-03:00"
author_name: "Techinfo"
author_url: "https://techinfo.com.ar/usuario/3/techinfo"
category_name: "Inteligencia Artificial"
category_url: "https://techinfo.com.ar/categoria/6/inteligencia-artificial"
category_description: "Modelos, empresas de IA, regulación, herramientas"
---

# Google DeepMind presenta AlphaProof Code, que verifica la seguridad del software en semanas

![](https://the-decoder.com/wp-content/uploads/2026/11/deepmind_alphaproof.png)

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](https://the-decoder.com/google-deepminds-alphaproof-code-verified-signals-cryptographic-core-in-four-weeks-instead-of-years/).

---

*Contenido creado y optimizado para IA con [Medios CMS](https://medios.io)* — Plataforma profesional para la gestión de medios digitales y portales de noticias.