Los problemas del milenio explicados de forma sencilla: siete preguntas que cambiaron las matemáticas

En el año 2000, una fundación privada de Massachusetts, el Clay Mathematics Institute, puso sobre la mesa un millón de dólares por la solución de cada una de siete preguntas matemáticas. No eran preguntas fáciles: eran de las que los mejores matemáticos vivos ya habían intentado sin éxito, algunas durante más de un siglo. Veintiséis años después, seis siguen abiertas, una se ha resuelto y otra más se encuentra, a fecha de 2 de octubre de 2026, en un punto intermedio realmente interesante. Esto es lo que plantea de verdad cada una de las siete, en lenguaje sencillo, y en qué punto exacto está cada una hoy.

1. La hipótesis de Riemann

La pregunta, en una frase: ¿hay un patrón oculto y exacto detrás de cómo los números primos (2, 3, 5, 7, 11, 13…) se van haciendo más escasos a medida que los números crecen?

Vistos uno a uno, los primos parecen dispersos e impredecibles, pero existe un objeto matemático especial, la función zeta de Riemann, cuyo comportamiento está directamente ligado a cómo se distribuyen los primos. La hipótesis de Riemann predice que todos los «ceros no triviales» de esta función (puntos concretos en los que vale cero) están sobre una única recta bien precisa. Si es cierta, determinaría con exactitud lo uniformemente repartidos que están los primos, con mucha más precisión que cualquier cosa demostrada hoy.

Dónde se rompe la analogía: es tentador imaginarla como «encontrar un patrón en los propios números primos», pero la hipótesis es en realidad una afirmación sobre otra función, construida, que codifica información sobre los primos; no es una regla directa del tipo «uno de cada dos primos es…».

Por qué importa: grandes áreas de la teoría de números ya dan por cierta la hipótesis de Riemann y construyen sobre ella; una demostración convertiría al instante cientos de resultados existentes de «cierto si RH es cierta» a simplemente «cierto».

Situación: abierta. Se han comprobado por ordenador más de 10 billones de estos ceros, y todos sin excepción están exactamente sobre la recta prevista. Nunca se ha encontrado una excepción, pero tampoco una demostración de que no pueda existir ninguna.

2. P frente a NP

La pregunta, en una frase: si la solución de un problema es rápida de comprobar una vez que la tienes, ¿es también siempre rápida de encontrar?

Piensa en un sudoku gigante, o en encontrar la mejor ruta de reparto posible por 500 ciudades. Comprobar un sudoku terminado, o comprobar si una ruta dada queda por debajo de cierta longitud, apenas lleva tiempo. Resolverlo de verdad desde cero parece llevar muchísimo más a medida que el problema crece: el número de posibilidades se dispara. P frente a NP pregunta si esa brecha entre comprobar y resolver es un hecho fundamental e inevitable de las matemáticas o solo refleja que nadie ha encontrado todavía un método lo bastante ingenioso.

Por qué importa: casi todas las contraseñas, todas las webs seguras y todos los datos cifrados dependen de que ciertos problemas sean fáciles de comprobar pero difíciles de resolver. Si se demostrara que P = NP, y existiera un método realmente rápido, gran parte de la criptografía moderna tendría que reconstruirse desde cero.

Situación: abierta. La inmensa mayoría de los informáticos cree que P ≠ NP (es decir, que la brecha es real y permanente), pero nadie lo ha demostrado en un sentido ni en otro.

3. El problema de existencia y regularidad de Navier-Stokes

La pregunta, en una frase: ¿las ecuaciones que describen cómo se mueven los fluidos (agua, aire, cualquier cosa que fluya) se comportan siempre bien, para siempre, o puede un flujo inicial perfectamente suave «explotar» de repente hacia una velocidad infinita o una turbulencia en un tiempo finito?

Las ecuaciones de Navier-Stokes son las matemáticas que hay detrás de los modelos meteorológicos, el diseño de aviones y las corrientes oceánicas; físicos e ingenieros las usan constantemente, con un enorme éxito práctico. Lo que nunca se ha demostrado es si las propias ecuaciones son matemáticamente fiables en todos los casos. Partiendo de condiciones iniciales suaves y razonables, ¿siguen dando siempre respuestas suaves y con sentido para siempre? ¿O pueden fallar las propias matemáticas (una «singularidad») aunque físicamente no esté ocurriendo nada disparatado?

Situación, a 2 de octubre de 2026: realmente intermedia. En septiembre de 2026 se anunció un resultado sobre este problema (que varios medios vincularon a un trabajo de investigación de OpenAI) que propone un caso en el que un flujo inicial suave sí explota en un tiempo finito. El Clay Mathematics Institute respondió el 11 de septiembre de 2026 que el problema «aparentemente ha quedado resuelto» («apparently been settled»), aunque dejó claro que su proceso de evaluación es «deliberadamente pausado» («deliberately unhurried»). Eso no es lo mismo que una concesión oficial del premio: consulta el recuadro siguiente.

4. El problema de existencia de Yang-Mills y del salto de masa

La pregunta, en una frase: ¿pueden las matemáticas que sustentan el Modelo Estándar de la física de partículas asentarse sobre una base totalmente rigurosa y, si es así, predicen correctamente que la partícula más ligera que permiten tiene una masa estrictamente positiva (un «salto de masa»), tal como observan los experimentos?

