Une intelligence artificielle de mission
Gouvernée, auditée, opposable.
Conçue pour sécuriser la décision humaine, pas pour la remplacer.
L’IA progresse. Sa gouvernance, non.
L’intelligence artificielle progresse rapidement, principalement par l’augmentation de la puissance de calcul et des capacités statistiques des modèles. Si ces approches produisent des résultats impressionnants, elles posent un problème majeur dès lors que l’IA est utilisée dans des environnements critiques : elles sont difficiles à gouverner, à auditer et à rendre juridiquement responsables.
Cortex ORIGIN™ est né de ce constat. Notre objectif n’est pas de produire une IA plus puissante, mais une IA utilisable là où l’erreur, l’opacité ou l’escalade ne sont pas acceptables.
Les limites des approches dominantes
Dans les secteurs régaliens, industriels ou de sécurité, les limites des approches actuelles sont connues. Elles ne sont pas accidentelles — elles résultent de systèmes monolithiques, non conçus dès l’origine pour être gouvernés.
Opacité décisionnelle
Décisions difficiles à expliquer a posteriori. Impossible à certifier formellement. Incompatible avec les exigences régaliennes.
Responsabilité floue
Chaîne de responsabilité juridique brisée. Qui est responsable quand l’IA décide ? Cette question n’a pas de réponse dans les architectures actuelles.
Dépendance externe
Infrastructures cloud extra-territoriales. Télémétrie vers des tiers. Incompatible avec la souveraineté numérique.
Risque d’escalade
Difficulté à empêcher la dérive ou l’escalade. Les systèmes autonomes n’ont pas de mécanisme intrinsèque de non-escalade.
Pourquoi pas les autres ?
La question est légitime. Voici une comparaison factuelle sur les critères qui comptent dans les environnements critiques.
| Critère | Approches dominantes (OpenAI, Google, Meta, Mistral…) |
CORTEX ORIGIN™ |
|---|---|---|
| Gouvernance | Guardrails logiciels, contournables. Alignement par RLHF (statistique). | Architecturale. NBC prouvé formellement (8 lemmes). Non contournable par construction. |
| Auditabilité | Logs internes, propriétaires. Pas d’export probant standardisé. | PRISM™ append-only, signé Ed25519. Exportable SIEM/CEF. Juridiquement opposable. |
| Souveraineté | Cloud US/extra-territorial. Télémétrie obligatoire. Pas de mode offline. | On-premise / air-gapped. Aucune télémétrie. seL4 micro-noyau souverain. |
| Non-escalade | Aucun mécanisme formel. Pas de preuve d’absence d’autonomie. | Invariants I1–I14. Gardien de non-escalade structurel. Fail-closed par défaut. |
| Certification | Aucune certification formelle type EAL ou Critères Communs. | Aligné EAL6-7 (SAR 77%). 477 lemmes Isabelle. Certification CESTI ciblée. |
| Architecture | Monolithique. Un seul LLM concentre raisonnement, décision, action. | Multi-LCM décorrélés. Séparation stricte raisonner / décider / agir. |
Ce tableau compare des approches architecturales, pas des produits commerciaux. Les approches dominantes ne sont pas « mauvaises » — elles ne sont pas conçues pour les environnements où CORTEX opère.
Une IA de mission
Cortex ORIGIN™ développe une intelligence artificielle de mission. Nous ne cherchons pas à imiter l’humain ni à créer une IA autonome généraliste. Nous cherchons à sécuriser la prise de décision humaine dans des contextes complexes.
Objectifs clairement définis
Chaque mission est bornée par un périmètre explicite. Pas de généralisation, pas de dérive hors-scope, pas d’initiative autonome.
Périmètres strictement bornés
Chaque LCM opère dans un domaine confiné par WALL-DOME™. Les invariants formels garantissent que le périmètre ne peut pas être élargi sans validation.
Contrôle humain explicite
Chaque décision nécessite une validation humaine tracée et signée. NBC-1 prouve formellement que ce contrôle ne peut pas être contourné.
Chaîne de responsabilité complète
De l’entrée à la sortie, chaque étape est journalisée dans PRISM™ (append-only). Chaque arbitrage OMEGA™ est traçable, explicable, imputable.
Une IA ne doit jamais concentrer simultanément le pouvoir de raisonner, de décider et d’agir sans contrôle explicite.
Gouverner avant d’automatiser
Cortex ORIGIN™ applique aux systèmes d’IA les principes éprouvés des systèmes critiques. L’architecture repose sur quatre fondations.
Séparation stricte des fonctions
Raisonner, décider et agir sont des fonctions distinctes, exécutées par des composants isolés, orchestrés par OMEGA™. Aucun composant ne cumule deux pouvoirs.
Non contournable
La gouvernance n’est pas un paramètre. Elle est une propriété architecturale garantie par le TCB (4 composants), seL4 et les 8 lemmes NBC. Pas de backdoor, pas d’override.
Comportement fail-closed
En cas d’anomalie, le système se verrouille. Porte M00 fail-closed. Aucune décision ne passe en cas de doute. La sûreté prime sur la disponibilité.
Auditabilité native
Chaque décision est justifiée, traçable et imputable. PRISM™ journalise tout (append-only, immutable, signé Ed25519). Exportable pour audit réglementaire ou juridictionnel.
Un modèle du monde causal, pas perceptif
Au cœur de Cortex ORIGIN™ se trouve un World Model décisionnel. Il ne s’agit pas de reproduire le monde de manière perceptive, mais de le représenter de façon causale, explicable et opposable.
États du monde représentés explicitement
Causalités formalisées, pas corrélations
Périmètres de mission intégrés
Trajectoires hypothétiques ≠ décision
FLUX DÉCISIONNEL CORTEX ORIGIN™
De l’entrée à la décision humaine — rien ne passe sans OMEGA™
Non contournable, par construction
Cortex ORIGIN™ intègre nativement une gouvernance qui n’est pas un ajout post-hoc, mais une propriété fondamentale de l’architecture.
LabCode™ — montée en puissance contrôlée
Chaque niveau de capacité n’est déverrouillé qu’après vérification formelle du niveau précédent.
L7
Gouvernance non contournable
Auditabilité complète. TCB figé. PRISM™ immutable. 477 lemmes Isabelle, 0 sorry.
L8
Invariants & non-escalade
14 invariants formalisés (I1–I14). Contrôle de non-escalade. Chaîne 3 niveaux.
L9
Preuves formelles ciblées
Preuves formelles composants critiques TCB. Alignement EAL6-7. Certification CESTI.
ROADMAP
Jalons de vérification formelle et de montée en puissance.
Un MVP d’architecture & de gouvernance
Le terme MVP ne désigne pas un prototype commercial. Le MVP Cortex ORIGIN™ est un socle d’ingénierie critique minimal, fonctionnel et vérifiable, conçu pour démontrer la gouvernance, la sûreté et l’auditabilité du système avant toute extension fonctionnelle.
CE QUE LE MVP DÉMONTRE AUJOURD’HUI
World Model décisionnel opérationnel
Gouvernance non contournable (LabCode L7)
Élévation L8 (invariants, non-escalade)
Chaîne d’audit complète et documentée
Dossier institutionnel audité
CE QUE LE MVP NE PRÉTEND PAS ÊTRE
×
Pas une IA autonome généraliste
×
Pas un système prêt pour un déploiement massif
×
Pas un produit grand public
Ce MVP ne cherche pas à couvrir tous les cas d’usage. Il cherche à prouver la maîtrise. Il constitue une base souveraine, destinée à être étendue progressivement, sans remise en cause des garanties fondamentales.
Là où l’erreur n’est pas permise
Administrations & opérateurs publics
Arbitrage interministériel, analyse d’impact réglementaire, gestion de crise, décisions sous contrainte juridique.
EN SAVOIR PLUS →Défense & sécurité
Analyse de menaces hybrides, cyberdéfense, anticipation géopolitique, gestion de crise sécuritaire.
EN SAVOIR PLUS →Banque, finance & OIV
Risque systémique, cybercriminalité, arbitrage conformité, continuité d’activité. NIS2, ACPR, DORA.
EN SAVOIR PLUS →Industries critiques & hors-ligne
Environnements contraints, déconnectés, classifiés. Fonctionnement air-gapped sur seL4.
EN SAVOIR PLUS →Ce que tout le monde demande
CORTEX AI™ — France
CORTEX AI™ est une entreprise française fondée par un ingénieur spécialisé en systèmes critiques, gouvernance d’IA et vérification formelle. Le projet est né du constat que l’IA déployée dans les environnements sensibles ne pouvait pas reposer sur les mêmes architectures que l’IA grand public.
Notre approche s’appuie sur les standards de l’ingénierie des systèmes critiques (Critères Communs, seL4, Isabelle/HOL, séparation des privilèges) appliqués pour la première fois à une architecture d’intelligence artificielle générale.
Cortex ORIGIN™ ne cherche pas à démontrer une IA spectaculaire.
Nous cherchons à rendre l’IA fiable là où l’erreur n’est pas permise.