SLWM
Le modèle du monde synthétique et logique. Il écrit un monde exact à partir de ces opérations et prouve ce qu’il dit.
Quand les modèles synthétiques et logiques rencontrent les données naturelles
Protocole récursif primitif
pour le modèle du monde synthétique et logique
SGDL est un exolangage formel conçu pour la communication déterministe entre l’intelligence artificielle et les systèmes robotiques autonomes, qui encode les architectures de l’environnement, de l’échelle planétaire à l’échelle moléculaire, comme fonctions récursives primitives, écrites dans le lambda-calcul.
« Quand les données synthétiques et logiques rencontrent les données naturelles »
Un protocole récursif primitif pour le modèle du monde synthétique et logique
SGDL est un exolangage formel pour la communication déterministe entre l’intelligence artificielle et les systèmes robotiques autonomes, qui encode les architectures de l’environnement, de l’échelle planétaire à l’échelle moléculaire, comme fonctions récursives primitives, écrites dans le lambda-calcul.
SLWM · UN EXOLANGAGE, TOUTES LES ÉCHELLES
De l’échelle planétaire à l’échelle moléculaire.
Le SLWM — le modèle du monde — écrit la planète, la ville, le moteur et la molécule dans un seul exolangage : non anthropomorphe, fait pour les machines, bâti sur des fonctions récursives primitives. Là où le neuralese produit des approximations statistiques, il énonce des vérités mathématiques invariantes. Le fil d’or est cette expression, qui inscrit chaque échelle sur une grille d’entiers qui ne se déplace pas.
La plaque du SLWM, vivante en trois dimensions : une planète en fil de fer qui tourne, avec un satellite en orbite ; une ville de solides exacts où un drone tourne dans sa bulle de sécurité ; un moteur dont les engrenages s’engrènent et tournent ; un réseau moléculaire en rotation, avec une orbite d’électron — côte à côte sur une seule grille d’entiers, et un seul fil d’or s’écrit de la planète jusqu’au réseau, puis revient du moléculaire au planétaire, allumant puis éteignant un nœud à chaque échelle, de dix millions de mètres jusqu’au nanomètre, et retour.
GROUPE SGDL+ARIADNE · GENÈVE · MONTRÉAL
Un groupe, une propriété intellectuelle : géométrie exacte, brevetée, normalisée.
SGDL Innovation SA détient le langage SGDL — Spatial General Descriptive Language, langage général de description spatiale —, ses métacourbes de Gray et son arithmétique des formes : une façon d’écrire l’espace en entiers, où un solide est une expression, où un point est intérieur, frontière ou extérieur, et où le calcul produit sa preuve avec son résultat. Le travail, ce sont cinq opérations. La propriété intellectuelle est bâtie sur elles. SGDL Innovation SA, à Genève, et Ariadne Geometry Inc., à Montréal, la détiennent.
CE QUE NOUS FAISONS
Cinq opérations. La propriété intellectuelle est bâtie sur elles.
Modélisation, simulation, indexation, chiffrement et communication de l’information spatiale. Vingt-et-un brevets, déposés en trois familles, servent ces cinq. Cette écriture est la patent factory. Comment les actifs s’y appuient.
-
01 Modélisation
Un solide est une expression. Un point est intérieur, frontière ou extérieur, écrit en entiers. La famille d’encodage et l’arithmétique des formes sont cette écriture.
-
02 Simulation
La même expression est exécutée. Le résultat est le calcul, de l’échelle planétaire à l’échelle moléculaire.
-
03 Indexation
Les métacourbes de Gray donnent à chaque cellule une adresse. Une requête suit l’espace, ou les données. La taxonomie.
-
04 Chiffrement
Un signal est brouillé le long de la même courbe qui adresse l’espace. C’est la famille image et chiffrement. Elle relève d’un brevet déposé le 27 octobre 2022 et publié le 27 avril 2024 : méthode et système pour générer une image et s’en servir pour chiffrer de l’information. Signer un accès en est un exemple — l’image se montre, la signature reste privée.
-
05 Communication
Les machines se décrivent les objets et les contraintes spatiales dans l’exolangage, indépendamment de tout modèle particulier.
PRODUITS
Le SLWM et le WMCP appliquent la modélisation, la simulation, l’indexation, le chiffrement et la communication.
Ce sont des produits, pas les opérations elles-mêmes. Un résultat peut être prouvé dans Lean et montré comme une image. Chaque résultat porte un certificat de calcul.
WMCP
Le World Model Context Protocol. Un modèle de langage pose une question spatiale et reçoit un calcul.
Détenu.
21 brevets, déposés en trois familles — encodage, indexation en n dimensions, image et chiffrement — et bâtis sur cinq opérations : modélisation, simulation, indexation, chiffrement et communication.
Reconnu.
Depuis MPEG-4 AFX (ISO/IEC 14496-16, 2003 ; données synthétiques et logiques en 2006) : l’Alliance for OpenUSD, l’Open Geospatial Consortium, Khronos, et l’ISO/ASTM 52915. La contribution, c’est l’interface. Le mécanisme reste breveté.
Publié.
Une théorie de trente ans — l’arithmétique des formes (thèse, Université de Montréal, 1997), SGDL-Scheme (2000), le manuel SGDLscript (2003), la charte de l’exolangage — et 1 962 théorèmes de noyau (2026), vérifiés par Lean 4, qu’un tiers rejoue par une seule commande.
QUATRE ÉTUDES DE CAS · CALCULÉES SUR DONNÉES RÉELLES
Des rasters d’IA aux preuves vérifiées.
Quatre études calculées sur des données réelles en modélisation planétaire, recalage chirurgical, observation de la Terre et IA médicale fédérée. Chacune repose sur l’arithmétique entière exacte et la vérification formelle Lean.
Indexation
Une tuile de 10 m sur une Terre ronde.
Une tuile de 10 m ne fait pas 10 m au pôle, et deux grilles voisines ne s’accordent pas sur leur couture. Une métacourbe de Gray parcourt les six faces du cube et donne à chaque cellule une adresse, de Genève au Svalbard.
- Déplacer un point de Genève au pôle
- Tirer le cube vers la sphère
- Parcourir l’index sur les six faces
Modélisation · Simulation
Le scanner sur la radiographie, au millimètre prouvé.
Un scanner préopératoire recalé sur une radiographie peropératoire : six nombres exacts, une erreur bornée, et un verdict Lean qui certifie la pose ou la refuse. Douze cas réels, rejouables.
- Fondre la mesure et le modèle
- Déplacer l’erreur à la main
- Voir le certificat décider
Observation de la Terre · POC inversé
Des rasters d’IA aux objets vérifiés.
Audit de ForTy 2020 (Google DeepMind / WRI) sur 1,39 billion de pixels valides : 0 ha de défaut, 57,9 Mha de doublons de fuseaux retirés et certificats parcellaires EUDR prouvés par Lean 4.
- Auditer 613 cellules UTM mondiales
- Retirer 57,9 Mha de doublons de fuseaux
- Vérifier les preuves de parcelle Lean pour l’EUDR
IA médicale · Collaboration CERN
La géométrie exacte pour l’IA médicale fédérée.
Audit de 2 131 radiographies dans DeMICAF sans entraînement, mise au jour des fuites de lésions dans HAM10000 et a priori géométriques sans données pour DP-KFC.
- Évaluer 4 causes de conformité géométrique
- Auditer la fuite de lésions sur HAM10000
- Aligner les espaces propres de courbure DP-KFC
Quatre domaines
Comment fournir une vérité spatiale à une IA. Cinq voies ont été essayées. Une est exacte en entiers. Quatre domaines sont écrits sur elle.
Économie de basse altitude
Corridors et volumes d’exclusion comme solides nommés, du tunnel jusqu’à l’air.
Planétaire
Terrain exact et autonomie sans GNSS, ancrés aux modèles d’élévation publics.
GEO-TRUST-SPACE
Données d’observation, filtrées par des solides exacts qu’une IA peut vérifier.
Mine 4.0
L’entrée dans une zone est un verdict ternaire : intérieur, frontière ou extérieur.
Développement d’entreprise, partenariats stratégiques, institutions, presse.
Contact