đ«đ· Mistral Leanstral 1.5 : un modĂšle open source Apache 2.0 pour la vĂ©rification formelle IA
Mistral a publié Leanstral 1.5, un modÚle spécialisé en preuve formelle Lean 4, sous licence Apache 2.0 complÚte et disponible via API gratuite sur Hugging Face. Ce modÚle vise à renforcer la vérification mathématique automatisée, un domaine jugé stratégique pour une IA fiable et souveraine.
Un modÚle de vérification formelle entiÚrement libre offre aux enseignants de mathématiques, logique et informatique un outil pédagogique sans contrainte de licence commerciale. Cette initiative illustre une stratégie d'IA souveraine européenne accessible, que les établissements peuvent intégrer dans leurs cursus sans dépendre d'acteurs non européens.
Analyse produite par lâAI Transformation Office de lâISC Paris, co-Ă©crite avec Claude (Anthropic).
Ă lire aussi
France : 655 M⏠et un assistant Mistral souverain pour 1 million dâagents publics dâici fin 2026
Le gouvernement Lecornu a confirmé un investissement de 655 millions d'euros dans l'IA et annoncé le déploiement de L'Assistant, un agent conversationnel souverain basé sur les modÚles Mistral, destiné à l'ensemble des agents publics avant fin 2026. L'outil couvrira la rédaction de documents, la recherche d'informations et le traitement administratif, dans une logique de réduction de la dépendance aux technologies étrangÚres.
La généralisation d'un assistant IA souverain dans la fonction publique crée un précédent pour les établissements d'enseignement supérieur, appelés à réfléchir à leur propre stratégie de souveraineté numérique face aux outils étrangers. Les futurs diplÎmés, notamment ceux se dirigeant vers le secteur public, devront maßtriser des outils IA souverains, ce qui invite les cursus à intégrer ces enjeux de dépendance technologique et de gouvernance des données dans leurs programmes.
Le Pentagone ouvre GenAI.mil Ă 3 millions dâagents, ChatGPT Mil, Grok et Gemini dedans, Claude dehors
Le Département de la Défense américain a lancé le 31 août GenAI.mil, une plateforme sécurisée centralisant ChatGPT Mil, Grok for Government et Google Gemini pour l'ensemble de ses 3 millions de personnels, avec 1,7 million d'utilisateurs déjà connectés. Claude d'Anthropic en est absent en raison de préoccupations de chaßne d'approvisionnement signalées par l'administration.
Cette decision illustre concretement comment les choix technologiques deviennent des instruments de souverainete et de rivalite geopolitique entre acteurs americains de l'IA. Ce cas d'usage fournit une matiere pedagogique directe pour les cours de geopolitique du numerique et de strategie des Etats face aux fournisseurs technologiques. Il interroge aussi la dependance des institutions publiques et educatives a un nombre restreint de fournisseurs de modeles.
DeepSeek clÎture une 2e levée record : 8 milliards de dollars à 74 milliards de valorisation
Le laboratoire chinois DeepSeek finalise une levée de fonds de 7,4 à 8 milliards de dollars à une valorisation de 74 milliards, destinée à financer ses propres data centers et réduire sa dépendance aux puces étrangÚres, avec une introduction en bourse visée à Shanghai en 2027.
Cette montée en puissance illustre la fin d'un duopole américain dans la recherche et le développement de l'IA, avec des implications directes pour les partenariats internationaux de recherche et les formations en géopolitique technologique. Les établissements doivent désormais intégrer la dimension chinoise dans leurs cursus consacrés à la souveraineté numérique et à la stratégie d'innovation mondiale.