Google dice que su nueva IA demostró la encriptación de Signal en semanas

Google ha introducido Gemini 4 Carbon, un nuevo modelo de IA diseñado para tareas complejas como ingeniería de software, ciberseguridad y razonamiento científico. Carbon supera a su predecesor, Gemini 4 Argon, en estas áreas y es capaz de migraciones de múltiples paquetes, depuración entre subsistemas y flujos de trabajo a largo plazo. Notablemente, Carbon se utilizó para verificar matemáticamente propiedades clave de seguridad del protocolo criptográfico de Signal en cuestión de semanas, un proceso que típicamente toma años a equipos de expertos. Google afirma que Carbon lidera en varios puntos de referencia de ciberseguridad y ya se ha utilizado para identificar vulnerabilidades críticas en proyectos de código abierto. Sin embargo, la empresa no ha revelado el alcance completo de las propiedades verificadas, el grado de intervención humana o si los artefactos de prueba se harán públicos. Carbon está disponible para desarrolladores a través de Google AI Studio, Android Studio y ofertas empresariales, con precios que se duplicarán después del 30 de noviembre.