Bruxelles, 9 juin 2026
Inria et la Cnaf annoncent ce 9 juin une convention autour de Catala, une solution souveraine de calcul des prestations sociales, un langage qui transcrit le droit en calcul vérifiable. Numerama signale le même jour Miasma, le ver informatique qui se glisse dans Claude Code pour voler les secrets des développeurs, une campagne coordonnée qui compromet la chaîne d'approvisionnement logicielle. Le billet tient ces deux mouvements ensemble.
Trois actualités Inria forment un bloc institutionnel cohérent. Chloé Mercier : À la croisée de l’informatique et des sciences cognitives présente une chercheuse à l'interface entre modélisation du cerveau, sciences cognitives et éducation, dont les travaux cartographient les mécanismes de la créativité pour en améliorer la transmission — un terrain où la rigueur computationnelle doit tenir face à la diversité disciplinaire. Le projet AI Factory France voit le jour, sélectionné par EuroHPC en mars 2025 : ce hub réunit vingt partenaires à Station F pour centraliser l'accès aux ressources de calcul nationales et européennes au service de la recherche, de l'industrie et des services publics. La convention Cnaf-Inria autour de Catala est la plus précise sur le plan formel : le langage transcrit le droit de manière fidèle, rendant le calcul des allocations familiales vérifiable plutôt qu'opaque — la preuve s'inscrit dans la structure du calcul, non dans un modèle qui la déclarerait.
Sur arXiv, cinq préprints couvrent des terrains distincts. Integrating gene regulatory priors into Transformer attention with scTransformer EN PREPRINT intègre des priors de régulation génique dans les mécanismes d'attention pour la transcriptomique unicellulaire — un carrefour entre biologie connue et apprentissage auto-supervisé, plutôt que de traiter chaque gène comme une feature aveugle. Rethinking the Divergence Regularization in LLM RL EN PREPRINT soutient que le ratio-clipping de PPO et GRPO est un mauvais proxy du déplacement distributionnel dans les vocabulaires à longue queue et propose une régularisation directe par divergence pour stabiliser le post-entraînement par renforcement. FASE: Fast Adaptive Semantic Entropy for Code Quality EN PREPRINT mesure l'incertitude sémantique dans les pipelines de génération de code multi-agents sans vérifications d'équivalence coûteuses — un verdict de fiabilité sans ground-truth. Your Model Already Knows: Attention-Guided Safety Filter for Vision-Language-Action models EN PREPRINT exploite les cartes d'attention internes des modèles vision-langage-action pour détecter les obstacles en robotique, sans externaliser la décision à un modèle externe trop lent pour la boucle de contrôle. Data Synthesis and Parameter-Efficient Fine-Tuning for Low-Resource NMT: A Case Study on Q'eqchi' Mayan EN PREPRINT construit un corpus synthétique depuis des dictionnaires communautaires pour la traduction neuronale du maya Q'eqchi', sans scraping — la construction délibérée de la matière première avant l'inférence, qui est le travail déterministe dont dépend la qualité de ce que le modèle produira.
Numerama décrit la keynote de Tim Cook du 8 juin : Siri AI est un assistant vocal entièrement repensé, capable de comprendre l'écran, d'agir dans les applications et de tenir des conversations naturelles, fondé sur des modèles maison développés avec Google — absent de l'Union européenne au lancement, DMA oblige. iOS 27 officialise l'édition photo par IA et un volet sécurité des enfants ; macOS Golden Gate succède à Tahoe avec les mêmes contraintes européennes. Le lancement est un événement unique, mais la fragmentation réglementaire en fait deux expériences selon le côté de l'Atlantique.
Du côté financier, Next relève qu'OpenAI veut officiellement entrer en Bourse : le message de la startup est qualifié de sibyllin — deux filings SEC en une semaine, sans date annoncée de part ni d'autre. Le formulaire S-1, déposé auprès de la SEC sans calendrier, laisse le marché sans repère temporel.
Sur le plan de la sécurité, Numerama alerte sur Miasma : une campagne coordonnée a compromis des dizaines de paquets et dépôts en injectant un malware dans la chaîne d'approvisionnement logicielle. Numerama documente également comment des LLM empoisonnées servent de vitrine aux escrocs — des boutiques clonées remontant dans les réponses de ChatGPT via empoisonnement de données, exploitant les failles inférentielles des modèles et les lacunes de la réponse pour rediriger vers des sites frauduleux. OpenAI a par ailleurs déployé un « mode verrouillé » pour ChatGPT qui limite les risques d'exfiltration liés aux injections de prompts. L'axe régulation est muet pour le troisième jour consécutif — aucun signal n'a émergé dans le flux du 9 juin sur le droit ou la gouvernance de l'IA. La chaîne d'approvisionnement est le terrain où se vérifie que la garantie ne se délègue pas à la chose garantie : un modèle qui vérifie un modèle partage ses modes de défaillance, et c'est dans le code livré, pas dans la promesse, que cette vérité se lit.
Numerama relève enfin que Dans la panique, Hideo Kojima s’emmêle les pinceaux sur l’utilisation de l’IA : positions successives et contradictoires, moins une posture qu'une adaptation au vent ambiant.
The Decoder, dans Frontier Radar #3: How agentic AI is turning tokens into a business metric EN, pose le problème structurel des workflows agentiques : ils consomment des tokens en multiple de l'usage conversationnel, tournent de façon autonome pendant des heures et rendent les abonnements à tarif plat financièrement intenables pour les fournisseurs — le token, unité technique invisible jusqu'ici, devient la métrique commerciale centrale. Hugging Face, dans The Open Source Community is backing OpenEnv for Agentic RL EN, rapporte que la communauté open source se fédère autour d'OpenEnv, un environnement standardisé pour l'entraînement par renforcement des agents — pour que l'agentivité par RL ne reste pas la propriété exclusive des grands labos. Les deux signaux balisent le même carrefour : l'IA agentique change simultanément la structure des coûts côté fournisseur et l'infrastructure d'entraînement côté open source. Les tokens ne financent plus un usage, ils financent une autonomie.