L'essentiel de ce wiki relève de l'histoire : des recherches passées, des murs
qui ont tenu, des records établis il y a des années. Pas cette page. Une
recherche communautaire tourne en ce moment même sur le plateau strict à
cinq indices, elle manque de machines, et la
rejoindre prend environ deux minutes.
Elle est menée par Benjamin Riotte, détenteur du
record strict à cinq indices,
qui l'a ouverte à tous en août 2026
(le fil d'annonce).
L'invitation est directe : « la prochaine machine pourrait être celle qui
trouvera 466, ou ira bien plus loin ».
Rejoindre en deux minutes
Téléchargez le client pour Windows ou
Linux,
choisissez le nombre de fils d'exécution que vous voulez donner, et
laissez-le tourner. Il se met à jour tout seul, et vous l'arrêtez quand vous
voulez. Windows reçoit une application de bureau, non signée, qui déclenche
donc un avertissement au lancement ; Linux tient en une commande et demande
Python 3, avec un solveur précompilé sur x86-64 et une compilation depuis les
sources sur ARM. Un Raspberry Pi 5 suffit pour contribuer. Le
tableau de bord
montre la flotte, les découvertes et votre propre contribution, en direct.
Le plus intéressant n'est pas le client, mais l'orchestrateur derrière lui. Une
recherche en profondeur d'abord sur le plateau à cinq indices forme un arbre
gigantesque, et une foule n'aide que si cet arbre est découpé en morceaux que
personne ne parcourt deux fois. C'est le travail du plan de contrôle et, dans
le fil qui a donné cette page, le projet décrit chacun de ses rouages :
- Allocation distribuée des racines. L'orchestrateur distribue des racines,
en général un motif 3x3 fixé : chaque machine démarre à un endroit qui lui
est propre au lieu de courir sur la même branche que les autres.
- Tickets bornés. Une racine seule est bien trop grossière pour être
distribuée : l'unité de travail est donc un ticket, soit une racine, un
décalage déterministe dans le flux de recherche de cette racine, et un
budget, aujourd'hui plafonné à deux milliards de nœuds. Le plafond est
voulu. Sans lui, une machine peut rester des mois sur une branche qui ne
rend rien, le pire scénario pour une flotte de volontaires.
- Comptabilité des tickets terminés. Les identifiants des tickets terminés
entrent dans un registre que chaque client télécharge avant de démarrer, et
un ticket terminé n'est pas redistribué. Un audit de 3 458 636 tickets
terminés a trouvé 3 458 636 identifiants distincts : aucune unité de travail
n'avait été calculée deux fois.
- Déduplication canonique des plateaux. Un plateau terminé reçoit une
empreinte SHA-256 canonique, comparée à la base centrale. Un plateau inédit
est enregistré et crédité ; un plateau déjà présent est noté comme
redécouverte, et le crédit public reste au premier découvreur.
- Validation indépendante. Chaque plateau soumis est recalculé à
l'arrivée : un score annoncé est un score vérifié, pas un score cru sur
parole.
C'est la leçon que la communauté a apprise à la dure en quinze ans de
tentatives distribuées : la
ressource rare n'a jamais été la puissance de calcul, mais la comptabilité.
Cette page n'est pas un compteur en direct. Le
tableau de bord
et la bibliothèque de plateaux
portent les chiffres du moment ; ce qui suit est un instantané daté, les totaux
que le projet a publiés en ouvrant l'effort le 30 août 2026, sur le plateau
strict à cinq indices (les cinq pièces indices officielles à leurs cases
officielles) :
| Score | Plateaux trouvés au 30 août 2026 |
|---|
| 463/480 | 7 645 |
| 464/480 | 327 |
| 465/480 | 11 plateaux distincts |
À cette date, la flotte avait traité plus de 8,1 billiards de nœuds de
recherche, tournait autour de 5 à 6 milliards de nœuds par seconde, et avait
culminé à 28 machines simultanées au-delà de 12 milliards. Tous ces chiffres
ont bougé depuis, et le compte des 465 a bougé en quelques jours : d'autres
465 ont été crédités aux machines d'autres contributeurs dans la première
semaine de septembre, après un changement du jeu de graines. Ce tableau est la
ligne de départ de l'effort public, pas son score.
La ligne des 465 est la raison d'être de la flotte, et c'est désormais le record
strict à cinq indices sur la page des records de ce wiki :
la flotte a repris la ligne au 464 de Riotte lui-même, en juillet 2026, qui
avait déjà mis fin aux trois ans de règne du 460 de Bruno Gauthier. Les
décomptes ci-dessus sont rapportés tels que le projet les rapporte. Les plateaux
vivent dans la
bibliothèque publique, ce wiki n'en
embarque aucun, et aucun recomptage n'a été effectué pour cette page.
Pour l'ordre de grandeur, comparez avec eternity2.net tout entier, le projet
BOINC de 2007 : un peu plus de 10¹⁹ opérations en cinq mois, pour s'arrêter au
milieu des 460, et cela sous la convention à un seul indice, bien plus
permissive.
La première chose que remarque un nouveau contributeur, c'est que son propre
compteur et le tableau de bord ne disent pas la même chose. Le client affiche
chaque plateau à haut score qu'il rencontre ; le site ne crédite que les
plateaux inédits, et seulement à qui est arrivé le premier. Un contributeur
équipé d'une station Ryzen et d'un Raspberry Pi 5 a rapporté 128 trouvailles
locales pour 40 crédits en une journée, et en a logiquement conclu que les deux
tiers du temps machine étaient partis en fumée.
Ce n'était pas le cas. Les tickets derrière ces plateaux étaient tous
distincts : deux recherches différentes, parties de racines et de décalages
différents, avaient convergé vers le même plateau final, ce que la flotte ne
peut constater qu'une fois le plateau construit. L'empêcher en amont
supposerait d'échanger et de comparer entre machines un nombre colossal
d'états de recherche intermédiaires, pour un coût bien supérieur au calcul
ainsi économisé. Sur la fenêtre mesurée, les redécouvertes représentaient
environ 0,15 % des tickets terminés. Le plateau est un effet de bord ; le
travail, c'est le ticket.
Il y a une raison structurelle à tout cela. Le solveur est orienté vers les
régions fertiles plutôt que de tirer des plateaux au hasard, et les bons
plateaux se regroupent en familles. Carlos Fernandez, le
chirurgien des plateaux de la communauté, a pris les deux premiers 465 et
montré qu'ils appartiennent à une même famille : en échangeant deux groupes de
pièces de bord, en faisant pivoter un troisième groupe et en permutant une
paire, on en tire 32 plateaux à 465. Cela fait 32 plateaux, pas 32
découvertes, et c'est le
mur de rigidité vu de l'autre côté : les pièces
peuvent bouger sans qu'un seul défaut se referme.
Pas un économiseur d'écran en force brute. Le projet décrit un moteur de
recherche natif qui combine une recherche en profondeur d'abord avec élagage
exact, des heuristiques affinées,
une phase de fin de partie optimisée, et l'allocation distribuée des racines
décrite plus haut. Il continue d'évoluer à mesure que de nouvelles idées de
recherche sont testées. Le projet publie son propre exposé des techniques et
des expériences qu'il mène, à lire en regard des
pages d'algorithmes de ce wiki : deux récits
indépendants du même problème, par des gens qui y ont chacun passé beaucoup de
temps.
Rien, et c'est tout l'intérêt. Il n'y a plus de prix à remporter : les 2
millions de dollars ont expiré en 2010, et il s'agit ici du plateau à cinq
indices, pas d'une soumission à Tomy. Ce que vous y gagnez, c'est une part dans
une recherche qui résiste à tout le monde depuis 2007, une ligne sur un tableau
de bord, et la chance qu'un plateau trouvé sur votre machine soit celui qui
fait bouger le record.
Si vous préférez apporter un résultat plutôt que quelques fils d'exécution, le
wiki les accueille aussi : voir
contribuer vos recherches.