Recherche en IA déterministe
Aleten développe Ackren, un moteur conversationnel déterministe pour le déploiement réglementé. Aucune inférence statistique nulle part dans la chaîne, des réponses en quelques millisecondes et un journal de dérivation pour chaque réponse. Ackren n'est pas encore un produit : le journal de développement est public, les spécifications sortent au fur et à mesure qu'elles sont achevées, le moteur est déjà en ligne et vous pouvez l'essayer, et une démonstration produit fonctionnelle est à quatre à six mois.
Une marque de collationnement de relieur. Un cahier correct montre une diagonale ininterrompue, un cahier erroné la brise visiblement. Six cents ans d'âge, aucun instrument requis, lisible à l'œil nu en une seconde. Survolez la marque ou touchez-la pour la mettre hors séquence.
Annonces
Mesuré de bout en bout sur une réponse de 80 mots, contre des secondes pour un modèle hébergé. Ici la latence est architecturale et non le fruit d'un réglage, et elle ne se dégrade pas sous charge. Le banc de mesure est publié avec le chiffre.
Un second moteur, qui lit l'affect et la posture plutôt que le contenu propositionnel, sur la même base inspectable qu'Ackren. La spécification est en cours d'écriture et sortira intégralement, limites comprises.
Un cahier est un ensemble de feuillets pliés ensemble, ce qu'est précisément un pack. Les packs sont rédigés, vérifiés et signés dans Quire avant d'être livrés. L'accès anticipé s'ouvre avec le premier partenaire de conception.
Journal de développement
Chaque entrée intégralement, au minimum une fois par mois. Si la cadence n'est pas tenue, cette page le dit plutôt que de se taire. Les corrections sont un type d'entrée à part entière et les chiffres dépassés sont barrés, jamais supprimés.
Elle sort telle quelle, sans formulaire préalable et sans collecte d'adresse e-mail. Les mathématiques sont ici l'actif le plus solide, elles sont donc la première chose à quitter la maison.
Spéc. v0.4
Contre 0,449 auparavant. L'élagage retire toujours 55,1 % de la masse des trigrammes, une build de 16 Mo reste donc un modèle de bigrammes avec des exceptions trigrammes.
Build 7f2a9c31
Il ne fonctionne que si les erreurs sont indépendantes, et sur les items ambigus elles ne le sont pas. Remplacé par une triple annotation et un arbitrage par un expert.
Régime v2
Le haut risque de l'annexe III est reporté au 2 décembre 2027. La transparence de l'article 50 reste au 2 août 2026, et elle s'applique à nous. Le déterminisme n'y achète rien.
Revu le 11 juil. 2026
Le format d'enregistrement fixé avant que quiconque le demande, sous une licence permissive, avec un journal des modifications et une invitation à l'implémenter.
Schéma v1.0.0
Environ 6 100 sur un milliard de requêtes à la largeur d'index actuelle. On les rachète avec des bits, et ces bits coûtent l'essentiel d'un budget de 16 Mo.
Spéc. v0.4 §7
Quatre cents heures à quinze livres, payées à l'heure vérifiée plutôt qu'à l'item, pour que l'incitation ne soit pas d'expédier les cas incertains.
Programme v1
Une fausse acceptation sur 4 096, contre une sur 16,7 millions pour Quarto. Des empreintes de douze bits sont tout ce que le budget permet, et cela est dit avec le nom.
Build 4c81e0a2
Elle reposait sur une taille de lot que personne n'a publiée, ce n'était donc pas un chiffre défendable. Barrée jusqu'à ce qu'elle puisse être recalculée. La latence n'est pas affectée.
2 à 6 ×10⁵ · retiré, non remplacé
Affirmations v1.1
Ackren
Les noms sont des plis de feuille d'imprimeur : le folio est un pli, le quarto deux, l'octavo trois. Le format nomme le plancher matériel, non la compétence, et tout pack tourne sur tout format, à la seule condition de la flash. Ce n'est pas une échelle de capacités.
L'artefact complet à l'échelle du gigaoctet, projeté en mémoire, là où le stockage n'est pas la contrainte limitante. Empreintes en pleine largeur.
Environ 200 Mo sur une carte. Le plancher intermédiaire, et celui que la plupart des cibles embarquées peuvent réellement atteindre sans redessiner la carte.
Seize mégaoctets, exécutés sur place, sans aucune carte. Octavo porte une garantie plus faible, et pas seulement moins de contenu : des empreintes de douze bits sont tout ce que le budget permet.
La compétence est livrée sous forme de pack : rédigé, répertorié et vérifiable. La conversation est le moteur de base et non un pack, et l'écriture est un problème de recherche plutôt qu'une fonctionnalité à venir.
Essayez vous-même
Il ancre ce que vous lui dites, pose ses propres questions de suivi et imprime le journal de dérivation à chaque tour, y compris le drapeau typé sur les tours qu'il refuse. Il ne sait encore rien et le dit plutôt que de deviner. Le terrain d'essai ne demande aucun compte et la conversation ne quitte jamais votre navigateur.
Recherche
Chaque document est daté, versionné et citable, et chaque chiffre porte la base dont il est dérivé : mesuré, calculé, modélisé ou cité. Un chiffre sans sa base n'est pas une affirmation, et il n'apparaît pas sur ce site.
Ces documents ne sont pas encore publiés, ceci est donc une liste et non un ensemble de liens. Chacun sera mis en ligne à une URL stable dès qu'il sera achevé, sans rien derrière un formulaire. Demandez-en un dès maintenant et vous recevrez la version actuelle : research@aleten.com.
Limites
Chaque mode de défaillance connu est publié avant que quelqu'un d'autre ne le trouve. Quatre d'entre eux figurent ci-dessous, avec la condition de détection indiquée pour chacun.
La comptabilité complète compte onze lignes, dont deux non fiables. Elle sera mise en ligne avec la spécification.
Détecté, jamais résolu. La couverture reste strictement inférieure à un quelle que soit la quantité rédigée, et aucune quantité d'écriture ne comble l'écart.
La détection est atteignable. La résolution ne l'est pas. Ce problème est ouvert pour tout le monde, y compris les modèles transformeurs, qui ne le signalent pas lorsqu'ils échouent.
Rien dans le modèle ne tient un raisonnement d'un paragraphe à l'autre. L'écriture est un problème de recherche, pas une fonctionnalité à venir.
Le déterminisme tient à l'intérieur d'une build, identifiée par le hachage de l'artefact. Il ne tient pas d'une build à l'autre, et nous ne prétendons pas le contraire.
Travailler avec nous
Le programme de vérification paie quinze livres de l'heure, à l'heure vérifiée plutôt qu'à l'item, pour que l'incitation ne soit pas d'expédier les cas incertains. Le régime de qualité est public avant que vous ne postuliez : cinq pour cent d'items étalons insérés, vingt pour cent en triple annotation, et le kappa de Fleiss rapporté.
Aucun formulaire de candidature et aucun système de suivi. Écrivez à work@aleten.com en précisant lequel de ces postes vous intéresse, et une personne vous répondra.