Research Programmes, Papers and Reports

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

Groupes d'algorithmes par type de données

Recherche sur l'inférence économe en énergie

Recherche sur la récupération de vecteurs binaires

Les ingénieurs transforment l'idée éprouvée en code réel. Les mêmes tests qui ont validé la recherche valident désormais le produit. Vous en bénéficiez sans jamais lire l'article.

Avant que la recherche ne devienne une fonctionnalité, nous la publions pour que d'autres puissent vérifier notre méthode, nos données et nos conclusions. Un examen ouvert détecte les erreurs et renforce le travail.

Nous construisons des prototypes, menons des expériences et mesurons les résultats par rapport à des données réelles. Si quelque chose ne fonctionne pas, nous le notons aussi. Un résultat négatif reste un résultat.

La recherche est trop lente. Les réponses sont incohérentes. Les factures d'énergie sont trop élevées. Nous transformons ce dont les gens se plaignent en une question précise que nous pouvons étudier.

Replay est une propriété testable sous un build épinglé

Pas de temps de 60 Hz proposé, aléatoire ensemencé et chemin de journal d'entrée typé

Noyaux candidats vérifiés par rapport à des obligations bornées

Vérifications SMT avec Z3 et CVC5 plus un chemin de génération de code Cranelift ; validation en attente

Exemple candidat : une voie à trois multiplications pour la multiplication complexe

Cible de comparaison du nombre de multiplications (pas un benchmark publié)

Hypothèse d'optimisation par dispatch clairsemé

Le dispatch clairsemé est proposé pour ignorer les cellules inactives ; le comportement par tick nécessite une validation

Cible de comparaison d'économie de CPU (pas un résultat publié)

Les conditions de replay sont testables ; la reproductibilité complète reste à valider

Les règles déclarées sont destinées à prendre en charge le replay tick par tick ; la validation est en attente

Chaque chiffre doit remonter à l'exécution source et à l'enregistrement de mesure ; le statut des preuves fait partie de l'examen.

La portée du backend candidat de Forge comprend x86-64, RISC-V, WebAssembly et GPU ; la couverture et la qualité nécessitent une validation.

Le code source de Jacquard est privé et disponible sur demande. Forge reste de la recherche et n'est pas ouvert.

preuves de recherche (statut de validation)

Affirmations, preuves et le nombre derrière chacune.

La reproductibilité est un objectif de conception pour ces pistes de recherche. Chaque ligne doit associer une affirmation candidate au flux, à la source et à l'enregistrement de mesure qui l'ont produite. Lisez-le comme une fiche de preuves avec statut de validation, pas comme une brochure.

Les nombres affichés ici sont des champs de rapport ou des cibles de comparaison ; vérifiez l'enregistrement source et les conditions d'accès avant de traiter l'un d'eux comme un résultat mesuré.

AI is everywhere now, but most people do not know how it works, where their data goes, or whether they can trust the answers. Our research exists to fix that. We work on three problems that matter to everyone who uses technology.

Three questions that guide everything we build.

We study how to make AI explain its reasoning, give the same answer every time, and say so when it is unsure. You should never have to trust a black box. You should be able to see why it said something and decide for yourself.

Running AI can use a lot of power. We look for ways to get the same answer using far less. When AI uses less electricity, it costs less and pollutes less, so smaller organisations and public services can afford it too.

We study how to build AI that stores and handles your information inside European borders, under European law. That means it is protected by GDPR, not handed to foreign surveillance, and looked after by people you can hold to account.

Chaque flux publie ouvertement afin que d'autres puissent vérifier le travail derrière l'affirmation.

La recherche Dweve est organisée autour de quatre domaines stratégiques qui correspondent directement aux capacités du produit. Chacun constitue la couche de recherche publique qui soutient une affirmation commerciale. Survolez un flux pour voir ce qu'il sous-tend.

Quatre flux. Une mission : une IA souveraine, efficace et fiable.

Garanties de déploiement et de résidence

Recherche sur les cadres de résidence des données et les mécanismes de transfert conformes à Schrems II. Cela sous-tend nos garanties de déploiement selon lesquelles les données restent à l'intérieur des frontières européennes, sous le droit européen.

