Google diu que la seva nova IA va demostrar la criptografia de Signal en setmanes

Google ha presentat Gemini 4 Carbon, un nou model d'IA dissenyat per a tasques complexes com l'enginyeria de programari, la ciberseguretat i el raonament científic. Carbon supera el seu predecessor, Gemini 4 Argon, en aquestes àrees i és capaç de migracions de múltiples paquets, depuració entre sub sistemes i fluxos de treball a llarg termini. De manera notable, Carbon s'ha utilitzat per verificar matemàticament propietats clau de seguretat del protocol criptogràfic de Signal en qüestió de setmanes, un procés que normalment triga anys a equips d'experts. Google afirma que Carbon lidera en diversos benchmarcs de ciberseguretat i ja s'ha utilitzat per identificar vulnerabilitats crítiques en projectes de codi obert. No obstant això, l'empresa no ha revelat l'àmbit complet de les propietats verificades, l'extensió de la intervenció humana o si els artefactes de prova es faran públics. Carbon està disponible per als desenvolupadors a través de Google AI Studio, Android Studio i ofertes empresarials, amb preus que es doblaran després del 30 de novembre.