Ampliación de máster

Los físicos ya usan constantemente la teoría de Yang-Mills, y encaja con los experimentos con una precisión extraordinaria. Faltan dos cosas. Primero, una construcción matemática totalmente rigurosa de la propia teoría (el tipo de base sin fisuras que exigen los matemáticos, más que los físicos). Segundo, una demostración de que la teoría obliga realmente a que exista ese salto de masa, en lugar de que simplemente se observe en la práctica.

Por qué importa: está justo en la unión entre la física y las matemáticas puras; una solución sería una de las confirmaciones más profundas de que la estructura matemática de la física moderna es lógicamente sólida, y no solo un éxito empírico.

Situación: abierto. Muchos matemáticos lo consideran uno de los más difíciles y exigentes técnicamente de los siete.

5. La conjetura de Hodge

La pregunta, en una frase: en cierta familia de formas bien comportadas construidas a partir de ecuaciones polinómicas, ¿proceden realmente todas sus estructuras internas «naturales» de piezas algebraicas más sencillas, como se espera?

Ampliación de máster

Pertenece a la geometría algebraica, el estudio de las formas definidas por ecuaciones polinómicas (la misma familia de objetos que las curvas elípticas, más abajo). Algunas formas tienen rasgos internos que pueden describirse con la topología (el estudio de la forma en un sentido muy flexible, en el que se puede estirar y doblar). La conjetura de Hodge predice que, para una clase concreta y bien comportada de estas formas, cada uno de esos rasgos topológicos puede construirse también directamente a partir de piezas algebraicas (subformas que son a su vez soluciones de ecuaciones polinómicas). Es una pregunta sobre si dos maneras distintas de mirar la misma forma, la topológica y la algebraica, coinciden siempre.

Situación: abierta, y considerada en general una de las más difíciles incluso de enunciar con precisión para el público general; demostrada en muchos casos particulares, pero no como regla general.

6. La conjetura de Birch y Swinnerton-Dyer

La pregunta, en una frase: para un tipo particular de curva (una «curva elíptica»), ¿se puede predecir cuántas soluciones enteras o fraccionarias tiene solo observando el comportamiento de una función relacionada?

Las curvas elípticas son ecuaciones de la forma y² = x³ + ax + b, de aspecto engañosamente sencillo, y centrales en la criptografía moderna (incluido el cifrado que protege la mayoría de las aplicaciones bancarias) y en la famosa demostración del último teorema de Fermat de Andrew Wiles. Algunas curvas elípticas tienen infinitas soluciones racionales; otras, solo un número finito. La conjetura dice que se puede saber de qué tipo es una curva, e incluso estimar lo «rica» que es en soluciones, únicamente a partir del comportamiento, cerca de un punto concreto, de otra función construida a partir de esa curva (su función L).

Por qué importa: convertiría una pregunta que hoy se trata caso por caso y que a menudo es difícil de calcular («¿cuántas soluciones tiene esta curva?») en algo que podría responderse con una regla clara y demostrable.

Situación: abierta, aunque verificada por ordenador para un número muy grande de curvas elípticas concretas: cada curva comprobada hasta ahora se comporta exactamente como predice la conjetura.

7. La conjetura de Poincaré, la que está resuelta

La pregunta, en una frase: si una forma tridimensional no tiene agujeros (en un sentido topológico preciso) y por lo demás se comporta bien, ¿tiene que ser en realidad una esfera (de dimensión superior), quizá estirada o deformada?

En dos dimensiones es casi evidente: cualquier lazo que dibujes sobre la superficie de una esfera puede encogerse hasta un punto sin salir de ella, pero un lazo dibujado alrededor del agujero de un dónut nunca puede encogerse hasta un punto sin abandonar su superficie; por eso una esfera y un dónut son formas realmente distintas. La conjetura de Poincaré preguntaba si la misma regla, «sin agujeros significa que en el fondo es una esfera», se cumple una dimensión más arriba, para formas tridimensionales que viven en un espacio de cuatro dimensiones: mucho más difícil de imaginar y mucho más difícil de demostrar.

Situación: resuelta. Grigori Perelman la demostró en 2002–2003 con una técnica llamada flujo de Ricci (desarrollada por Richard Hamilton), que va «suavizando» poco a poco la geometría de una forma, paso a paso, hasta que su verdadera estructura queda clara.

Tabla resumen

Pruébalo tú mismo: indicios frente a demostración

Varios de estos problemas (los ceros de Riemann, las preguntas del estilo de Goldbach, la conjetura de Collatz) comparten la misma trampa: indicios numéricos abrumadores que parecen una demostración, pero no lo son. Desliza el control de abajo para ver por qué.

Para seguir explorando

Este artículo trata los siete problemas oficiales del milenio. Las matemáticas tienen muchas otras preguntas abiertas famosas fuera de esa lista (la conjetura de los primos gemelos, la conjetura de Collatz, la conjetura abc y otras), cada una con su propia situación, a menudo muy distinta. Nuestro centro de misterios matemáticos sin resolver las recoge todas una junto a otra, con el mismo cuidado por distinguir lo que está realmente demostrado de lo que solo se sospecha. Y si te preguntas si la IA podría resolver alguno de ellos por nosotros, ¿Puede la IA hacer matemáticas de verdad? aborda exactamente esa pregunta.