Veille IA — Mardi 17 mars 2026

🔥 Mistral Small 4 (119B) : multimodal, MoE, NVFP4

Mistral lance Mistral Small 4, un modèle MoE de 119 milliards de paramètres avec une fenêtre de contexte de 256k tokens (les GGUFs remontent 1M dans les métadonnées, vraisemblablement une erreur de config). Particularité notable : Mistral publie une quantification NVFP4 officielle, un format optimisé pour les GPU NVIDIA récents. L’architecture est pensée pour un excellent ratio coût/performance face aux alternatives closed-source, avec des capacités multimodales intégrées.

🧮 Leanstral : premier agent open-source pour preuves formelles Lean 4

Dans la même famille Mistral Small 4, Leanstral se distingue comme le premier agent open-source dédié à Lean 4, l’assistant de preuves mathématiques formelles. Il est capable de manipuler des objets mathématiques complexes (espaces perfectoïdes) et des spécifications logicielles (propriétés de fragments Rust). Une avancée significative pour le domaine du formal verification en open-source, jusqu’ici dominé par des solutions propriétaires.

🤝 NVIDIA Nemotron Coalition + intégration Groq LPX

NVIDIA formalise une coalition autour de Nemotron pour co-développer des modèles frontier open-source. Les membres fondateurs incluent Black Forest Labs (multimodal), Cursor (datasets d’évaluation terrain), LangChain (tool use & raisonnement long-horizon), Mistral AI, Perplexity, Reflection AI, Sarvam et Thinking Machines Lab.

En parallèle, NVIDIA annonce l’intégration des puces **Groq dans ses racks LPX