Recherche sur le chiffrement homomorphe, l'agrégation sécurisée pour l'entraînement fédéré et les preuves à divulgation nulle pour la vérification des modèles. C'est le fondement de l'apprentissage fédéré au sein de Mesh, notre produit de calcul circulaire.

Contrôle des coûts et rapport de durabilité

Recherche sur la quantification et le travail sur les noyaux spécifiques au matériel qui réduit l'énergie nécessaire à un modèle sans dégrader la sortie. Moins d'électricité signifie un coût d'exploitation plus faible et une empreinte réduite.

Garanties de reproductibilité et d'audit

Recherche sur l'arithmétique en virgule fixe, le caractère aléatoire ensemencé et l'exécution indépendante de la plateforme afin qu'un modèle donne la réponse identique sur chaque machine. Cela sous-tend la reproductibilité nécessaire pour un audit.

Même entrée, même sortie, à chaque fois.

Nous publions les résultats intermédiaires, les expériences échouées et les hypothèses révisées. La recherche comme processus d'ingénierie ouvert.

Jacquard reste un axe de recherche privé. Tout transfert vers Fabric, Nexus ou Aura nécessite une validation séparée.

La relecture Jacquard est une propriété de recherche, la relecture Mycelia est une condition de test, et Forge vérifie les obligations bornées dans un programme expérimental.

Chaque flux porte un statut de preuve et une limite autour de ses affirmations actuelles.

Statut de preuve, pas une affirmation produit

relecture pas à pas (propriété de recherche)

portées du modèle : perception, chimie, évolution

Codebase de recherche, accès sur demande

Un modèle de monde numérique avec des règles locales explicites et des coûts énergétiques. Le rapport soutient la relecture déterministe comme propriété testable ; les affirmations plus larges sur le comportement restent un travail de validation futur.

Backends cibles (périmètre d'évaluation)

Recherche partenaire, pas de diffusion publique

Forge explore des implémentations candidates de noyaux par synthèse de programmes. Sa conception utilise la mesure basée sur Cranelift et les vérifications SMT pour les obligations bornées ; le rapport 2025 n'établit pas la préparation à la production ni les performances de référence.

Un moteur de monde basé sur navigateur que les agents peuvent construire via une surface MCP typée. Pas de temps fixe, aléatoire ensemencé et relecture à partir d'une graine et d'un journal d'entrée sont des propriétés de recherche à évaluer. Le dépôt source est privé.

Nos programmes de recherche transforment des questions systémiques difficiles en appareils inspectables : mondes déterministes, pipelines de synthèse et laboratoires de vie artificielle. Le résultat n'est pas seulement une démonstration, mais une voie qu'un autre ingénieur peut reproduire et contester.

Jacquard étudie la sémantique des mondes déterministes, Forge étudie la synthèse de programmes et Mycelia étudie la vie artificielle. Chaque programme possède son propre appareil, type de résultat et limite d'échec.

Ouvrir l'histoire de l'implémentation derrière chaque programme

Chaque programme possède son état et ses preuves

Un moteur de monde typé avec exécution à pas fixes, transitions explicites et traces d'agents rejouables.

Un pipeline de synthèse qui recherche des programmes candidats, les abaisse via Cranelift, les mesure et vérifie les obligations de correction bornées.

Un laboratoire déterministe de vie artificielle pour les règles locales, la pression des ressources, la lignée et la structure émergente. Ses exécutions restent des preuves de recherche, pas une conclusion scientifique en elles-mêmes.

Un programme commence par une affirmation observable, des variables contrôlées, des perturbations et une condition d'arrêt. La spécification détermine l'état que nous conservons et le contre-exemple qui peut rouvrir le résultat.

Le contrat d'expérience précède l'implémentation

Un état non spécifié ne peut pas soutenir une affirmation reproductible

Le mécanisme préserve-t-il son invariant à travers des perturbations contrôlées

L'invariant, la famille de perturbations et la limite d'observation sont engagés avant l'exécution.

Entités typées, transitions, horloges et graines.

Les cas varient indépendamment par rapport à une base fixe.

Les invariants et les seuils d'échec s'exécutent comme des vérifications.

Aucune inférence en dehors de l'espace d'états versionné

Question, appareil, exécution, contestation et transfert sont connectés par des entrées et sorties versionnées. Sélectionnez une porte pour inspecter le contrat à cette limite.