Les pages d'histoire racontent l'aventure de la
communauté dans l'ordre chronologique ; cette page la raconte par personne.
Presque tout ce que ce wiki sait (chaque record, chaque théorie, chaque outil
et chaque impasse documentée) remonte à quelqu'un
qui l'a publié sur la liste de diffusion eternity2,
le plus souvent gratuitement, souvent pendant des années. Voyez cette galerie
comme un index et un remerciement à la fois. Les noms apparaissent tels que
chacun signait ses messages publics ; chaque affirmation renvoie à un message.
Beaucoup des personnes ci-dessous ont leur propre page de contributeur : un nom
en gras avec un lien l'ouvre, rassemblant leur profil, leurs messages
sourcés et toutes les pages qu'elles ont écrites ici.
Raphaël Anjou, qui maintient le wiki et mène
les expériences du labo, a la sienne lui aussi, un chercheur parmi les autres.
Les noms sans lien sont documentés directement ici, sur cette page.
Le fondateur. Owen a créé le groupe eternity_two en octobre 2000, soit six ans
et demi avant que le puzzle n'existe
(msg 384), et lui a donné son ton
scientifique : dans les deux jours suivant l'annonce de janvier 2007, il avait
dérivé la formule du nombre attendu de solutions qui fait de la difficulté un
paramètre de conception (msg 38), et
le week-end du lancement il a numérisé les vraies pièces et publié la première
estimation du nombre de solutions
(msg 987). Ses résultats phares :
la preuve qu'un partage de couleurs 17+5 est le 16×16 le plus difficile possible
(msg 1947), le modèle exact de
l'arbre de recherche que l'on appelle désormais
théorie complexe
(msg 5197,
msg 5209), les
puzzles de référence 9×9/10×10 sur lesquels la
communauté s'affronte encore, et la preuve en forme close de la profondeur de
pic 256 × (1 − 1/e)
(msg 8125). Après un adieu à la
clôture du concours
(msg 8429), il est revenu en
2025, affinant son propre modèle
(msg 11500,
msg 11546).
Un vétéran d'Eternity I et le premier à provoquer les estimations du groupe :
en 2001, il demandait, des années avant les faits, comment on concevrait un
puzzle doté d'un prix colossal et n'ayant qu'environ 1 % de chances d'être
résolu en dix ans (msg 15), et il
a accueilli les annonces de presse de 2005 par « So we can conclude, the end of
the universe is in several years. »
(msg 34). Pendant deux décennies, il
a vérifié les chiffres de la liste, des conversions en couverture exacte de 2007
jusqu'au registre matériel « nœuds par watt » des années 2010.
Auteur du solveur distribué ESolve pour Eternity I, il a rejoint le groupe en
2001 (msg 21) et a bâti
eternity2.net, le projet BOINC qui était le visage public de la communauté en
2007 (msg 756). Il l'a arrêté avec
une comptabilité complète : 1,6 TFlops, plus de 10^19 opérations, aucune
solution (msg 3511). Il a ouvert
le code de son solveur
(msg 3716) et a laissé aux
archives leur meilleure source primaire sur la création du puzzle : son entretien
téléphonique avec Monckton décrivant comment la solution a été générée puis mise
sous scellés (msg 4177).
Angel de Vicente, qui signait Txibilis, a construit la suite standard de
plateaux de référence de type E2
(msg 1886) et était le meilleur
concepteur manuel d'ordres de remplissage
de la communauté. Son duel avec l'optimiseur automatisé de doc_s_smith a fait
chuter les compteurs de nœuds de la recherche exhaustive de plusieurs ordres de
grandeur (msg 2928). La culture
du benchmark qui a plus tard validé la théorie complexe commence avec lui.
En plein duel, la liste a découvert qui était doc_s_smith : Dietmar Wolz, le
découvreur de la plupart des solutions connues d'Eternity I
(msg 2972). Son optimiseur de
stratégie automatisé a établi des records de benchmark en 2007
(msg 2896) ; de retour en 2010, il
a publié une boîte à outils Java qui a transformé la liste en atelier
d'algorithmes (msg 7755) et a
donné à l'après-concours son objectif de travail : « beat 468 matching edges »
(msg 7803).
Auteur du premier article sérieux sur le comptage des solutions, situant E2
autour de 15 millions de solutions
(msg 3497), et du résultat
d'impossibilité le plus net de l'époque : l'argument de parité montrant qu'aucun
plateau ne peut marquer exactement 479 par ses coutures intérieures
(msg 1640). Il a tenu dix-sept
mois, jusqu'à ce que Verhaard signale l'unique faille
(msg 6317) : retourner une pièce
de bordure dont les deux arêtes de bord extérieures partagent une couleur, et le
plateau se lit comme un 479 tandis que ces arêtes de rebord non comptées restent
intactes. C'est une subtilité de la bordure non comptée, non une brèche dans le
calcul de parité intérieure, qui tient toujours, comme Verhaard l'a lui-même
noté : 479 « cannot be achieved in another way »
(msg 6319).
Michael Quist était l'arbitre mathématique de la liste. Il a publié le premier
cadre de comptage entièrement rigoureux pour les puzzles de type E2
(msg 1221), a affiné la théorie de
l'équilibre de bordure
(msg 2098), et ses relectures ont
débusqué les défauts qui ont rendu solides les résultats des autres. Kubzpa a
amendé son article sur le comptage des solutions après que sa relecture eut
repéré une simulation Monte-Carlo erronée
(msg 3589).
La seule personne que le puzzle ait jamais payée. Son solveur eii, rendu public
« because I am stuck » (msg 5940),
a trouvé le 467 qui a remporté le prix de vérification de 10 000 $, inscrit sous
le nom de sa femme, Anna Karlsson, comme il l'a lui-même confirmé : « Anna is my
wife… it was my program that did the job »
(msg 6349,
msg 6891,
msg 7451). Ses méthodes sont
devenues canoniques : les ordres de remplissage en peigne (comb-search)
(msg 6112) et le glissement
d'arêtes contrôlé par la profondeur
(msg 7321). Il fut aussi le
défenseur le plus acharné de la théorie complexe : « the finest work that has
ever been published about E2 »
(msg 7810), et son 467 a tenu
douze ans.
Auteur de l'Eternity II Editor, l'éditeur et interface de solveur Java
multiplateforme publié en février 2008
(msg 4544) qui est devenu l'outil
de plateau standard de la communauté pendant des années. Il proposait encore son
aide sur le code lorsque celui-ci a refait surface en 2012
(msg 9064).
Signant Eternity Blogger, Fred a construit E2Lab dans une salve de publications
quasi quotidiennes à l'automne 2009
(msg 7148), un éditeur/solveur dont
le retrait délibéré de son propre « bouton magique », « to respect the game
rules », en dit long sur l'éthique de la liste
(msg 7150). Son blog a hébergé les
tableaux de la communauté durant les années de l'après-concours.
Un habitué depuis 2008 et le théoricien de la bordure de la communauté. Sa
« doctrine de l'équilibre » pour la génération de puzzles apparaît en 2009
(msg 6842,
msg 6844) ; en 2022, il a énoncé la
condition exacte que ce wiki appelle l'équilibre de bordure NS-1
(msg 10754,
msg 10757), et l'a étayée par un
partiel de 222 pièces à bordure complétée, entièrement documenté
(msg 10862).
Le pilier de l'époque, et sans doute le chercheur le plus déterminant du puzzle
après Owen. Son travail a sa propre page.
Il a calculé le nombre canonique d'environ 14 702 solutions attendues
(msg 8924), a transcrit la théorie
complexe en LaTeX (msg 9188) puis,
plus tard, en code C exact
(msg 11197), que ce site porte. En
2017, il a résolu le 10×10 sans indice d'Owen en environ 180 années-cœur, dans
les barres d'erreur de la théorie, sa plus forte validation à ce jour
(msg 9686,
msg 9688), et en 2020 il a détenu
le record lui-même : « New record score of 469! Only 11 breaks! »
(msg 10045).
L'université en personne. Il a publié l'article hyper-heuristique de son équipe,
évalué par les pairs (461/480 en une heure), et est resté pour répondre aux
questions (msg 9017,
msg 9023), et son équipe a
enchaîné avec les travaux MILP et Max-Clique de 2017
(msg 9683).
Un vétéran des solveurs les plus rapides des premières années, devenu le
réaliste matériel du groupe : son architecture de backtracker sur FPGA
projetait environ 5 G placements par seconde et par puce
(msg 9226), et ses analyses de
capacité des voies GPU et FPGA ont dit à la liste ce que le silicium pouvait et
ne pouvait pas acheter (msg 9003).
Arrivé en 2009, il a redéfini le standard de vitesse en 2014 avec un solveur
mono-cœur à 114,5 millions de récursions par seconde, offert comme référence de
comparaison (msg 9233), et est
revenu en 2018 pour les courses de benchmark.
Le flanc GPU. Arrivé en 2017, il est passé des astuces de bits sur CPU à un
solveur de calcul DirectX 12 tournant sur une Xbox One X
(msg 9811) et a re-vérifié
exhaustivement sur GPU le jeu 9×9 numéro 1 d'Owen : les mêmes 2 solutions que le
recensement CPU de 2014, en 25,4 heures
(msg 9822).
Le vérificateur de la communauté et, plus tard, son sauveur. En 2009, il a
reproduit le 467 avec le solveur public de Verhaard, environ 82 jours sur un
seul PC, consignant précisément à quel point l'air se raréfie au-dessus de 466
(msg 6687). Lorsque Yahoo a
annoncé qu'il effacerait les archives en 2019, JSA a payé les frais de transfert
vers groups.io, proposant « I can pay for the first 5 years »
(msg 2), et il rédige encore les
messages de bienvenue du groupe
(msg 11771).
Kronjuvel (Kron) était là depuis les toutes premières années, a revendiqué a
posteriori un partiel de 231 pièces d'octobre 2007
(msg 7563), et, en tant que
propriétaire du groupe, a créé le nouveau domicile groups.io lors de la migration
de 2019. Le message de bienvenue de 2026 s'ouvre par un hommage à lui ; il a
disparu de la liste depuis 2023
(msg 11771).
L'inconnu qui a mis fin au gel de douze ans. Inconnu de la liste, il a annoncé
un 468 sur Reddit en août 2020
(msg 10032), a ouvert le code de
son solveur quelques jours plus tard
(msg 10037) accompagné de rares
résultats négatifs (SAT, GPU et caches 2×2 tous mesurés puis écartés,
msg 10056), et en mars 2021 il a
publié le 470 qui tient toujours
(msg 10117), trouvé avec le code
public exact (msg 10161). Son
algorithme est décodé sur ce wiki.
L'infrastructure de l'ère moderne. Il a donné l'alerte qui a déclenché la
migration des archives
(msg 9920), a construit le
visualiseur de plateaux e2.bucas.name qui est devenu le
livre des records de la communauté
(msg 9955), a réécrit le solveur de
Blackwood en C sous le nom de libblackwood, doublant grosso modo sa vitesse et
alimentant la vague de 469 de novembre 2020
(msg 10065,
msg 10078,
msg 10067), et a égalé le 470 en
2024 (msg 11401), en créditant
toujours Blackwood. Son étude de paramètres wrapper_blackwood est republiée
sur ce wiki avec sa
permission (msg 11905).
Le chirurgien de plateaux. Il a produit un 469 par un simple échange d'une pièce
du plateau record de McGavin
(msg 10074), une variante 470 à
bordure réarrangée (msg 11403),
des résolutions de quadrant 14×14 en quatre minutes
(msg 10802), et des barreaux
élevés de l'échelle des cinq indices
(msg 11068).
Un vétéran de la vitesse de l'époque 2014, dont le solveur en Forth tournait à
80–90 millions de nœuds par seconde
(msg 9265), il a détenu le record
le plus strict des annales pendant plus de trois ans : 460/480 avec les cinq
pièces indices à leurs positions officielles, à partir de 2023
(msg 11074) jusqu'au 464 de
Benjamin Riotte en juillet 2026.
Détenteur du record strict des cinq indices. En juillet 2026, il a fait passer
le meilleur plateau respectant les cinq placements d'indices du 460 de longue
date de Gauthier à 464/480 (16 arêtes brisées), avec son propre DFS
Blackwood modifié
(groups.io). Igor Pejic a atteint
la même plage 463–464 indépendamment dans le même fil. Ce fut le premier
mouvement sur la ligne strictement canonique en plus de trois ans.
Le point de contact du monde SAT. Dans le fil SAT au long cours, un
collaborateur de Marijn Heule a rapporté que l'équipe de Heule avait
réimplémenté et amélioré l'encodage à l'origine des résultats de benchmark SAT
de 2008 (msg 10969), l'état de
l'art du flanc des méthodes exactes, qui débattait encore d'encodages CNF de
4 Go le tout dernier jour des archives
(msg 11822).
Maintient ce wiki et mène les expériences cataloguées dans
le labo ; ses comptes rendus se rassemblent sur sa
page de contributeur, un chercheur parmi les
autres.
A mené une campagne de solveur dense de deux semaines en 2026, consignée pour
l'essentiel comme des réfutations de méthodes qui ne percent pas le puzzle. Deux
de ses résultats affinent le plafond : un test de gel par réplique, et un test
de résidu SAT en halo montrant que les plateaux records sont des optima locaux
stricts. Nous avons reproduit le second sur les plateaux publics, et il atterrit
sur le mur de rigidité aux côtés des preuves de
programmation en nombres entiers
(reproduction).
A fondé le serveur Discord de la communauté en novembre 2021 et l'a maintenu en
vie durant les années creuses (rapporté sur le Discord de la communauté,
novembre 2021 ; pas de lien de message public). Solveur dévoué à part entière
(meilleur score auto-déclaré autour de 466–467), il est aussi la raison pour
laquelle le wiki a un temps colporté par erreur un « 470 de 2025 » : un relais
de record pris pour une revendication de record, corrigé ici à partir des
archives Discord elles-mêmes.
Le chasseur méthodique de l'ère Discord : un meilleur score auto-déclaré de 469,
la sous-culture des séries linéaires (partiels consécutifs de 229 et 230 pièces),
et l'homme qui a tranché la question de l'origine des placements d'indices :
« They directly come from Tomy's Hint Puzzles » (rapporté sur le Discord de la
communauté, décembre 2024 ; pas de lien de message public). Sur la liste de
diffusion, il confirme conserver des figures de solutions marquant au-dessus de
467/480 (msg 11549). Ses
suggestions ont aussi façonné la feuille de route du terrain de jeu de ce site.
Aucune galerie de cette taille n'est complète. Parmi les nombreuses personnes
qui y ont leur place : Alan O'Donnell, qui avait le premier solveur fonctionnel
quelques semaines après l'annonce
(msg 64) ; Max, le partenaire
d'entraînement de Verhaard dans la course au 467, dont le meilleur score fut 465
(msg 6348) ; istarinz, qui a
franchi les 558 millions de placements par seconde en 2008 et est devenu
l'autorité du groupe en matière de vérification par recherche exhaustive
(msg 6212) ; antminder, dont
l'hybride affectation-réparation atteignait en moyenne un 462 par jour en 2008
(msg 5589) ; Pierre Schaus, dont
l'article de programmation par contraintes a fourni cet opérateur de réparation
(msg 5601) ; capiman26061973,
fondateur de l'échelle des cinq indices
(msg 11037) et du programme de
minage des combinaisons invalides
(msg 7768) ; David Barr, auteur de
solveurs GPU et navigateur open source pendant une décennie
(msg 9367,
msg 11121) ; Henk van der
Griendt, qui a déniché l'annonce du prix que tous les autres avaient manquée
(msg 6337) ; et juraj.pivovarov,
la conscience du prototypage rapide de la communauté
(msg 9411).
Cette page sera toujours incomplète, et elle peut être erronée par endroits : un
résultat mal attribué, un nom manquant, une orthographe préférée. Si l'un de ces
points vous concerne, vous ou votre travail, dites-le sur la
liste de diffusion ou via la
page de contribution : les corrections arrivent avec les
mêmes règles de sourçage que tout le reste ici, et le crédit est tout l'objet de
cette page.