¿Qué es una conjetura matemática?
Una conjetura matemática es una afirmación que creemos que es verdadera porque tenemos razones o evidencias para creerlo, pero que todavía no hemos conseguido demostrar mediante una prueba matemática rigurosa.
La clave está en distinguir tres cosas:
- Observación: vemos que algo sucede en varios ejemplos.
- Conjetura: sospechamos que sucede siempre, o bajo determinadas condiciones.
- Teorema: hemos demostrado rigurosamente que la afirmación es verdadera.
Un ejemplo con números primos
Mira estas parejas de primos:
| Pareja de primos | Diferencia |
|---|---|
| 3, 5 | 5 − 3 = 2 |
| 5, 7 | 7 − 5 = 2 |
| 11, 13 | 13 − 11 = 2 |
| 17, 19 | 19 − 17 = 2 |
| 29, 31 | 31 − 29 = 2 |
| 41, 43 | 43 − 41 = 2 |
Estas son parejas de primos gemelos: ambos números son primos y su diferencia es 2. Al observar muchas parejas como estas, podemos plantear una pregunta:
Esta afirmación se conoce como la conjetura de los primos gemelos. Se han encontrado muchísimas parejas, incluso con números enormes, pero eso no demuestra que existan infinitas.
¿Por qué? Porque, por muchos ejemplos que encontremos, siempre podrían existir solamente una cantidad finita de parejas. Para descartar esa posibilidad necesitamos una demostración matemática. La conjetura de los primos gemelos sigue sin demostrarse.
¿Cómo se investiga una conjetura?
- Observar: buscar patrones en ejemplos y calcular datos.
- Formular una conjetura: expresar con precisión qué creemos que ocurre.
- Intentar refutarla: buscar un contraejemplo que la haga falsa.
- Demostrarla: construir un argumento lógico válido para todos los casos que afirma.
La programación y la inteligencia artificial pueden ayudar mucho en los tres primeros pasos: explorar números, encontrar patrones, automatizar cálculos y buscar contraejemplos. Pero una tabla de resultados o un programa que funciona con millones de números no constituye, por sí solo, una demostración de que algo sucede para infinitos números.
¿Cuáles de los siete problemas del milenio son conjeturas?
El Clay Mathematics Institute anunció los siete problemas en el año 2000, con un premio de un millón de dólares por cada solución aceptada. Hay una distinción importante: algunos se llaman formalmente «conjeturas», mientras que otros son problemas que exigen demostrar una afirmación o establecer si es verdadera o falsa.
| Problema | ¿Es una conjetura? | ¿Qué busca establecer? |
|---|---|---|
| Hipótesis de Riemann | Sí, una hipótesis matemática. | Una propiedad de los ceros de la función zeta, relacionada con la distribución de los números primos. |
| Birch y Swinnerton-Dyer | Sí, explícitamente. | Una relación entre las soluciones racionales de ciertas curvas elípticas y una función asociada. |
| Conjetura de Hodge | Sí, explícitamente. | Una relación profunda entre geometría algebraica y topología. |
| P versus NP | No se suele denominar conjetura; es un problema abierto. | Si todo problema cuya solución se verifica eficientemente también puede resolverse eficientemente. |
| Navier–Stokes | No por su nombre; es un problema de existencia y regularidad. | Si ciertas soluciones de las ecuaciones de fluidos existen y permanecen suficientemente regulares. |
| Yang–Mills y brecha de masa | No por su nombre; es un problema de existencia y demostración. | Construir rigurosamente la teoría correspondiente y demostrar que existe una brecha de masa. |
| Conjetura de Poincaré | Sí, originalmente; ya está demostrada. | Una propiedad fundamental de las variedades tridimensionales. |
Las descripciones corresponden a la lista oficial del instituto.
¿Cuáles siguen sin resolverse?
La conjetura de Poincaré sí está resuelta; las otras cinco cuestiones de la tabla siguen abiertas. Hay una salvedad con Navier–Stokes: en 2026 se anunció una posible solución, pero su evaluación sigue pendiente y conviene comprobar su estado en el listado oficial del Clay Mathematics Institute, que es la fuente que decide si está resuelto.
¿Por dónde empezar si te interesan los patrones de los primos?
Si tu interés es descubrir patrones en los números primos, una buena opción es comenzar con la hipótesis de Riemann, sin intentar demostrarla desde el primer día. Conecta directamente con ese interés: describe cómo se distribuyen los números primos y cuánto se desvía esa distribución de su comportamiento promedio.
Un primer mapa de investigación
No necesitas comenzar con análisis complejo ni con toda la teoría de números. Primero conviene dominar divisibilidad, demostraciones elementales, congruencias y funciones que cuentan primos. Después podrás entender por qué aparece la función zeta.
Una precisión: la conjetura de los primos gemelos no es uno de los siete problemas del milenio, aunque es un problema abierto importante y está muy relacionado con el Prime Pattern Lab.