Si el número es par se divide entre dos; si es impar se calcula 3n+1
La conjetura de Collatz afirma que al repetir dos reglas desde cualquier entero positivo se termina llegando a 1: si n es par, se sustituye por n/2; si es impar, por 3n+1. Desde 6 aparece 6→3→10→5→16→8→4→2→1. Al continuar se entra en el ciclo 4-2-1. La afirmación parece elemental porque cualquiera puede calcular ejemplos, pero abarca infinitos puntos de partida. Nadie ha probado todavía que el comportamiento observado alcance a todos los enteros positivos, pese a décadas de trabajo.
La lista producida es la órbita del número dentro de un sistema dinámico discreto. El tiempo de parada mide cuándo cae por primera vez por debajo del valor inicial; el tiempo total, cuándo alcanza 1. Algunos comienzos suben mucho antes de bajar: 27 necesita numerosos pasos y supera ampliamente su valor inicial. Ese comportamiento irregular impide suponer que cada dos operaciones siempre se reduce.
Resolverla exige excluir tanto la divergencia como cualquier ciclo distinto de 4-2-1
Una prueba completa debe mostrar que ninguna órbita positiva crece sin límite y que no existe otro ciclo. Ver que una secuencia baja una vez no basta, porque después puede volver a subir. Tampoco basta un argumento promedio: aunque los pasos pares dividen, los impares multiplican antes de producir un número par. Un conjunto excepcional muy raro podría escapar de cualquier intuición probabilística y romper la afirmación universal.
Puede comprimirse la regla aplicando 3n+1 a un impar y dividiendo después por todas las potencias de dos posibles. Heurísticamente, la cantidad de factores dos se comporta a menudo como azar y sugiere una deriva descendente. Pero los pasos de una órbita no son monedas independientes: la aritmética conserva correlaciones. Transformar una observación estadística convincente en una demostración para cada entero es precisamente la barrera.
La verificación computacional descarta contraejemplos en un rango, no en los infinitos enteros
Programas eficientes han comprobado cantidades enormes de valores. Aprovechan que si una órbita entra en una región ya verificada no hace falta seguirla y usan congruencias para agrupar casos. Estos cálculos son matemáticas valiosas: detectan errores, fijan cotas y muestran qué patrones debe respetar un posible contraejemplo. Sin embargo, después de cualquier límite finito siempre quedan infinitos números sin revisar.
Decir «se ha probado hasta X» también exige conocer algoritmo, aritmética exacta y validación independiente. Un desbordamiento de enteros podría producir un resultado falso. La computación no es inferior a una prueba; responde otra pregunta. Confirma que no hay excepción en un dominio explícito, mientras la conjetura de teoría de números pregunta por todos los enteros positivos.
Saber que casi todas las órbitas bajan mucho no demuestra que todas lleguen a uno
En 2019 Terence Tao demostró, usando densidad logarítmica, que para casi todos los enteros la órbita alcanza valores «casi acotados» en un sentido técnico: termina bajando por debajo de cualquier función que crezca hacia infinito, salvo un conjunto excepcional muy pequeño en esa medida. Es un avance profundo, pero no afirma que casi todos lleguen a 1 y mucho menos resuelve cada caso.
Otros trabajos imponen límites a posibles ciclos o estudian versiones generalizadas. Cada resultado controla una parte del comportamiento sin cerrar las dos vías de escape. La expresión «casi todos» en matemáticas permite excepciones, y una sola bastaría para refutar Collatz. Confundir densidad con universalidad es parecido a concluir que una propiedad cierta en muchísimos primos vale para todos.
La regla mezcla crecimiento multiplicativo con divisiones dependientes de la representación binaria
El paso impar usa multiplicación por tres y suma uno; los pasos pares leen cuántos ceros finales tiene el resultado en binario. Esa mezcla une estructuras incompatibles de una manera que parece pseudoaleatoria. Inducción simple falla porque 3n+1 es mayor que n y obliga a controlar valores futuros. Buscar una cantidad que disminuya siempre tampoco ha producido una función útil para todas las órbitas.
La fama de Collatz no procede de que sea «el problema más importante», sino del contraste entre entrada y frontera: se explica en segundos y resiste técnicas avanzadas. Compararla con Goldbach muestra que una frase corta puede ocultar dificultades distintas. Su lección más rigurosa es incómoda y fértil: millones de ejemplos y una intuición estadística excelente pueden convivir con la ausencia de una prueba universal.
Pequeñas modificaciones de la regla pueden producir ciclos distintos o crecimiento sin límite
Mapas del tipo an+b muestran que la apariencia de Collatz no garantiza convergencia. Algunas elecciones generan órbitas divergentes o problemas capaces de codificar cálculos muy complejos. Esta sensibilidad dificulta extraer una prueba únicamente de que «dividir suele ganar». La suma uno, el factor tres y la paridad concreta interactúan de un modo especial que debe aprovecharse aritméticamente.
También se estudian extensiones a enteros negativos, donde aparecen ciclos adicionales. Eso no contradice la conjetura positiva, cuyo dominio forma parte del enunciado. Cambiar una regla o permitir otros números crea otro sistema. Delimitar con precisión qué mapa y qué conjunto se investigan evita titulares que anuncian una solución a partir de un resultado sobre una variante cercana. Una demostración válida debe regresar siempre a las dos reglas originales y cubrir sin excepciones el dominio anunciado, no solo una familia densa o una versión probabilística del comportamiento medio.
