Gemini 4 Carbon s'ouvre à tout le monde
Il y a deux semaines, Google réservait Gemini 4 Carbon à un petit groupe de « défenseurs en cybersécurité ». Maintenant, tout le monde peut l'utiliser. Google le présente comme son modèle le plus puissant à ce jour, capable de rivaliser avec les meilleurs d'Anthropic et d'OpenAI. Il arrive avec une fonction d'« essaim » (swarm) d'agents : plusieurs agents qui travaillent ensemble.
Simon Willison note le prix de lancement : 2 $ par million de jetons en entrée et 10 $ par million en sortie. Un jeton, c'est un petit morceau de texte. Le 1er décembre, le prix double, à 4 $ et 20 $. Le lancement a récolté 287 points sur Hacker News.
Google DeepMind a aussi présenté AlphaProof Code. Ses agents ont écrit trois millions de lignes de preuves en Lean, un langage qui permet à un ordinateur de vérifier des maths. Le but : valider le chiffrement de base de Signal. Et sur Hacker News (429 points), la firme de sécurité VulnCheck a publié sa mise à jour de novembre, qui suit les vulnérabilités découvertes par Anthropic.
La bonne nouvelle d'abord : une IA qui prouve que du code est correct, c'est exactement le genre de puissance qu'on veut. Et pourtant, un modèle qui trouve des bogues peut aussi en trouver pour les attaquants. C'est pour ça que Google avait donné une longueur d'avance aux défenseurs. Cette avance aura duré deux semaines.
