L’IA dans le monde — 12 novembre 2026 : DeepMind met la cryptographie de Signal à l’épreuve

TM Bourse · L’IA dans le monde · Jeudi 12 novembre 2026

Des agents de Google DeepMind ont aidé à vérifier le code qui met en œuvre le protocole cryptographique de Signal. En Chine, Meituan publie les poids d’un modèle capable de traiter des images. En Pologne, SpeakLeash et le centre de calcul de l’AGH enrichissent leur modèle multilingue Bielik.

À la une — AlphaProof Code vérifie des propriétés de sécurité de Signal

Le 10 novembre, Google DeepMind a présenté AlphaProof Code, un système de vérification logicielle qui utilise des agents alimentés par Gemini 4 Carbon. Les chercheurs ont formulé les propriétés de sécurité à vérifier et relu les spécifications. Les agents ont ensuite produit des preuves sur le code compilé, que le logiciel Lean a contrôlées mathématiquement.

Pour mettre la méthode à l’épreuve, l’équipe a réintroduit deux failles déjà corrigées dans une copie isolée du code. Dans les deux cas, elle a obtenu une preuve que la version modifiée violait une propriété de sécurité. Le résultat porte sur les propriétés étudiées et sur le code testé. DeepMind met à disposition les éléments de vérification, et Google a ouvert l’accès à Gemini 4 Carbon via son API payante. Recherche de Google DeepMind · Disponibilité de Gemini 4 Carbon

Chine — Meituan publie les poids de LongCat-2.5

Meituan a annoncé le 10 novembre la mise à disposition des poids de LongCat-2.5 sous licence MIT. Ce modèle traite du texte et des images et vise notamment les tâches de programmation en plusieurs étapes. Les poids sont téléchargeables et l’équipe propose aussi une version compressée. Les résultats de performance présentés dans la fiche viennent de Meituan. Annonce de Meituan · Fiche et fichiers du modèle

Pologne — Bielik renforce le polonais et les langues européennes

Le collectif SpeakLeash et le centre de calcul ACC Cyfronet AGH publient Bielik-11B-v3.1-Instruct. Cette version a poursuivi son entraînement sur des textes couvrant 56 langues, avec une attention particulière au polonais et aux langues européennes. L’équipe a aussi travaillé sur le suivi des consignes et l’utilisation d’outils. Les poids sont téléchargeables sous licence Apache 2.0. Fiche officielle de Bielik