Para encontrar un solo hexágono mágico, el empleado del ferrocarril estadounidense Clifford Adams dedicó casi medio siglo: empezó a darle vueltas al problema en 1910 y no encontró la respuesta hasta 1957. El 2 de agosto de 2026, una nueva demostración presentó una conclusión aún más sorprendente: este tipo de figura existe para cualquier orden $n \ge 3$. Si se desea un orden de cualquier tamaño, basta con construirlo directamente siguiendo una fórmula.
El artículo original se publicó en gukov.dev, y la discusión en Hacker News alcanzó 178 puntos, donde los comentarios elogiaban el ingenio de la construcción. Repasemos la historia completa detrás de este descubrimiento.
Empezando por el cuadrado mágico de 3x3
Un cuadrado mágico de 3x3 coloca los números del 1 al 9 de modo que cada fila, columna y las dos diagonales principales sumen 15. Es un clásico de los acertijos matemáticos y la forma más elemental de un cuadrado mágico. En la antigua China se le conocía como el cuadrado Luoshu.
Los cuadrados mágicos tienen una historia de más de 4000 años y los matemáticos los han estudiado a fondo: independientemente del tamaño del cuadrado, existen algoritmos preparados para construirlos directamente. El hexágono mágico es su pariente hexagonal: las casillas cuadradas se cambian por un panal de abejas y los números se disponen en líneas rectas a lo largo de tres direcciones, exigiendo que la suma en cada línea recta sea idéntica. Un hexágono con un lado de $n$ casillas se denomina de orden $n$, con un total de $3n^2 - 3n + 1$ casillas. El orden 3 tiene 19 casillas, albergando exactamente los números del 1 al 19.
A diferencia de los cuadrados mágicos, las líneas rectas de un hexágono no tienen la misma longitud: aunque a todas se las llame “líneas”, algunas recorren 3 casillas y otras 5 casillas, pero sus sumas deben ser iguales. Solo este detalle lo hace enormemente más difícil que el cuadrado mágico de 3x3.
La versión estándar: Solo existen dos miembros
La versión estándar exige que los números sean consecutivos empezando desde el 1. Esta versión es extremadamente restrictiva: en la versión estándar, solo existen dos hexágonos mágicos: el de orden 1 y el de orden 3. El de orden 1 es una sola casilla con un 1; el de orden 3 alberga del 1 al 19 en 15 líneas rectas repartidas en tres direcciones, con una suma de 38 en cada línea. Salvo por rotaciones y reflexiones, no existe ninguna otra disposición posible.
Figura: El clásico hexágono mágico de orden 3, relleno con los números del 1 al 19, donde cada línea suma 38. Fuente: Wikipedia
Que “solo existan dos” es algo matemáticamente demostrado, y la demostración es muy breve. Al sumar los números de las casillas, la suma de cada línea debe ser un número entero. Al desarrollar la ecuación de divisibilidad, únicamente $n=1$ y $n=3$ satisfacen la condición entera. El orden 2 ni siquiera existe: la suma de fila calculada para el orden 2 es 28/3, una fracción, quedando descartado de inmediato.
La solución de orden 3 fue redescubierta varias veces a lo largo de la historia. La versión más famosa cuenta que el empleado ferroviario Clifford Adams estuvo trabajando en él desde 1910 hasta 1957, hasta que Martin Gardner lo publicó en su columna de juegos matemáticos en 1963. Un enigma, un hombre, media vida.
Una puerta trasera: Empezar desde otros números
La historia debería haber terminado aquí. El juicio mayoritario era que la vía hexagonal estaba agotada y que el hexágono mágico era una rareza aislada. Pero la demostración de que “solo existen dos” rige únicamente para la versión donde los números empiezan en 1. ¿Qué ocurre si desplazamos el punto de partida? ¿Por ejemplo, organizando números de -9 a 9?
Con solo relajar levemente la restricción, apareció un nuevo mundo. Estos “hexágonos mágicos anormales” de orden 3, 4, 5, 6… fueron encontrándose progresivamente, pero a un coste enorme: sin fórmulas ni algoritmos preexistentes, hubo que buscar a la fuerza bruta en espacios de permutación astronómicamente grandes, hallando soluciones solo cada pocos años. Cada nuevo récord llegaba a las noticias porque nadie podía garantizar si el siguiente orden tendría solución. El mayor encontrado hasta la fecha alcanzó el orden 10, hallado en 2024 por Klaus Meffert con ayuda de IA. Nadie sabía cuánta trayectoria le quedaba a este camino, y la mayoría creía que no llegaría lejos.
La nueva demostración: No es encontrar, es construir
El 2 de agosto de 2026, gukov.dev publicó un resultado revolucionario: existen hexágonos mágicos para cualquier orden $n \ge 3$. Conviene prestar atención a la redacción: no se trata de “haber encontrado algunos más”, sino de que “existen todos”, abarcando infinitos órdenes de una sola vez.
La estrategia del autor constó de dos ingeniosos pasos. El primero fue añadir simetría: situar el 0 en el centro, haciendo que las casillas opuestas sean simétricas en signo (opuestos aditivos). De este modo, las líneas que pasan por el centro suman automáticamente 0, y las restricciones de las demás líneas se reducen a la mitad. El segundo fue cambiar la perspectiva: ver el hexágono como un mapa topográfico de “campo de potencial”—en esta representación, la condición de que la suma de todas las líneas sea 0 se cumple automáticamente sin necesidad de encajar piezas a mano.
Figura: Hexágono mágico de orden 50 generado directamente con la nueva construcción, con 7351 casillas y sumas de línea idénticas. Fuente: gukov.dev
Figura: Vista del campo de potencial del mismo hexágono de orden 50, similar a un mapa topográfico. Una vez satisfechas automáticamente las restricciones, solo queda rellenar los números. Fuente: gukov.dev
El espacio de búsqueda se redujo drásticamente. El autor hizo que una IA escribiera un ejecutable de resolución específico que, tras ejecutarse durante varios días en un servidor doméstico de 24 núcleos, encontró todas las soluciones de orden 3 a orden 10. Pero esto era solo el preludio: por muchos que se encuentren, siguen siendo finitos. El verdadero avance residió en la demostración constructiva: primero demostrar que ciertos órdenes podían construirse mediante fórmulas y luego generalizar paso a paso hasta abarcar todos los órdenes. El proceso no fue inmediato: en un momento dado se estancó y el autor optó temporalmente por demostrar que “existían infinitos”, antes de eliminar finalmente todas las restricciones. La herramienta central de la construcción se denomina secuencia de Langford: una estructura combinatoria que organiza parejas de números en secuencia. El proceso de demostración contó con la ayuda de asistentes de demostración de teoremas por IA, e incluso los registros de conversación se han publicado abiertamente en la red.
¿Por qué se rindió la comunidad ante este logro? Porque una demostración constructiva no se limita a decir “existe”. Ofrece un algoritmo: siguiendo los pasos, se puede generar un hexágono mágico de cualquier orden. El autor generó de paso ejemplos de orden 50 y 500 para mostrarlos, teniendo el de orden 500 más de 740 000 casillas. Aunque los valores numéricos parecen caóticos a simple vista, al pasarlos a la vista de campo de potencial aparece un relieve continuo con laderas, crestas y valles, demasiado suave como para ser fruto de una búsqueda aleatoria.
Por qué la «existencia» requiere una demostración
Una persona corriente podría preguntar: ¿no basta con encontrar uno?, ¿para qué sirve demostrarlo? Porque las búsquedas jamás aportan certeza absoluta. Si buscas hasta orden 10, queda el orden 100; si buscas hasta orden 100, queda el orden 10 000. La verificación siempre es finita, mientras que la demostración abarca lo infinito. Unas pocas líneas de fórmula recorren la infinitud: ese es el peso de una demostración de existencia. También tiene una utilidad práctica: infunde confianza a quienes vienen detrás para seguir buscando soluciones aún más elegantes.
También hay que dejar claros los límites de esta demostración: aún no ha sido verificada formalmente mediante métodos computacionales estrictos ni ha pasado por una revisión por pares independiente, tal como el propio autor señala en el artículo. El orden 2 sigue sin existir; el autor confirmó en los debates que el orden 2 fuerza matemáticamente la aparición de números repetidos. Las reglas de las matemáticas no han cambiado: los nuevos resultados deben esperar la revisión académica.
Los límites están más lejos de lo que pensamos
Lo más fascinante de esta historia es que la antigua demostración no estaba equivocada: ciertamente bloqueaba todos los órdenes superiores para el caso de “empezar en 1”. En matemáticas, las conclusiones de tipo “hasta aquí hemos llegado” a menudo solo son válidas bajo un conjunto concreto de reglas. Mientras la antigua demostración cerraba la puerta principal, la nueva entró por la puerta trasera: al mover el punto de inicio solo una casilla, infinitas soluciones aguardaban al otro lado.
Lo que a un empleado de ferrocarril le llevó media vida encontrar, hoy se puede generar en la cantidad que se desee mediante una página de fórmulas. Al escribir estas líneas, pienso en cómo los límites de las matemáticas rara vez son los límites del universo: a menudo son solo los límites que el ser humano se ha trazado a sí mismo. La próxima vez que vea un cuadrado mágico de 3x3, recuerde a su pariente hexagonal: en lo profundo del panal, hay una escalera cuyas luces están encendidas en cada uno de sus escalones.
Enlaces de referencia:
- gukov.dev: There Are Magic Hexagons of Every Order
- Discusión en HN (item?id=49229174)
- Wikipedia: Magic hexagon
- Wikipedia: Cuadrado mágico
