DeepMind — tendance IA

• DeepMind a utilisé une IA agentique pour vérifier formellement des parties du protocole Signal. • Le projet a été mené en quatre semaines avec le cadre AlphaProof Code. • Aucune nouvelle faille n’a été trouvée dans les sections étudiées, tandis que d’anciennes versions vulnérables ont été détectées. 💡 Pourquoi c'est important : Cette vérification apporte une validation indépendante supplémentaire pour la cryptographie protégeant des communications sur Signal, Google Messages et WhatsApp.

Brief IA·models

• AlphaGenome 2 prédit l'impact de variations génétiques au niveau du type cellulaire • Le modèle surpasse son prédécesseur sur le benchmark TenK10K et des cas concrets • Accessible via API pour la recherche, il n'est pas validé pour le diagnostic clinique 💡 Pourquoi c'est important : AlphaGenome 2 permet d'affiner l'analyse génétique et d'orienter la recherche biomédicale vers des cibles cellulaires précises.

Brief IA·research

• DeepMind a vérifié en quatre semaines le cœur cryptographique de Signal avec Code AlphaProof • Des agents IA basés sur Gemini Carbon ont généré plus de six millions de lignes de preuves Lean et détecté deux bugs insérés pour test • La méthode prévoit d’être étendue à des secteurs comme l’énergie et le médical 💡 Pourquoi c'est important : La vérification formelle automatisée pourrait accélérer la sécurisation de logiciels critiques face à la montée des menaces liées à l’IA.

Brief IA·tool

• Pilote chez Mercedes-Benz : Apollo 2 réalise le kitting avec 96 % de réussite rapportés. • Sécurité : +33 % près d’obstacles et +43 % près des personnes selon Google DeepMind. • ASIMOV-Jailbreak open source : Argon atteint 99,5 % de résistance aux jailbreaks, contre 82 % pour ER 2. 💡 Pourquoi c'est important : Le modèle est testé en production et s’accompagne d’outils et métriques de sûreté annoncés, ainsi que d’un entraînement massivement simulé.

Brief IA·models

• DeepMind affirme avoir vérifié formellement, avec AlphaProof Code et Gemini Carbon, des parties du code de Signal en un mois • L’équipe revendique une première sur un protocole cryptographique largement déployé, tout en reconnaissant un périmètre limité et l’absence de produit grand public • Les chercheurs se disent ouverts à l’open source et estiment que cette étape peut s’étendre à d’autres systèmes critiques • L’IA est présentée comme à la fois un risque et un outil pour la cybersécurité 💡 Pourquoi c'est important : Cette avancée marque une étape vers des vérifications de sécurité plus accessibles et robustes pour des systèmes essentiels.

Brief IA·code

• 58% de temps d’évaluation en moins lors de pilotes à Barnet, Camden et Dorset • Plus de 70% des rapports générés acceptés sans modification par les agents • Mise à l’échelle sur 12 mois et objectif de disponibilité nationale en 2027 💡 Pourquoi c'est important : L’assistant IA est testé pour accélérer l’instruction des permis tout en maintenant une validation humaine, avec une cible de déploiement national conditionnée aux résultats.

Brief IA·research

• Genie 4 calcule des mondes interactifs en temps réel avec audio et dialogues • Le système reste expérimental, avec accès limité à des testeurs • La cohérence du monde est assurée par les modèles Gemini • Tous les médias générés seront marqués par SynthID 💡 Pourquoi c'est important : Genie 4 illustre l'évolution des modèles de monde IA vers des environnements interactifs plus réalistes, ouvrant la voie à de nouveaux usages en simulation et robotique.

Brief IA·models

• Plus de la moitié des chercheurs de DeepMind envisagent de quitter l'entreprise • Cette situation menace des projets majeurs comme AlphaFold ou AlphaGo et pourrait profiter à la concurrence • Les raisons avancées incluent une culture d'entreprise jugée peu favorable et une pression accrue sur les résultats • Deux approches sont discutées : l'appui du consultant Aaron Rosenberg ou des réformes internes profondes 💡 Pourquoi c'est important : La capacité de DeepMind à retenir ses talents sera déterminante pour son avenir et son rôle dans l'évolution de l'intelligence artificielle.

Brief IA·research

• Demis Hassabis estime que l’AGI pourrait arriver dans deux à trois ans • Il propose un conseil de surveillance des modèles financé par l’industrie et sous contrôle gouvernemental • Il définit l’AGI et détaille son test de référence « test d’Einstein » 💡 Pourquoi c'est important : L’avis de Hassabis, figure majeure de l’IA, influence les débats sur la régulation et l’échéance de l’AGI.

Brief IA·regulation

• Quatre agents IA de Google DeepMind, fondés sur Gemini 4 Argon, ont terminé Minecraft en 27 heures dans un monde généré aléatoirement • Les agents ont agi sans stratégie humaine, se coordonnant via Mineflayer et un chat intégré, avec un observateur dédié • L’expérience a nécessité 605 morts, 2 783 programmes exécutés, 229 messages échangés et un budget allant jusqu’à 1 620 dollars 💡 Pourquoi c'est important : Google revendique la première résolution autonome et complète de Minecraft par des agents IA généralistes, sans outils spécifiques ni intervention humaine.

Brief IA·models