Décidé,
pas deviné.

Taumorrow Chess — un moteur d’échecs qui ne peut pas bluffer

Un moteur d’échecs dont chaque coup est décidé par la logique, et non estimé par un réseau. Les raccourcis qui accélèrent la recherche ne sont admis qu’avec une preuve décidée qu’ils ne changent jamais le résultat. Il joue en direct et en public contre les modèles de langage de pointe et montre sa propre vision de la position pendant qu’il réfléchit.

Ce qu’il apprend, il l’apprend de ses propres parties, sous un critère d’admission décidé avant que tout changement ne soit accepté. Les parties contre des modèles de langage mesurent la force ; elles ne servent jamais de données d’apprentissage.

The Round as a Formula — des jeux multijoueurs dont chaque tour peut être recalculé

Loteries, cagnottes partagées, une main de cartes, un coup sur un plateau, des jeux contre une banque : des jeux où plusieurs participants agissent en même temps et où une seule étape décide du tour. D’ordinaire, cette étape est un programme exécuté par un opérateur auquel il faut faire confiance. Ici, le tour est une formule, chaque participant peut la recalculer à partir du relevé, et le relevé ne peut pas être réécrit.

La méthode a commencé comme livre blanc en décembre 2025 et est publiée sous forme d’article, avec les exécutions qu’un tiers peut répéter.

AXIOM — un jeu où la formule est l’implémentation

Un jeu de plateau pour deux à quatre joueurs aux coups simultanés, construit en décembre 2025 comme démonstration en production de la méthode. Les dés issus des engagements de tous les joueurs, les collisions, les transitions d’état et le gagnant ne sont pas calculés par un programme puis vérifiés : chacun est une formule en Tau Language, et la formule est l’implémentation. Les services autour ne font que transporter des messages.

Après chaque tour, chacun peut télécharger la spécification et les entrées enregistrées et les synthétiser à nouveau. Les sorties concordent, ou l’incohérence apparaît. C’est de là que vient la phrase « Tau is the engine, everything else delivers messages », et c’est là qu’a commencé le travail sur les jeux équitables.

A Playable Nomic — le jeu où changer les règles est le jeu

Nomic se joue depuis 1982. Là où il a été informatisé, une machine exécute les règles que les joueurs écrivent. Ici, la machine décide aussi si une modification de règle proposée est conforme à la constitution, avant qu’elle ne prenne effet, et il est prouvé qu’un noyau protégé survit à toute suite d’étapes conformes.

Deux niveaux d’auto-amendement sur un substrat décidable : les joueurs changent les règles, les règles ne peuvent pas changer ce qui a été prouvé.

Orbit 37 — une roue à 37 cases

Quatre sièges jouent contre la banque. Avant chaque tirage, chaque siège et la banque scellent un nombre ; une formule dans le langage Tau les additionne modulo 37. Une fois les nombres scellés, personne ne peut plus changer la case. La banque peut seulement refuser d’ouvrir ; elle paie alors en jetons chaque mise valable comme si cette mise avait gagné, et la partie se termine.

Chaque tour terminé est un relevé signé que la page et n’importe qui d’autre peuvent recalculer. Les jetons sont de l’argent fictif sans valeur : ils ne peuvent être ni achetés, ni vendus, ni transférés, ni convertis en argent.

Pourquoi une roue d’abord : dans un jeu contre la banque, l’opérateur tient d’ordinaire toutes les cartes. Il tire, il paie, il tient le relevé. C’est le cas le plus difficile pour la confiance, donc le premier cas pour la méthode. Dans Orbit 37, chaque siège et la banque scellent un nombre avant le tirage, la case est leur somme modulo 37, et la banque ne peut que refuser d’ouvrir. Le but est un jeu où l’opérateur ne peut plus changer la case une fois les nombres scellés ; la roue n’est que le plateau le plus simple pour cela.