OCR 3, Magistral, Moderation 2 et Leanstral

Les Spécialistes de Niche

Au-delà du code et de l’audio, Mistral propose des modèles conçus pour des tâches très spécifiques : extraction de documents, raisonnement mathématique avancé, sécurité des contenus et preuves formelles. Chacun excelle dans son domaine et complète l’écosystème généraliste.

OCR 3 — L’Extraction de Documents

OCR 3 (décembre 2025, tier Premier) est le service de reconnaissance optique de caractères (OCR) de Mistral. Mais réduire OCR 3 à un simple « lecteur de texte dans les images » serait trompeur. C’est un véritable moteur de compréhension documentaire.

Capacités

OCR 3 ne se contente pas d’extraire le texte brut. Il :

• Comprend la structure du document (titres, paragraphes, listes, tableaux)
• Extrait les tableaux en conservant la structure lignes/colonnes
• Gère les en-têtes et pieds de page avec des options de filtrage dédiées
• Traite les documents multi-pages sans limite de pagination (la limite de 8 pages a été supprimée en janvier 2026)
• Supporte les formulaires — Extraction des champs et de leurs valeurs

Formats Supportés

OCR 3 accepte une large gamme de formats : PDF, images (PNG, JPEG, TIFF), documents scannés, photos de documents prises au smartphone. La qualité de l’extraction reste élevée même avec des documents de mauvaise qualité (scans obliques, faible résolution).

Cas d’Usage Typiques

• Dématérialisation — Numérisation de factures, contrats, bons de commande
• Conformité réglementaire — Extraction automatique de données depuis des documents légaux
• Archivage intelligent — Indexation de fonds documentaires historiques
• Pipeline de données — Alimentation automatique de bases de données depuis des documents papier

Combinaison avec d’Autres Modèles

OCR 3 s’intègre naturellement dans des pipelines plus larges. Par exemple :

1. OCR 3 extrait le contenu d’un contrat PDF
2. Mistral Small 4 analyse le contenu et en fait un résumé structuré
3. Mistral Embed génère des vecteurs pour l’indexation dans une base vectorielle

Magistral — Le Raisonnement Avancé

La famille Magistral est dédiée au raisonnement structuré et aux problèmes complexes. Deux modèles sont disponibles depuis septembre 2025 :

Magistral Medium 1.2 (Tier Premier)

Le modèle de raisonnement multimodal frontier. Il excelle sur les problèmes qui nécessitent une réflexion en chaîne (chain-of-thought) approfondie :

• Mathématiques avancées — Résolution de problèmes nécessitant plusieurs étapes de calcul
• Logique formelle — Déductions, preuves, vérification d’arguments
• Analyse scientifique — Interprétation de données expérimentales, formulation d’hypothèses
• Planification complexe — Décomposition de tâches en sous-objectifs avec gestion des dépendances

Magistral Small 1.2 (Tier Open)

La version compacte et open source de Magistral. Elle offre des capacités de raisonnement solides dans un format plus léger, adapté au self-hosting.

Magistral vs Small 4 en Mode Reasoning

Mistral Small 4 possède un mode reasoning intégré. Quelle est la différence avec Magistral ?

• Small 4 offre un raisonnement intégré et rapide, suffisant pour la plupart des tâches
• Magistral pousse le raisonnement beaucoup plus loin, avec des chaînes de réflexion plus longues et détaillées, au prix d’un temps de génération plus important

Pour une question de logique simple, Small 4 suffit. Pour une démonstration mathématique complexe ou un plan stratégique détaillé, Magistral est plus adapté.

Mistral Moderation 2 — La Sécurité des Contenus

Mistral Moderation 2 (mars 2026, tier Premier) est un modèle spécialisé dans la détection de contenus problématiques et la sécurité des applications IA.

Fonctionnalités

• Classification de contenu — Détection de contenu haineux, violent, sexuel, dangereux
• Détection de jailbreak — Identification des tentatives de contournement des consignes de sécurité d’un modèle
• Modération multilingue — Fonctionne dans de nombreuses langues
• Guardrails personnalisés — Depuis mars 2026, il est possible de définir des règles de modération sur mesure pour les agents et conversations

Intégration dans les Applications

Moderation 2 s’utilise typiquement en amont ou en aval d’un modèle généraliste :

• En amont — Filtrer les requêtes utilisateur avant qu’elles n’atteignent le modèle principal
• En aval — Vérifier les réponses du modèle avant de les renvoyer à l’utilisateur
• Monitoring — Analyser les conversations pour détecter les abus

Leanstral — Les Preuves Formelles

Leanstral (mars 2026, tier Labs) est le modèle le plus spécialisé de l’écosystème. C’est un agent de code conçu exclusivement pour le langage Lean 4, utilisé pour les preuves mathématiques formelles.

Ce modèle est en phase expérimentale (Labs) et s’adresse à un public très spécifique : chercheurs en mathématiques, vérification formelle de logiciels critiques, et développement de bibliothèques de preuves.

Points Clés à Retenir

• OCR 3 est un service complet de compréhension documentaire, pas un simple OCR
• Magistral (Medium 1.2 et Small 1.2) excelle dans le raisonnement avancé et les mathématiques
• Moderation 2 assure la sécurité des applications IA avec détection de jailbreak et guardrails personnalisés
• Leanstral est un modèle expérimental pour les preuves formelles en Lean 4
• Ces spécialistes se combinent entre eux et avec les généralistes dans des pipelines multi-modèles