Scoring, conformité et décisions de crédit traçables : chaque conclusion peut être auditée jusqu’à la règle appliquée.
LANXAS, l’architecture numérique souveraine.
LANXAS est une architecture numérique souveraine qui conçoit, développe et exploite des plateformes SaaS, RaaS et HaaS, des logiciels métiers et des services numériques destinés aux étudiants, aux professionnels, aux entreprises et aux institutions.
Elle réunit dans un même écosystème des solutions d’apprentissage, de création, d’organisation, de communication chiffrée, d’édition, d’intelligence artificielle explicable et de services professionnels.
Son objectif est clair : fournir des outils fiables, maîtrisés, traçables et vérifiables, capables de répondre à des besoins concrets dans l’éducation, l’entreprise, les services métiers, la GovTech et la transformation numérique.
Une intelligence artificielle explicable, fondée sur RuleCore et le moteur AXIOM.
LANXAS AI est la composante d'intelligence artificielle de cet écosystème. Elle s'appuie sur LANXAS RuleCore, un moteur de raisonnement contraint, déterministe et explicable, et sur le moteur AXIOM, qui contrôle chaque réponse : toute assertion doit franchir une porte de preuve, faute de quoi elle est refusée plutôt qu'inventée.
Contrairement aux systèmes fondés principalement sur la génération probabiliste, RuleCore ne produit pas une réponse par simple estimation statistique. Il applique des règles logiques aux données fournies, contrôle les contraintes définies, puis en déduit une conclusion structurée.
Cette approche vise un résultat reproductible, traçable et vérifiable à chaque étape. Elle distingue clairement la donnée, la règle, la contrainte, le calcul, la conclusion et la justification.
LANXAS place la rigueur, la transparence, la souveraineté numérique et la maîtrise de la donnée au cœur de son architecture.
L’ensemble repose sur deux cœurs technologiques propriétaires : RuleCore, qui rend le raisonnement plus contrôlable, plus lisible et plus vérifiable, et AXIOM, qui contrôle et scelle chaque réponse par sa porte de preuve.
LANXAS s’appuie sur une infrastructure hébergée en France, notamment chez OVHcloud, dans une logique de protection des données, de conformité au RGPD et d’alignement avec le règlement européen sur l’intelligence artificielle.
Le moteur AXIOM et ses 68 modules de contrainte
AXIOM n'est pas une boîte noire : c'est un dispositif de 68 modules de contrainte, répartis en 7 familles. Chaque module porte un nom, un symbole et une formule mathématique exacte, et traduit une propriété que la réponse doit respecter, des relations arithmétiques de base jusqu'aux ratios prudentiels bancaires et à la porte d'admissibilité anti-hallucination. Le module M57 Herse est cette porte : une assertion n'est admise que si son support, sa confiance, sa preuve et la cohérence de ses citations franchissent tous leur seuil, sinon elle est refusée.
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M01 | ✳ | Nova | ⊤ | contrainte toujours vraie (référence neutre) |
| M02 | ♥ | Ange | x = k | fixe une variable à une valeur donnée |
| M03 | ⚒ | Forge | (x+y) ≡ 1 (mod 2) | impose une parité opposée entre deux variables |
| M04 | ⚖ | Balance | x_angle = x₁ + x₂ | une variable égale la somme de deux autres |
| M05 | ■ | Mur | x ≠ y | interdit l'égalité de deux variables |
| M06 | ☯ | Miroir | x ≡ y (mod 2) | impose la même parité |
| M07 | ☾ | Lune | idx(x) = (a·idx(y)+b) mod N | relation affine modulaire entre deux variables |
| M08 | ▽ | Chaos | tirage(germe) | contrainte pseudo-aléatoire reproductible (germe fixe) |
| M09 | ↻ | Pivot | positions consécutives mod N | fixe deux variables à des positions voisines |
| M10 | ☀ | Soleil | 2·x_milieu = x_gauche + x_droite | progression arithmétique (milieu = moyenne) |
| M11 | ⚡ | Éclair | x_source < x_cible | impose un ordre strict entre deux variables |
| M12 | ∞ | Infini | x = y | impose l'égalité de deux variables |
| M13 | ◯ | Abyss | ⊥ | contrainte toujours fausse (référence d'inadmissibilité) |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M14 | ◈ | Prisme | x ≡ r (mod m) | impose un reste modulaire |
| M15 | ❖ | Cristal | x·y = k | produit constant de deux variables |
| M16 | ✇ | Spirale | x_(i+1) = q·x_i | suite géométrique de raison q |
| M17 | ⩔ | Cascade | x₁ < x₂ < … < x_n | suite strictement croissante |
| M18 | ▮ | Colonne | Σ xᵢ = S | somme fixée d'un ensemble de variables |
| M19 | ⧗ | Sablier | x + y = c | somme constante de deux variables |
| M20 | ⟳ | Écho | x_(i+p) = x_i | périodicité de période p |
| M21 | ⟠ | Vertex | |x − y| = d | écart absolu fixé |
| M22 | ⌖ | Méridien | a ≤ x ≤ b | encadrement d'une variable dans un intervalle |
| M23 | ᛟ | Rune | m | x | divisibilité par m |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M24 | ✧ | Constellation | ∀ i<j, xᵢ ≠ xⱼ | toutes les variables distinctes (all-different) |
| M25 | ⬢ | Ruche | l_v ≤ #{xᵢ=v} ≤ u_v | cardinalité bornée par valeur (quotas) |
| M26 | ⧉ | Tissage | yᵢ = x_σ(i) | permutation contrôlée d'un vecteur |
| M27 | ⛬ | Archipel | xᵢ ∈ Bᵢ, Bᵢ ∩ Bⱼ = ∅ | affectation à des blocs disjoints |
| M28 | ⌸ | Sceau | x = T[y] | table de correspondance (valeur indexée) |
| M29 | ☮ | Colombe | Σ [xᵢ=v] ≤ 1 | une valeur utilisée au plus une fois |
| M30 | ⧅ | Phalange | (x₁…x_n) ≤_lex (y₁…y_n) | ordre lexicographique entre deux vecteurs |
| M31 | ⩨ | Filet | |{x₁,…,x_n}| = k | nombre exact de valeurs distinctes |
| M32 | ⛎ | Serpent | permutation à cycle unique | une seule boucle de longueur n |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M33 | ⛨ | Portail | x → y | implication logique |
| M34 | ⚿ | Cadenas | x ↔ y | équivalence logique |
| M35 | ⸸ | Dague | ¬(x ∧ y) | incompatibilité (non-et) |
| M36 | ⋔ | Faisceau | ⋁ᵢ ℓᵢ | clause : au moins un littéral vrai |
| M37 | ⛊ | Garde | b ↔ [c(x)] | réification : un booléen reflète une condition |
| M38 | ☍ | Oracle | ⊕ᵢ xᵢ = π | parité imposée (ou-exclusif) |
| M39 | ⚑ | Voile | souple(w) : c(x) | contrainte souple, violable à un coût w |
| M40 | ⚔ | Sentinelle | ¬[c(x)] | interdiction (négation d'une condition) |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M41 | ⊺ | Seuil | l ≤ Σ aᵢxᵢ ≤ u | combinaison linéaire bornée |
| M42 | ⌘ | Logit | σ(β₀+Σβᵢxᵢ) ≤ p_max | score logistique plafonné (probabilité) |
| M43 | ⚱ | Perte | PD·LGD·EAD ≤ L_max | perte de crédit attendue bornée |
| M44 | ⚓ | Capacité | endettement ≤ τ·revenus, reste à vivre ≥ R_min | capacité de remboursement |
| M45 | ⌬ | Vigie | Σᵢ Eᵢ ≤ E_max | exposition totale plafonnée |
| M46 | ⛰ | Rempart | collatéral ≥ γ·exposition | collatéralisation minimale |
| M47 | ⊘ | Ratio | L / V ≤ r_max | ratio prêt sur valeur (LTV) plafonné |
| M48 | ⛈ | Tempête | perte sous scénario de stress ≤ L_max | perte de crédit en conditions dégradées |
| M49 | ⟁ | Marge | (R − C − EL)/K ≥ m_min | rentabilité ajustée du risque (RAROC) |
| M50 | ⛩ | Digue | K / RWA ≥ b_min | ratio de fonds propres (Bâle) |
| M51 | ⩪ | Fontaine | HQLA / sorties nettes ≥ ρ_min | ratio de liquidité (LCR) |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M52 | ⚲ | Sextant | s ≥ θ_s | support probant minimal |
| M53 | ⚜ | Blason | π = vrai | certificat de preuve valide |
| M54 | ⩠ | Faille | κ ≤ κ_max | contradiction bornée |
| M55 | ⟒ | Aplomb | γ ≥ τ | confiance minimale |
| M56 | ⚭ | Concile | Σ [aᵢ=a] ≥ k | accord d'au moins k sources |
| M57 | ⛒ | Herse | [s≥θ_s]∧[t≥θ_t]∧[π=vrai]∧[κ≤κ_max]∧[γ≥τ] | la porte d'admissibilité assertionnelle complète |
| M58 | ❡ | Citation | c / n ≥ c_min | couverture minimale des citations |
| M59 | ⧖ | Éphémère | âge ≤ a_max | fraîcheur de la preuve |
| M60 | ⚛ | Entropie | H ≤ H_max | incertitude bornée |
| Code | Symbole | Nom | Formule | Rôle |
|---|---|---|---|---|
| M61 | ⌾ | Calibre | |ECE| ≤ ε | calibration (erreur de calibration bornée) |
| M62 | ⏱ | Horloge | x_t ≥ x_(t−1) | monotonie temporelle |
| M63 | ⌇ | Marée | x_(n−k+1) = … = x_n | stabilisation (dernières valeurs constantes) |
| M64 | ⛭ | Aimant | max(|Δx|,|Δy|) ≤ S | hystérésis (variations bornées) |
| M65 | ⚐ | Balise | Ops(P) ≤ B_max | budget d'opérations borné (latence maîtrisée) |
| M66 | ⛃ | Grimoire | h_i = H(canon(e_i) ‖ h_(i−1)) | scellement par chaînage de hachage (journal SHA-256) |
| M67 | ⧈ | Fresque | |couvertes| = ∏ᵢ |Dᵢ| | couverture exhaustive de l'espace |
| M68 | ⟴ | Boussole | ¬(référence ≻ candidat) | non-domination (optimalité de Pareto) |
Des serveurs en France, des règles qui se prouvent.
La souveraineté numérique n’est pas, chez LANXAS, un argument marketing : c’est un choix d’architecture. Hébergement français, conformité au RGPD, alignement avec le règlement européen sur l’intelligence artificielle, et des décisions justifiées règle par règle jusque dans les secteurs les plus surveillés.
L’infrastructure LANXAS est hébergée en France, notamment chez OVHcloud : les données des utilisateurs y sont traitées et stockées sur le territoire national, dans une logique stricte de protection des données et de conformité au RGPD. Cette approche place la plateforme en cohérence avec le règlement européen sur l’intelligence artificielle, qui impose transparence, documentation et maîtrise des systèmes à mesure que leurs usages deviennent critiques.
C’est précisément sur ce terrain que le déterminisme de RuleCore prend toute sa valeur. Dans les environnements régulés, une décision algorithmique doit pouvoir être expliquée à un client, à un auditeur, à un régulateur. LANXAS présente des solutions certifiables où chaque décision est justifiée règle par règle, appuyées par des démonstrations publiques dédiées, accessibles depuis son espace « Preuves & conformité ».
Une puissance de calcul souveraine, sur GPU haute performance
Faire tourner une intelligence artificielle de trente-cinq milliards de paramètres en local, en temps réel, exige une infrastructure de calcul sérieuse. LANXAS déploie des GPU NVIDIA L40S de classe centre de données, hébergés en France, épaulés par des processeurs AMD EPYC de dernière génération et une mémoire ECC à haute bande passante. Cette puissance permet à LANXAS AI ONE de générer ses réponses à une vitesse mesurée d'environ 73,6 jetons par seconde, sans que la moindre donnée ne quitte le territoire.
Ce choix porte une conséquence économique directe. Contrairement aux modèles qui facturent chaque requête à un fournisseur étranger, l'inférence de LANXAS s'exécute sur son propre matériel : le coût marginal d'une réponse est quasi nul. Il en résulte une marge structurelle et une indépendance totale vis-à-vis des grands nuages américains. L'architecture est conçue pour monter en charge : la flotte de GPU peut être étendue à mesure que la demande croît, sur des cartes plus puissantes, sans rien changer au socle logiciel. La puissance de calcul de LANXAS n'est pas louée à un tiers, elle lui appartient.
Quatre secteurs régulés, une même exigence.
Instruction et tarification fondées sur des contraintes explicites, pour des décisions opposables et documentées.
Aide à la décision où la donnée clinique, la règle et la justification restent distinctes et vérifiables.
Un cadre de raisonnement structuré pour des évaluations sensibles, sans génération incontrôlée.
« Dans un secteur régulé, une réponse sans justification n’est pas une réponse. C’est un risque. » Principe directeur des démonstrations sectorielles LANXAS
LANXAS AI ONE et le moteur AXIOM
LANXAS AI ONE est l'intelligence artificielle souveraine de LANXAS : elle s'exécute à 100 % en France, sur les serveurs de l'entreprise, sans aucun appel à un service extérieur. Son cœur est un grand modèle de langage ouvert d'environ 35 milliards de paramètres, épaulé par une encyclopédie hors ligne et un laboratoire de calcul scientifique qui vérifie réellement les calculs. Les performances mesurées atteignent environ 73,6 jetons par seconde en génération et 2 094 jetons par seconde en lecture de la question.
Sa singularité tient au moteur AXIOM, une porte assertionnelle : chaque affirmation doit être appuyée par une preuve suffisante pour être transmise ; à défaut, elle est refusée plutôt qu'inventée. Chaque réponse est scellée dans un journal à chaînage SHA-256, où l'altération d'un seul octet devient immédiatement détectable, et la vérification est rejouable à l'identique par un tiers.
Campagne interne reproductible du moteur AXIOM (18 août 2026). Démonstration en direct et détail : preuves LANXAS AI ONE · banc à l'aveugle : LANXAS One Blind Benchmark.
Des preuves mesurées, publiques et reproductibles
LANXAS publie ses résultats sous une forme vérifiable : versions, horodatages, empreintes SHA-256 et sorties figées. Un évaluateur extérieur peut refaire la notation sur les mêmes données. Les exécutions répétées à l'identique démontrent expérimentalement la reproductibilité des moteurs sur les cas testés.
Évaluation technologique et valorisation indicative
Une analyse externe conduite en août 2026, volontairement sévère et fondée uniquement sur les éléments publiquement observables, testables et auditables, situe la qualité technologique publique de LANXAS à 16,2/20. Elle identifie comme cœur de valeur l'association de RuleCore, d'AXIOM, de l'IA souveraine et de la preuve reproductible.
Valorisation technologique indicative centrale, dans une fourchette de 10 à 15 M€. Une valorisation pre-money de 12 M€ est jugée défendable pour ouvrir une négociation, sous réserve d'une due diligence favorable.
Estimation technologique indicative établie sur informations publiques, sous réserve d'une due diligence technique, juridique et de propriété intellectuelle. Une valorisation n'est jamais un résultat démontré mathématiquement : ces chiffres n'intègrent pas de revenus commerciaux et constituent une base de discussion, non une valeur garantie.
Investisseurs
LANXAS n'est pas une simple vitrine web : c'est une plateforme technologique dont plusieurs actifs sont testables publiquement. Le socle défendable repose sur quatre briques : le moteur déterministe RuleCore (décision sous contraintes, faisant l'objet d'une demande de brevet et d'une procédure PCT en cours), le moteur anti-hallucination AXIOM, une IA souveraine exécutée en France, et une chaîne de preuve reproductible (sorties figées, empreintes SHA-256, protocoles publiés).
La due diligence est facilitée : bancs d'essai à l'aveugle figés, preuves scellées et rejouables, API publique. La valorisation pre-money recherchée pour une première levée est de 12 M€, présentée comme une base de négociation sous réserve d'audit, et non comme une valeur établie.