The sesquicentennial of the prime number $2^{127} - 1$

La Gran Cacería de Números: Una historia de primos, acertijos y tableros de ajedrez

Imagínate que eres un detective intentando encontrar un tipo de número muy especial llamado "primo". Estos son los bloques de construcción de todas las matemáticas, números que solo pueden dividirse exactamente por 1 y por sí mismos. Durante siglos, los matemáticos se han obsesionado con encontrar los primos más grandes y elusivos, no solo porque son difíciles de encontrar, sino porque guardan secretos sobre cómo funcionan los números. Para encontrarlos, normalmente tienes que jugar un juego de "ensayo y error", comprobando si un número puede ser dividido por números más pequeños uno por uno. Pero para números verdaderamente masivos, esto es como intentar contar cada grano de arena en una playa levantándolos uno por uno: ¡tardaría más de lo que el universo ha existido!

Este artículo cuenta la historia de un brillante matemático francés llamado Édouard Lucas quien, allá por 1876, encontró una forma de saltarse el aburrido juego de contar. No solo encontró un enorme número primo; inventó un truco ingenioso, un "truco de magia" matemático que podía demostrar que un número era primo sin tener que comprobar cada divisor individualmente. El artículo celebra el 150.º aniversario de este descubrimiento y explica cómo Lucas utilizó un tablero de ajedrez y un patrón específico de números para resolver un acertijo que parecía imposible. Hoy en día, las computadoras utilizan la misma lógica que Lucas descubrió para encontrar los números primos más grandes del mundo, demostrando que una idea del siglo XIX sigue siendo el motor que impulsa la matemática moderna.

---

El gigante de 39 dígitos y el mago del tablero de ajedrez

El año 2026 marca un gran cumpleaños para un número muy especial: M127, que se escribe como 2¹²⁷ − 1. Si escribes este número, parece una larga cadena de dígitos: 170,141,183,460,469,231,731,687,303,715,884,105,727. Ese es un número de 39 dígitos, y en 1876, Édouard Lucas demostró que era un número primo. Esto fue algo trascendental. Durante 75 años, fue el número primo más grande de todo el mundo. Aún más sorprendente, Lucas hizo esto sin una computadora, sin una calculadora ni ninguna ayuda mecánica. Lo hizo enteramente a mano, y lo hizo de una manera que suena a espectáculo de magia.

Lucas era un hombre de muchos talentos. Inventó el famoso acertijo de la "Torre de Hanoi" e incluso creó el juego de "Dados y Cajas" (Dots and Boxes). Pero su truco más famoso fue cómo demostró que M127 era primo. Normalmente, para demostrar que un número es primo, tienes que comprobar si puede dividirse por números más pequeños. Pero M127 es tan grande que hacer esto tomaría una eternidad. En su lugar, Lucas utilizó una secuencia especial de números que él mismo descubrió, la cual llamó la "secuencia de Lucas" (llamada así por él, por supuesto). Piensa en esta secuencia como una familia de números que crecen en un patrón específico, similar a cómo crecen los famosos números de Fibonacci, pero con un giro.

Lucas se dio cuenta de que si tomabas un número específico de esta secuencia y lo dividías por M127, el resultado debería ser cero si M127 fuera primo. ¿El problema? ¡El número que necesitaba comprobar era tan grande que tenía más de 100 dígitos! Era demasiado grande para escribirlo o calcularlo en papel. Así que Lucas convirtió su sala de estar en un tablero de juego. Utilizó un tablero de ajedrez de 127 × 127 para hacer las matemáticas.

Así es como funcionaba su "juego": Usaba peones de ajedrez para representar el número 1 y casillas vacías para representar el 0. Arreglaba los peones en el tablero para mostrar el número con el que estaba trabajando, codificando el número en binario. Luego, seguía un conjunto de reglas para mover los peones alrededor, efectivamente "elevando al cuadrado" el número y reduciéndolo de tamaño, tal como lo hace una computadora. No escribía nada; simplemente movía los peones. Después de unos 120 rondas de mover peones y elevar al cuadrado los números, comprobaba la fila final. Si los peones se alineaban de la forma correcta (lo que significaba que el resultado era cero), entonces M127 era definitivamente primo. ¡Y lo era! Lo demostró sin haber escrito jamás un solo dígito en un trozo de papel.

El motor moderno: De los tableros de ajedrez a las supercomputadoras

El artículo explica que el método de Lucas no fue solo un truco de una sola vez; se convirtió en la base de cómo encontramos los primos más grandes hoy en día. Este método se conoce ahora como la prueba de Lucas–Lehmer. Mientras que Lucas lo hacía con peones, las computadoras modernas utilizan este mismo test para encontrar primos con decenas de millones de dígitos. El actual poseedor del récord, encontrado en octubre de 2024, es un número con 41,024,320 dígitos decimales. ¡Ese es un número tan largo que a un humano le tomaría años simplemente leerlo en voz alta!

La fórmula secreta detrás de esta prueba es una herramienta matemática especial llamada polinomio de Chebyshev. Puedes pensar en este polinomio como una máquina que toma un número, lo eleva al cuadrado y le resta 2. Si introduces el número 4 en esta máquina y sigues repitiendo el proceso una y otra vez, obtienes una secuencia de números: 4, 14, 194, 37,634, y así sucesivamente. La prueba de Lucas–Lehmer dice que si tomas un número primo p, calculas el número en la posición (p-2) de esta secuencia, y este divide exactamente a 2ᵖ − 1, entonces 2ᵖ − 1 es un número primo.

El artículo recorre las matemáticas para mostrar por qué esto funciona. Involucra un poco de tierra de números "imaginarios" (llamados campos finitos) donde los números dan vueltas como un reloj. El autor muestra que este proceso es como hacer girar una rueda en un círculo especial. Si la rueda gira el número correcto de veces y aterriza exactamente en un punto específico, demuestra que el número es primo. Las matemáticas son rigurosas y han sido revisadas y vueltas a revisar, por lo que sabemos con absoluta certeza que esta prueba es correcta.

Por qué es importante

El artículo concluye recordándonos que, aunque las herramientas han cambiado, las matemáticas no lo han hecho. En 1876, Édouard Lucas movía peones en un tablero de ajedrez para demostrar que un número de 39 dígitos era primo. Hoy en día, las supercomputadoras de la "Gran Búsqueda de Primos de Mersenne en Internet" (GIMPS) ejecutan exactamente el mismo algoritmo para encontrar primos con millones de dígitos. La relación entre elevar al cuadrado los números, el polinomio especial x² − 2, y la forma en que los números se comportan en estos campos finitos es el motor que impulsa tanto el tablero de ajedrez de Lucas como nuestros modernos descubrimientos digitales.

Es un hermoso recordatorio de que una idea ingeniosa del siglo XIX todavía puede potenciar la tecnología más avanzada del siglo XXI. Lucas no solo encontró un número; encontró una forma de ver la estructura oculta de los números, una forma que todavía se está utilizando para expandir los límites de lo que sabemos sobre las matemáticas hoy en día. Y todo esto comenzó con un matemático francés, un tablero de ajedrez y una mente muy curiosa.