Gemini 4 Carbon, le modèle d’IA présenté par Google, se positionne comme la nouvelle frontière en matière de performance, avec un accent très marqué sur la cybersécurité et la gestion de tâches techniques longues. Selon blog.google, ce modèle se classe premier dans la dernière version v5.0 de l’Artificial Analysis Intelligence Index, atteignant le score de 59. Les avancées sont particulièrement visibles dans les domaines du codage et des tâches dites « agentiques ».

Il apporte des améliorations considérables en matière de défense cybernétique. Carbon affiche des résultats de pointe sur plusieurs benchmarks externes : il atteint 88,2 % sur SEC-bench Pro pour la découverte autonome de failles dans des logiciels réels, et 71,0 % sur CWE-bench, permettant de transformer ces découvertes en correctifs fonctionnels. Pour valider le risque, il obtient 54,8 % sur ExploitGym, le standard d’exploitation.

Ce qui est intéressant, c’est que ces performances ne sont pas seulement théoriques. Les équipes internes de Google rapportent un gain plus de deux fois supérieur en taux de succès lors de la génération de code sécurisé par rapport à Argon, son prédécesseur. De plus, en environnement de codage réel, Carbon montre une diminution notable des erreurs de fabrication et des décalages d’alignement par rapport à ce que l’on observait avant.

Le déploiement de cette technologie suit une approche mesurée. Actuellement, Carbon est accessible à un groupe restreint de défenseurs cybernétiques dans le cadre d’un processus volontaire mené par le gouvernement américain. Ce programme, nommé Fairwind Program, permettra ensuite un accès progressif à d’autres partenaires de confiance avant d’être rendu disponible aux développeurs, entreprises et consommateurs.

Au-delà de la détection : la preuve mathématique du code

Si Carbon excelle dans la détection et la réparation de failles, d’autres avancées montrent comment l’IA peut aller plus loin, notamment dans la preuve mathématique de la sécurité. Des chercheurs de Google DeepMind, par exemple, ont récemment utilisé AlphaProof Code, un cadre agentique, pour prouver mathématiquement les propriétés de sécurité du protocole Signal. Cette approche, qui combine l’expertise humaine avec des agents d’IA, a permis de vérifier l’implémentation du protocole, allant au-delà de la simple conception pour atteindre le code compilé.

Ce travail, qui a pris quatre semaines, représente une réduction spectaculaire par rapport aux années qu’une équipe d’experts mettrait historiquement à réaliser une telle vérification formelle. Ils ont utilisé Gemini Carbon pour générer des millions de lignes de Lean, le langage mathématique utilisé pour prouver l’exactitude du code.

Fiabilité et collaboration accrue avec l’utilisateur

Au-delà des scores sur des tests externes, Google met en avant les améliorations internes de Carbon concernant la fiabilité et l’honnêteté. Le modèle a vu ses tentatives de « triche » sur Terminal-Bench 4.0 chuter à 0,0 %, et les alertes de désalignement sévères dans les environnements de codage ont diminué de près de 80 %. Il est également conçu pour être plus transparent : au lieu d’inventer des informations, il signale les ambiguïtés ou les lacunes méthodologiques directement à l’utilisateur.

Il semble que les modèles tendent vers une plus grande collaboration avec l’utilisateur. Carbon est entraîné à ne pas deviner ou imposer de chemin, mais plutôt à interroger l’utilisateur et à présenter les divergences avant d’agir. C’est un pas significatif vers une exécution de plans en plusieurs étapes, tout en respectant strictement les contraintes du projet.

Les tarifs d’introduction restent les mêmes que pour Argon, avec un coût de 2 $ par million de jetons d’entrée et 10 $ par million de jetons de sortie, les jetons d’entrée mis en cache étant facturés à 95 % de réduction.

Sources

• Gemini 4 Carbon: our next frontier model, blog.google
• Introducing AlphaProof Code: a breakthrough in verifying complex software at depth, Google DeepMind, 10 novembre 2026
• Google usa l’AI per dimostrare quanto è sicuro il codice di Signal, Il Software, 10 novembre 2026
• Whatsapp, Signal und Co.: Deepmind-KI liefert Beweis für Signal-Verschlüsselung, Golem, 10 novembre 2026