đ«đ· 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
Washington ordonne aux agences fédérales de retirer DeepSeek de leurs systÚmes
Le département de la Sécurité intérieure américain a publié le 20 octobre une ordonnance interdisant aux agences civiles fédérales d'acheter ou de conserver des produits DeepSeek, y compris les produits tiers construits sur cette technologie, avec des dérogations possibles. Pékin dénonce une politisation des enjeux technologiques.
Cette interdiction élargie aux produits dérivés pose la question, pour les établissements européens, de la traçabilité des modÚles sous-jacents aux outils numériques qu'ils achÚtent. Les universités et écoles devront davantage interroger leurs fournisseurs edtech sur l'origine des modÚles d'IA intégrés, dans une logique de conformité et de souveraineté numérique.
Mistral s'allie à NVIDIA pour l'ingénierie assistée par IA
Mistral AI et NVIDIA ont annoncé le 21 octobre une collaboration en ingénierie assistée par IA pour l'aéronautique, l'automobile et les semi-conducteurs, avec des jeux de données ouverts et des bancs d'essai publics. Mistral confirme la publication des poids de Mistral Large 4 pour fin octobre.
La publication de poids ouverts pour un modÚle de premier plan renforce les options d'hébergement sur infrastructure maßtrisée pour les établissements soucieux de souveraineté des données de recherche et de formation. Cette alliance franco-américaine ouvre aussi des perspectives de partenariats de recherche appliquée en ingénierie pour les laboratoires et écoles d'ingénieurs européens.
Mistral lance Voxtral 3 et une API d'agents vocaux hébergeable en Europe ou sur site
Mistral a lancé le 20 octobre Voxtral 3, une famille de modÚles de transcription et de synthÚse vocale multilingue accompagnée d'un kit de développement pour créer des agents vocaux, accessible via les points d'accÚs européens de l'entreprise ou déployable sur l'infrastructure de l'organisation cliente.
Cette offre constitue une option souveraine pour transcrire cours, soutenances ou entretiens de recherche, avec un hébergement possible sur site qui répond aux contraintes RGPD sur les enregistrements. Les établissements doivent néanmoins examiner ces usages avec leur délégué à la protection des données avant tout déploiement, en particulier pour les données sensibles liées aux étudiants ou aux sujets de recherche.