LANXAS AI ONELANXAS AI WhiteLANXAS AI BlueLANXAS AI BlackLANXAS Code
Logiciels
LANXAS Meet LANXAS Chat
Étudiant Formation Business Jeux Bibliothèque Boutique Support technique

Société

InvestisseursConfidentialité chez LanxasEmploi

Développeur et IT

Développeur LanxasLanxas Tech CommunityLanxas Power PlatformLanxas Marketplace

Éducation

Calculatrice & solveurAtelier de fichiers Lanxas LearnLanxas MathLanxas pour les étudiantsLanxas Planning

Lanxas Store

Centre de téléchargementSupport technique

Entreprises

Lanxas CashLanxas StockLanxas CareLanxas BuildLanxas TradeLanxas Legal
Plateforme intelligente

Lanxas

Un écosystème intelligent pour apprendre,
créer, jouer et résoudre.

Découvrir maintenant
Dossier de presse | À propos de LANXAS

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.


LANXAS RuleCore + AXIOM

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.

DonnéeRègleContrainteCalculConclusionJustification
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.


Moteur AXIOM

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.

Famille IFondamentauxRelations de base entre variables : égalité, différence, ordre, parité, somme, et les deux références vrai/faux. (13 modules)
Famille IIArithmétiques et algébriquesSommes, produits, suites, modulo et encadrements numériques. (10 modules)
Famille IIIEnsemblistes et combinatoiresDiversité, quotas, permutations et cardinalités. (9 modules)
Famille IVLogiques et propositionnelsImplication, équivalence, disjonction, ou-exclusif et réification. (8 modules)
Famille VMétriques de risqueScoring, perte de crédit et ratios prudentiels (LTV, Bâle, LCR). (11 modules)
Famille VIAdmissibilité assertionnelleLe cœur anti-hallucination : support, confiance, preuve, citations, fraîcheur, et la porte Herse. (9 modules)
Famille VIITemporels, stabilité et intégritéCalibration, monotonie, hystérésis, latence, scellement cryptographique et non-domination. (8 modules)
Famille I, Fondamentaux (13 modules)
CodeSymboleNomFormuleRôle
M01Novacontrainte toujours vraie (référence neutre)
M02Angex = kfixe une variable à une valeur donnée
M03Forge(x+y) ≡ 1 (mod 2)impose une parité opposée entre deux variables
M04Balancex_angle = x₁ + x₂une variable égale la somme de deux autres
M05Murx ≠ yinterdit l'égalité de deux variables
M06Miroirx ≡ y (mod 2)impose la même parité
M07Luneidx(x) = (a·idx(y)+b) mod Nrelation affine modulaire entre deux variables
M08Chaostirage(germe)contrainte pseudo-aléatoire reproductible (germe fixe)
M09Pivotpositions consécutives mod Nfixe deux variables à des positions voisines
M10Soleil2·x_milieu = x_gauche + x_droiteprogression arithmétique (milieu = moyenne)
M11Éclairx_source < x_cibleimpose un ordre strict entre deux variables
M12Infinix = yimpose l'égalité de deux variables
M13Abysscontrainte toujours fausse (référence d'inadmissibilité)
Famille II, Arithmétiques et algébriques (10 modules)
CodeSymboleNomFormuleRôle
M14Prismex ≡ r (mod m)impose un reste modulaire
M15Cristalx·y = kproduit constant de deux variables
M16Spiralex_(i+1) = q·x_isuite géométrique de raison q
M17Cascadex₁ < x₂ < … < x_nsuite strictement croissante
M18ColonneΣ xᵢ = Ssomme fixée d'un ensemble de variables
M19Sablierx + y = csomme constante de deux variables
M20Échox_(i+p) = x_ipériodicité de période p
M21Vertex|x − y| = décart absolu fixé
M22Méridiena ≤ x ≤ bencadrement d'une variable dans un intervalle
M23Runem | xdivisibilité par m
Famille III, Ensemblistes et combinatoires (9 modules)
CodeSymboleNomFormuleRôle
M24Constellation∀ i<j, xᵢ ≠ xⱼtoutes les variables distinctes (all-different)
M25Ruchel_v ≤ #{xᵢ=v} ≤ u_vcardinalité bornée par valeur (quotas)
M26Tissageyᵢ = x_σ(i)permutation contrôlée d'un vecteur
M27Archipelxᵢ ∈ Bᵢ, Bᵢ ∩ Bⱼ = ∅affectation à des blocs disjoints
M28Sceaux = T[y]table de correspondance (valeur indexée)
M29ColombeΣ [xᵢ=v] ≤ 1une valeur utilisée au plus une fois
M30Phalange(x₁…x_n) ≤_lex (y₁…y_n)ordre lexicographique entre deux vecteurs
M31Filet|{x₁,…,x_n}| = knombre exact de valeurs distinctes
M32Serpentpermutation à cycle uniqueune seule boucle de longueur n
Famille IV, Logiques et propositionnels (8 modules)
CodeSymboleNomFormuleRôle
M33Portailx → yimplication logique
M34Cadenasx ↔ yéquivalence logique
M35Dague¬(x ∧ y)incompatibilité (non-et)
M36Faisceau⋁ᵢ ℓᵢclause : au moins un littéral vrai
M37Gardeb ↔ [c(x)]réification : un booléen reflète une condition
M38Oracle⊕ᵢ xᵢ = πparité imposée (ou-exclusif)
M39Voilesouple(w) : c(x)contrainte souple, violable à un coût w
M40Sentinelle¬[c(x)]interdiction (négation d'une condition)
Famille V, Métriques de risque (11 modules)
CodeSymboleNomFormuleRôle
M41Seuill ≤ Σ aᵢxᵢ ≤ ucombinaison linéaire bornée
M42Logitσ(β₀+Σβᵢxᵢ) ≤ p_maxscore logistique plafonné (probabilité)
M43PertePD·LGD·EAD ≤ L_maxperte de crédit attendue bornée
M44Capacitéendettement ≤ τ·revenus, reste à vivre ≥ R_mincapacité de remboursement
M45VigieΣᵢ Eᵢ ≤ E_maxexposition totale plafonnée
M46Rempartcollatéral ≥ γ·expositioncollatéralisation minimale
M47RatioL / V ≤ r_maxratio prêt sur valeur (LTV) plafonné
M48Tempêteperte sous scénario de stress ≤ L_maxperte de crédit en conditions dégradées
M49Marge(R − C − EL)/K ≥ m_minrentabilité ajustée du risque (RAROC)
M50DigueK / RWA ≥ b_minratio de fonds propres (Bâle)
M51FontaineHQLA / sorties nettes ≥ ρ_minratio de liquidité (LCR)
Famille VI, Admissibilité assertionnelle (9 modules)
CodeSymboleNomFormuleRôle
M52Sextants ≥ θ_ssupport probant minimal
M53Blasonπ = vraicertificat de preuve valide
M54Failleκ ≤ κ_maxcontradiction bornée
M55Aplombγ ≥ τconfiance minimale
M56ConcileΣ [aᵢ=a] ≥ kaccord d'au moins k sources
M57Herse[s≥θ_s]∧[t≥θ_t]∧[π=vrai]∧[κ≤κ_max]∧[γ≥τ]la porte d'admissibilité assertionnelle complète
M58Citationc / n ≥ c_mincouverture minimale des citations
M59Éphémèreâge ≤ a_maxfraîcheur de la preuve
M60EntropieH ≤ H_maxincertitude bornée
Famille VII, Temporels, stabilité et intégrité (8 modules)
CodeSymboleNomFormuleRôle
M61Calibre|ECE| ≤ εcalibration (erreur de calibration bornée)
M62Horlogex_t ≥ x_(t−1)monotonie temporelle
M63Maréex_(n−k+1) = … = x_nstabilisation (dernières valeurs constantes)
M64Aimantmax(|Δx|,|Δy|) ≤ Shystérésis (variations bornées)
M65BaliseOps(P) ≤ B_maxbudget d'opérations borné (latence maîtrisée)
M66Grimoireh_i = H(canon(e_i) ‖ h_(i−1))scellement par chaînage de hachage (journal SHA-256)
M67Fresque|couvertes| = ∏ᵢ |Dᵢ|couverture exhaustive de l'espace
M68Boussole¬(référence ≻ candidat)non-domination (optimalité de Pareto)
Leur efficacité, prouvée. Chaque module est accompagné de deux témoins : un cas qu'il doit accepter et un cas qu'il doit refuser. La suite d'essais vérifie ces 68 modules par machine, ce qui établit que chaque formule discrimine réellement et non de façon triviale. La campagne du 18 août 2026 a exécuté 356 essais sans aucun échec, vérifié 38 théorèmes et testé 10 000 assertions, avec 1 000/1 000 altérations du journal détectées et un rejeu strictement identique. Le catalogue publié est engendré directement à partir du code exécuté : aucun écart n'est possible entre la documentation et le moteur réel.
Souveraineté & conformité

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.

Infrastructure
Hébergement France | OVHcloud
Datacenter GRA2Europe (France, Gravelines)
Région
Europe (France, Gravelines)
Datacenter
GRA2
Processeur
Dual AMD EPYC 9354
Carte graphique
2× NVIDIA L40S 48 Go
Mémoire
384 Go DDR5 4800 MHz ECC
Stockage système
2× 960 Go SSD NVMe Soft RAID

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é ».


Puissance de calcul

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.

NVIDIA L40SGPU de classe centre de données, 48 Go de VRAM par carteAccélération IA
AMD EPYC 9354processeurs bi-socket haute densité, 64 cœursCalcul serveur
384 Gomémoire vive DDR5 4800 MHz à correction d'erreurs (ECC)Fiabilité
~73,6 jetons/svitesse de génération mesurée de LANXAS AI ONETemps réel
Francecalcul et données 100 % souverains, hébergés chez OVHcloud (Gravelines)Souveraineté
0dépendance à un nuage d'IA étranger pour l'inférenceIndépendance

Quatre secteurs régulés, une même exigence.

Banque & finance

Scoring, conformité et décisions de crédit traçables : chaque conclusion peut être auditée jusqu’à la règle appliquée.

Assurance

Instruction et tarification fondées sur des contraintes explicites, pour des décisions opposables et documentées.

Médical

Aide à la décision où la donnée clinique, la règle et la justification restent distinctes et vérifiables.

Psychiatrie

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.

356 essais, 0 échec 38 théorèmes vérifiés par machine 10 000 assertions au banc 4 969 refus expliqués 1 000/1 000 altérations détectées 3 rejeux strictement identiques

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.

19,02/20LANXAS AI White au Blind Benchmark, 120 questions inédites, sorties figéesAudité par ChatGPT (GPT-5.6)
0,722 mslatence médiane d'une décision RuleCore, jusqu'à 147 452 décisions par secondeBanc RuleCore
2 000 000dossiers décidés en 13,56 s lors d'une démonstration en directMoteur déterministe RuleCore
1 000/1 000altérations du journal AXIOM détectées, 3 rejeux strictement identiquesCampagne interne AXIOM
120réponses de LANXAS AI ONE figées et scellées, prêtes pour la correction externeLANXAS One Blind Benchmark
Francehébergement souverain, ONE fonctionne sans aucun appel externeInfrastructure locale

É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.

≈ 10 M€

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.

LANXAS : une architecture numérique souveraine. LANXAS AI : une intelligence artificielle explicable, vérifiable et maîtrisée.
Preuves & démonstrations

Vérifiez tout par vous-même

Trois moteurs souverains, cinq intelligences artificielles, tout est prouvable en direct : la porte assertionnelle AXIOM, le décisioning de masse RuleCore, l'optimisation sous contraintes ENGINE, les bancs d'essai à l'aveugle et les certifications.

Bancs d'essai à l'aveugle