Las páginas de historia cuentan la aventura de la
comunidad en orden cronológico; esta página la cuenta por persona. Casi todo lo
que este wiki sabe (cada récord, cada teoría, cada herramienta y cada
callejón sin salida documentado) se remonta a
alguien que lo publicó en la
lista de correo eternity2, casi siempre de
forma gratuita, a menudo durante años. Considera esta galería un índice y un
agradecimiento a la vez. Los nombres aparecen tal como cada cual firmaba sus
mensajes públicos; cada afirmación enlaza a un mensaje.
Muchas de las personas de abajo tienen su propia página de contribuidor: un
nombre en negrita con enlace la abre, reuniendo su perfil, sus mensajes con
fuente y todas las páginas que hayan escrito aquí.
Raphaël Anjou, que mantiene el wiki y dirige
los experimentos del laboratorio, tiene la suya también, un investigador más
entre los demás. Los nombres sin enlace están documentados directamente aquí,
en esta página.
El fundador. Owen creó el grupo eternity_two en octubre de 2000, seis años y
medio antes de que el puzzle existiera
(msg 384), y le dio su tono
científico: en los dos días siguientes al anuncio de enero de 2007 ya había
derivado la fórmula del número esperado de soluciones que convierte la
dificultad en un parámetro de diseño
(msg 38), y el fin de semana del
lanzamiento digitalizó las piezas reales y publicó la primera estimación del
número de soluciones (msg 987).
Sus resultados emblemáticos: la prueba de que un reparto de colores 17+5 es el
16×16 más difícil posible
(msg 1947), el modelo exacto del
árbol de búsqueda que hoy se llama
teoría compleja
(msg 5197,
msg 5209), los
puzzles de referencia 9×9/10×10 en los que la
comunidad todavía compite, y la prueba en forma cerrada de la profundidad de
pico 256 × (1 − 1/e)
(msg 8125). Tras una despedida al
cierre del concurso
(msg 8429), regresó en 2025,
afinando su propio modelo
(msg 11500,
msg 11546).
Un veterano de Eternity I y el primero en provocar las estimaciones del grupo:
en 2001 preguntó, años antes de los hechos, cómo se diseñaría un puzzle dotado
de un premio colosal y con solo un ~1 % de probabilidades de ser resuelto en
diez años (msg 15), y recibió las
afirmaciones de prensa de 2005 con «So we can conclude, the end of the universe
is in several years.» (msg 34).
Durante dos décadas verificó los números de la lista, desde las conversiones a
cobertura exacta de 2007 hasta el registro de hardware de «nodos por vatio» de
la década de 2010.
Autor del solucionador distribuido ESolve para Eternity I, se reincorporó en
2001 (msg 21) y construyó
eternity2.net, el proyecto BOINC que fue el rostro público de la comunidad en
2007 (msg 756). Lo cerró con una
contabilidad completa: 1,6 TFlops, más de 10^19 operaciones, ninguna solución
(msg 3511). Liberó el código de
su solucionador (msg 3716) y dejó
a los archivos su mejor fuente primaria sobre la creación del puzzle: su
conversación telefónica con Monckton, describiendo cómo se generó la solución y
se guardó bajo llave (msg 4177).
Angel de Vicente, que firmaba Txibilis, construyó la suite estándar de tableros
de referencia de tipo E2
(msg 1886) y era el mejor
diseñador manual de órdenes de relleno
de la comunidad. Su duelo con el optimizador automatizado de doc_s_smith hizo
caer los recuentos de nodos de la búsqueda exhaustiva en varios órdenes de
magnitud (msg 2928). La cultura
del benchmark que más tarde validó la teoría compleja comienza con él.
En pleno duelo, la lista descubrió quién era doc_s_smith: Dietmar Wolz, el
descubridor de la mayoría de las soluciones conocidas de Eternity I
(msg 2972). Su optimizador de
estrategia automatizado estableció récords de benchmark en 2007
(msg 2896); de vuelta en 2010,
publicó una caja de herramientas Java que convirtió la lista en un taller de
algoritmos (msg 7755) y dio a la
era del posconcurso su objetivo de trabajo: «beat 468 matching edges»
(msg 7803).
Autor del primer artículo serio sobre el recuento de soluciones, que situaba a
E2 en cerca de 15 millones de soluciones
(msg 3497), y del resultado de
imposibilidad más pulcro de la época: el argumento de paridad que muestra que
ningún tablero puede puntuar exactamente 479 por sus costuras interiores
(msg 1640). Se sostuvo diecisiete
meses, hasta que Verhaard señaló el único resquicio
(msg 6317): dar la vuelta a una
pieza de borde cuyas dos aristas de borde exteriores comparten un color, y el
tablero se lee como un 479 mientras esas aristas de borde no puntuadas quedan
intactas. Es un tecnicismo del borde no puntuado, no una brecha en el cálculo
de paridad interior, que sigue en pie, como el propio Verhaard señaló: 479
«cannot be achieved in another way»
(msg 6319).
Michael Quist era el árbitro matemático de la lista. Publicó el primer marco de
recuento plenamente riguroso para los puzzles de tipo E2
(msg 1221), afinó la teoría del
equilibrio de borde
(msg 2098), y sus revisiones
detectaron los fallos que hicieron sólidos los resultados de los demás. Kubzpa
enmendó su artículo sobre el recuento de soluciones después de que su revisión
detectara una ejecución Monte Carlo defectuosa
(msg 3589).
La única persona a la que el puzzle pagó jamás. Su solucionador eii, hecho
público «because I am stuck»
(msg 5940), encontró el 467 que
ganó el premio de escrutinio de 10 000 $, inscrito bajo el nombre de su esposa,
Anna Karlsson, como él mismo confirmó: «Anna is my wife… it was my program that
did the job» (msg 6349,
msg 6891,
msg 7451). Sus métodos se
volvieron canónicos: los órdenes de relleno en peine (comb-search)
(msg 6112) y el deslizamiento de
aristas controlado por la profundidad
(msg 7321). Fue también el
defensor más acérrimo de la teoría compleja: «the finest work that has ever
been published about E2»
(msg 7810), y su 467 se sostuvo
doce años.
Autor del Eternity II Editor, el editor y la interfaz de solucionador Java
multiplataforma publicados en febrero de 2008
(msg 4544) que se convirtió en la
herramienta de tablero estándar de la comunidad durante años. Todavía ofrecía
ayuda con su código cuando este resurgió en 2012
(msg 9064).
Firmando como Eternity Blogger, Fred construyó E2Lab en una ráfaga de
publicaciones casi diarias en el otoño de 2009
(msg 7148), un editor/solucionador
cuya retirada deliberada de su propio «botón mágico», «to respect the game
rules», dice mucho sobre la ética de la lista
(msg 7150). Su blog alojó las
tablas de la comunidad durante los años del posconcurso.
Un habitual desde 2008 y el teórico del borde de la comunidad. Su «doctrina del
equilibrio» para la generación de puzzles aparece en 2009
(msg 6842,
msg 6844); en 2022 enunció la
condición exacta que este wiki llama el
equilibrio de borde NS-1
(msg 10754,
msg 10757), y la respaldó con un
parcial de 222 piezas con el borde completado, enteramente documentado
(msg 10862).
El pilar de la época, y posiblemente el investigador más determinante del
puzzle después de Owen. Su trabajo tiene su propia página.
Calculó el número canónico de aproximadamente 14 702 soluciones esperadas
(msg 8924), transcribió la teoría
compleja a LaTeX (msg 9188) y más
tarde a código C exacto
(msg 11197), que este sitio
adapta. En 2017 resolvió el 10×10 sin pistas de Owen en unos 180 años-núcleo,
dentro de las barras de error de la teoría, su validación más fuerte hasta la
fecha (msg 9686,
msg 9688), y en 2020 ostentó el
récord él mismo: «New record score of 469! Only 11 breaks!»
(msg 10045).
La academia en persona. Publicó el artículo hiperheurístico de su equipo,
revisado por pares (461/480 en una hora), y se quedó a responder preguntas
(msg 9017,
msg 9023), y su equipo continuó
con los trabajos de MILP y Max-Clique de 2017
(msg 9683).
Un veterano de los solucionadores más rápidos de los primeros años, convertido
en el realista del hardware del grupo: su diseño de backtracker sobre FPGA
proyectaba unos 5 G emplazamientos por segundo y por chip
(msg 9226), y sus análisis de
capacidad de las vías GPU y FPGA le dijeron a la lista qué podía y qué no podía
comprar el silicio (msg 9003).
Llegó en 2009 y redefinió el estándar de velocidad en 2014 con un solucionador
mononúcleo de 114,5 millones de recursiones por segundo, ofrecido como
referencia de comparación
(msg 9233), y regresó en 2018
para las carreras de benchmark.
El flanco GPU. Al llegar en 2017, pasó de los trucos de bits en CPU a un
solucionador de cómputo DirectX 12 que corría en una Xbox One X
(msg 9811) y volvió a verificar
de forma exhaustiva en GPU el conjunto 9×9 número 1 de Owen: las mismas 2
soluciones que el censo de CPU de 2014, en 25,4 horas
(msg 9822).
El verificador de la comunidad y, más tarde, su salvador. En 2009 reprodujo el
467 con el solucionador público de Verhaard, unos 82 días en un solo PC,
registrando con precisión cuánto se enrarece el aire por encima de 466
(msg 6687). Cuando Yahoo anunció
que borraría los archivos en 2019, JSA pagó la tarifa de transferencia a
groups.io, ofreciendo «I can pay for the first 5 years»
(msg 2), y aún redacta los mensajes
de bienvenida del grupo
(msg 11771).
Kronjuvel (Kron) estuvo ahí desde los primerísimos años, reivindicó a
posteriori un parcial de 231 piezas de octubre de 2007
(msg 7563) y, como propietario
del grupo, creó el nuevo hogar en groups.io durante la migración de 2019. El
mensaje de bienvenida de 2026 se abre con un homenaje a él; ha desaparecido de
la lista desde 2023
(msg 11771).
El desconocido que puso fin al congelamiento de doce años. Ignorado por la
lista, anunció un 468 en Reddit en agosto de 2020
(msg 10032), liberó el código de
su solucionador días después
(msg 10037) junto con raros
resultados negativos (SAT, GPU y cachés 2×2 todos medidos y descartados,
msg 10056), y en marzo de 2021
publicó el 470 que aún se mantiene
(msg 10117), hallado con el
código público exacto
(msg 10161). Su algoritmo está
decodificado en este wiki.
La infraestructura de la era moderna. Dio la alarma que desencadenó la
migración de los archivos
(msg 9920), construyó el
visualizador de tableros e2.bucas.name que se
convirtió en el libro de récords de la comunidad
(msg 9955), reescribió el
solucionador de Blackwood en C bajo el nombre de libblackwood, duplicando
grosso modo su velocidad y alimentando la ola de 469 de noviembre de 2020
(msg 10065,
msg 10078,
msg 10067), e igualó el 470 en
2024 (msg 11401), acreditando
siempre a Blackwood. Su estudio de parámetros wrapper_blackwood se republica
en este wiki con su
permiso (msg 11905).
El cirujano de tableros. Produjo un 469 mediante el intercambio de una sola
pieza del tablero récord de McGavin
(msg 10074), una variante 470 de
borde reorganizado (msg 11403),
resoluciones de cuadrante 14×14 en cuatro minutos
(msg 10802) y peldaños altos de
la escalera de las cinco pistas
(msg 11068).
Un veterano de la velocidad de la época de 2014, cuyo solucionador en Forth
corría a 80–90 millones de nodos por segundo
(msg 9265), ostentó el récord más
estricto de los anales durante más de tres años: 460/480 con las cinco piezas
de pista en sus posiciones oficiales, desde 2023
(msg 11074) hasta el 464 de
Benjamin Riotte en julio de 2026.
Poseedor del récord estricto de las cinco pistas. En julio de 2026 llevó el
mejor tablero que respeta los cinco emplazamientos de pistas desde el 460 de
larga data de Gauthier hasta 464/480 (16 aristas rotas), con su propio DFS
Blackwood modificado
(groups.io). Igor Pejic alcanzó
el mismo rango 463–464 de forma independiente en el mismo hilo. Fue el primer
movimiento en la línea estrictamente canónica en más de tres años.
El punto de contacto del mundo SAT. En el hilo SAT de largo recorrido, un
colaborador de Marijn Heule informó de que el equipo de Heule había
reimplementado y mejorado la codificación tras los resultados de benchmark SAT
de 2008 (msg 10969), el estado
del arte del flanco de los métodos exactos, que aún debatía codificaciones CNF
de 4 GB el último día de los archivos
(msg 11822).
Mantiene este wiki y dirige los experimentos catalogados en
el laboratorio; sus informes se reúnen en su
página de contribuidor, un investigador más
entre los demás.
Llevó a cabo una densa campaña de solucionador de dos semanas en 2026,
registrada en su mayor parte como refutaciones de métodos que no descifran el
puzzle. Dos de sus resultados afinan el techo: una prueba de congelación por
réplica y una prueba de residuo SAT en halo que muestra que los tableros récord
son óptimos locales estrictos. Reprodujimos la segunda sobre los tableros
públicos, y aterriza en el muro de rigidez junto
a las pruebas de programación entera
(reproducción).
Fundó el servidor de Discord de la comunidad en noviembre de 2021 y lo mantuvo
con vida durante los años tranquilos (reportado en el Discord de la comunidad,
noviembre de 2021; sin enlace a mensaje público). Solucionador dedicado por
derecho propio (mejor puntuación autodeclarada en torno a 466–467), es también
la razón por la que el wiki en su día arrastró por error un «470 de 2025»: un
relevo de récord malinterpretado como una reivindicación de récord,
corregido aquí a partir del propio archivo de Discord.
El cazador metódico de la era Discord: una mejor puntuación autodeclarada de
469, la subcultura de las series lineales (parciales consecutivos de 229 y 230
piezas) y el hombre que zanjó de dónde vienen los emplazamientos de las pistas:
«They directly come from Tomy's Hint Puzzles» (reportado en el Discord de la
comunidad, diciembre de 2024; sin enlace a mensaje público). En la lista de
correo confirma que conserva figuras de soluciones que puntúan por encima de
467/480 (msg 11549). Sus
sugerencias también moldearon la hoja de ruta del área de juego de este sitio.
Ninguna galería de este tamaño está completa. Entre los muchos que aquí tienen
su lugar: Alan O'Donnell, que tuvo el primer solucionador funcional pocas
semanas después del anuncio
(msg 64); Max, el compañero de
entrenamiento de Verhaard en la carrera hacia el 467, cuyo propio mejor fue 465
(msg 6348); istarinz, que superó
los 558 millones de emplazamientos por segundo en 2008 y se convirtió en la
autoridad del grupo en verificación por búsqueda exhaustiva
(msg 6212); antminder, cuyo
híbrido de asignación-reparación promediaba un 462 al día en 2008
(msg 5589); Pierre Schaus, cuyo
artículo de programación por restricciones aportó ese operador de reparación
(msg 5601); capiman26061973,
fundador de la escalera de las cinco pistas
(msg 11037) y del programa de
minería de combinaciones inválidas
(msg 7768); David Barr, autor de
solucionadores GPU y de navegador de código abierto a lo largo de una década
(msg 9367,
msg 11121); Henk van der
Griendt, que dio con el anuncio del premio que todos los demás habían pasado por
alto (msg 6337); y
juraj.pivovarov, la conciencia del prototipado rápido de la comunidad
(msg 9411).
Esta página siempre estará incompleta, y puede que esté equivocada en algunos
puntos: un resultado mal atribuido, un nombre que falta, una grafía preferida.
Si alguno de ellos te concierne, a ti o a tu trabajo, dilo en la
lista de correo o a través de la
página de contribución: las correcciones llegan con las
mismas reglas de fuentes que todo lo demás aquí, y el crédito es el objeto
mismo de esta página.