Entendiendo conjeturas: cómo se piensa un problema sin resolver

Una conjetura es una afirmación que parece verdadera —porque toda la evidencia que tenemos la apoya— pero que nadie ha logrado demostrar ni refutar. No es una ley, no es un teorema: es una apuesta educada sobre un patrón. Entender cómo se piensan estas apuestas cambia la forma en que uno mira cualquier patrón, incluidos los que aparecen en los datos.

De la observación a la conjetura

El punto de partida casi siempre es el mismo: alguien mira muchos casos particulares y nota que algo se repite. La conjetura aparece cuando uno se atreve a decir "esto pasa siempre", no solo "esto pasó en los casos que probé".

Ese salto es exactamente el que hacemos —con menos rigor— cada vez que generalizamos a partir de una muestra. La diferencia es que en matemáticas el estándar de prueba es absoluto: un solo contraejemplo derriba la conjetura entera.

Un ejemplo concreto: la conjetura de Collatz

Toma cualquier entero positivo $n$ y aplica esta regla:

La conjetura de Collatz afirma que, sin importar con qué $n$ empieces, si repites la regla suficientes veces siempre llegas a $1$.

def collatz(n):
    pasos = []
    while n != 1:
        pasos.append(n)
        n = n // 2 if n % 2 == 0 else 3 * n + 1
    pasos.append(1)
    return pasos

collatz(27)  # 111 pasos hasta llegar a 1

Se ha verificado por computadora para todos los $n$ hasta más de $2^{68}$. Y sin embargo, nadie sabe si es verdadera. Esa brecha entre "verificado en miles de millones de casos" y "demostrado para todos" es el corazón de lo que hace difícil (y fascinante) una conjetura.

Los cuatro estados de una conjetura

Toda afirmación de este tipo vive en uno de cuatro estados:

• Abierta — nadie la ha probado ni refutado (Collatz, Goldbach, Riemann).
• Demostrada — pasó a ser teorema (el Último Teorema de Fermat, tras 358 años).
• Refutada — apareció un contraejemplo que la tumbó.
• Indecidible — se prueba que no puede demostrarse ni refutarse dentro del sistema.

Por qué le importa a quien trabaja con datos

Modelar es, en el fondo, conjeturar: proponemos que una relación se sostiene más allá de los datos que vimos. La disciplina de las conjeturas matemáticas enseña tres hábitos que se transfieren directo:

1. La evidencia no es prueba. Que un patrón aguante millones de casos no garantiza el siguiente. Es la misma trampa del sobreajuste.
2. Un contraejemplo vale más que mil confirmaciones. Buscar activamente dónde falla tu hipótesis es más informativo que acumular casos que la confirman.
3. Formular bien el problema es medio camino. Una conjetura precisa se puede atacar; una vaga, no.

Para seguir

En próximas entradas de esta sección quiero recorrer conjeturas específicas —Goldbach, la hipótesis de Riemann— no para demostrarlas, sino para mostrar cómo se piensa alrededor de un problema que aún no tiene respuesta.