codexscribe développe une IA fiable

Les Milipol Innovation Awards servent depuis longtemps de baromètre des avancées technologiques dans le domaine de la sécurité intérieure. Réservé aux exposants, le concours distingue des innovations réparties en cinq catégories reflétant les priorités évolutives du secteur, de la cybersécurité et de l’intelligence artificielle à la gestion de crise et à l’innovation responsable. En 2025, dans un contexte de vigilance accrue autour des systèmes numériques et de leur fiabilité, la catégorie Cybersécurité et IA a mis en évidence un tournant décisif vers des solutions capables non seulement de fonctionner efficacement, mais aussi de prouver leur exactitude.

C’est dans ce contexte que Formal Foundry a reçu la distinction principale pour sa solution CodexScribe. Situé à l’intersection des méthodes formelles et de l’intelligence artificielle, CodexScribe répond à un défi persistant dans le déploiement des systèmes d’IA dans des environnements sensibles. Plutôt que de s’appuyer sur des prompts probabilistes susceptibles de générer ambiguïté ou incohérence, la plateforme vise à transformer l’expertise humaine en règles vérifiables et interprétables par les machines.

Des prompts aux preuves : redéfinir la fiabilité de l’IA

L’intégration croissante de l’IA dans les opérations de sécurité intérieure a révélé une limite structurelle des approches actuelles. Les grands modèles de langage, bien que puissants, restent intrinsèquement probabilistes. Leurs résultats, influencés par les prompts, peuvent varier de manière subtile mais critique. Dans des secteurs où la responsabilité et la précision sont essentielles, cette variabilité constitue un risque inacceptable.

Selon l’entreprise, cette approche permet aux organisations de s’éloigner du prompt engineering fragile au profit de systèmes durables basés sur des règles. Ces règles sont formulées de manière à être rigoureusement interprétées par les machines, tout en étant retranscrites dans un langage clair et compréhensible par les humains. Le résultat est une double couche de transparence qui soutient à la fois la validation technique et la compréhension opérationnelle.

Cette distinction est particulièrement pertinente dans des contextes tels que l’analyse du renseignement, la conformité juridique et la planification opérationnelle, où les décisions doivent être traçables et justifiables. En intégrant la vérification au processus de développement, CodexScribe permet de créer des systèmes capables de démontrer non seulement ce qu’ils font, mais aussi pourquoi ils le font.

Alignement avec les exigences réglementaires européennes

L’émergence de CodexScribe reflète également une évolution plus large du cadre réglementaire en Europe. L’AI Act de l’Union européenne a introduit de nouvelles exigences en matière de transparence, de responsabilité et de gestion des risques pour les systèmes d’intelligence artificielle, en particulier ceux déployés dans des domaines à haut risque. Les organisations sont de plus en plus tenues de fournir des preuves démontrant que leurs systèmes se comportent comme prévu et respectent des normes définies.

CodexScribe a été conçu dans cette optique. Son architecture génère des artefacts traçables qui documentent la logique et la validation de chaque règle. Ces éléments peuvent servir de preuves lors d’audits ou d’évaluations de conformité, répondant ainsi à un défi majeur pour les organisations cherchant à opérationnaliser les cadres réglementaires.

La compatibilité de la plateforme avec des modèles de langage européens, notamment Mistral, Magistral, PLLuM et Bielik, renforce également son alignement avec les priorités régionales. Alors que les acteurs européens cherchent à réduire leur dépendance aux technologies externes et à renforcer leur souveraineté numérique, les solutions capables de s’intégrer à des modèles développés localement gagnent en importance stratégique.

Autre point clé : la flexibilité de déploiement du système. CodexScribe peut fonctionner sur l’infrastructure propre d’une organisation, y compris dans des environnements restreints ou isolés (air-gapped). Cette capacité est essentielle pour les acteurs de la défense, des forces de l’ordre et des infrastructures critiques, où la sensibilité des données et les exigences de sécurité opérationnelle excluent souvent l’utilisation de services cloud.

En combinant vérification formelle et déploiement adaptable, la plateforme répond à la fois aux enjeux techniques et organisationnels liés à la confiance dans les systèmes d’IA.

Impact opérationnel dans les environnements critiques

Au-delà de la conformité, les implications concrètes de CodexScribe résident dans sa capacité à standardiser et à préserver l’expertise. Dans de nombreuses organisations de sécurité, les connaissances critiques sont réparties entre différents individus et équipes, souvent consignées dans des processus informels ou des documents hétérogènes. Cette fragmentation peut entraîner des incohérences, notamment lors des changements de personnel ou de l’évolution des systèmes.

CodexScribe transforme ces connaissances tacites en règles explicites, vérifiables par les machines et pérennes dans le temps. Ces règles peuvent être partagées entre équipes et intégrées dans les workflows, garantissant la continuité et réduisant les risques de mauvaise interprétation. L’accent mis par la plateforme sur la clarté et l’auditabilité facilite également la collaboration entre profils techniques et non techniques, comblant un écart qui freine souvent l’adoption de technologies avancées.

Sur le plan opérationnel, cela se traduit par un comportement système plus prévisible et une validation plus rapide de nouveaux processus. Par exemple, dans des situations de gestion de crise où les décisions doivent être prises rapidement sous pression, disposer de règles préalablement vérifiées permet de gagner à la fois en rapidité et en confiance. De même, dans les opérations de cybersécurité, des protocoles de réponse formellement définis réduisent l’ambiguïté et améliorent la coordination.

L’accent mis sur la vérification en boucle fermée introduit également un mécanisme de retour d’information qui renforce la résilience des systèmes. En validant en continu les règles selon des critères définis, les organisations peuvent identifier et corriger les écarts avant qu’ils ne se traduisent par des défaillances opérationnelles. Cette approche proactive s’inscrit dans une évolution plus large vers la résilience et la préparation dans le secteur de la sécurité intérieure.

Dans ce contexte, le succès de Formal Foundry met en lumière un paradigme émergent dans lequel l’IA n’est pas seulement intelligente, mais aussi responsable. En ancrant le comportement des machines dans des règles formellement vérifiées, CodexScribe ouvre la voie à des systèmes capables de répondre aux exigences strictes de sécurité, de conformité et de fiabilité opérationnelle.

Alors que la communauté de la sécurité intérieure continue d’explorer les opportunités et les risques liés à l’intelligence artificielle, des innovations comme CodexScribe devraient jouer un rôle central dans la conception de la prochaine génération de systèmes de confiance. Ces évolutions seront sans aucun doute suivies de près lors des prochaines éditions de Milipol Paris, où la convergence entre technologie et sécurité reste au cœur de l’attention internationale.

Crédits image :

Steve Johnson - Unsplash

Formal Foundry