Problemas del Milenio: Los desafíos matemáticos del millón de dólares

E

n el año 2000, el Instituto Clay de Matemáticas hizo un anuncio que sacudió al mundo académico: seleccionaron los siete enigmas matemáticos más profundos y difíciles de la historia y le pusieron precio a sus cabezas. La recompensa por resolver cada uno de ellos es de 1 millón de dólares.

Un cuarto de siglo después, seis de estos llamados Problemas del Milenio siguen sin tener solución. Resolver cualquiera de ellos no solo te haría millonario, sino que cambiaría nuestra comprensión del universo, la informática o la física.

Hoy vamos a dar un repaso de cada uno de ellos y explicar en qué consisten.

🔹 P vs. NP

Imagina que estás intentando resolver un rompecabezas de 10.000 piezas que es todo del mismo color azul. Resolverlo desde cero es una auténtica pesadilla que te llevaría meses. Sin embargo, si alguien te entrega el rompecabezas ya terminado, comprobar que todas las piezas encajan perfectamente te toma solo un vistazo de tres segundos.

En matemáticas e informática, P representa los problemas que son fáciles (rápidos) de resolver, mientras que NP representa los problemas donde es muy difícil encontrar una solución, pero es facilísimo comprobar si una solución dada es correcta (como el sudoku o el rompecabezas). En un argot mucho más técnico, a P se le denomina tiempo polinómico mientras que a NP se le denomina tiempo polinómico no determinista.

Si P = NP significaría que cualquier problema que podamos verificar fácilmente también puede ser resuelto fácilmente por un ordenador. Esto revolucionaría las matemáticas, la medicina, la inteligencia artificial y rompería el cifrado criptográfico moderno. Si P ≠ NP (lo que cree la mayoría de los científicos) significará para siempre que hay problemas cuyas soluciones requieren una búsqueda exhaustiva, por lo que será imposible resolverlos de manera eficiente.

¿Son en realidad P y NP la misma cosa? Es decir, ¿existe un «atajo» secreto que aún no hemos descubierto para resolver los problemas súper complejos tan rápido como los comprobamos?

🔹 La Conjetura de Poincaré

Para un un matemático que estudia las formas, una taza de café y un dónut son exactamente el mismo objeto. ¿Por qué? Porque ambos tienen un solo agujero, y si estuvieran hechos de plastilina podrías deformar uno para convertirlo en el otro sin romper la masa.

La Conjetura de Poincaré se preguntaba sobre las esferas, pero en múltiples dimensiones. Imagina que le pones una goma elástica gigante a una manzana; puedes ir deslizando y encogiendo la goma hasta que se convierta en un solo puntito sin que nada se lo impida. Pero si se la pones a un dónut, la goma se quedará atascada en el agujero central.

¿Si un objeto (incluso en dimensiones que no podemos visualizar) permite que un ‘lazo’ se encoja hasta un punto sin atascarse, significa que ese objeto es esencialmente una esfera?

Este problema fue resuelto en 2002 por el ruso Grigori Perelman. Luego sorprendió al mundo rechazando el millón de dólares y alejándose de la vida pública.

🔹 Las Ecuaciones de Navier-Stokes

Si te subes a un avión, si miras el pronóstico del tiempo o si juegas a un videojuego con agua ultra realista, los ordenadores están utilizando las ecuaciones de Navier-Stokes, que buscan describir cómo fluyen los líquidos y los gases.

En esencia, no son más que la famosa Segunda Ley de Newton (F = m * a) adaptada a líquidos y gases. Mientras que un objeto sólido se desplaza como un todo compacto al ser empujado, un fluido se deforma y resbala sobre sí mismo. Estas ecuaciones calculan ese movimiento equilibrando la presión que lo empuja, las fuerzas externas como la gravedad y la viscosidad, que actúa como un freno interno derivado del rozamiento de las propias moléculas.

Calcular el flujo de una corriente suave es sencillo, pero cuando aparece la turbulencia, resolver estas fórmulas se vuelve prácticamente imposible.

Matemáticamente hablando, ¿podemos garantizar que estas ecuaciones siempre tendrán una solución lógica que no se ‘rompa’? Actualmente, no sabemos si en ciertas condiciones extremas las ecuaciones predecirían un absurdo, como que una gota de agua acelere hasta alcanzar una velocidad infinita.

🔹 La Hipótesis de Riemann

Los números primos son los átomos de las matemáticas: no se pueden dividir por otros números. El problema es que parecen aparecer de forma totalmente caótica, sin un patrón predecible.

Para intentar comprender ese caos, Bernhard Riemann inventó una herramienta matemática (llamada la Función Zeta). Al dibujarla en un mapa numérico complejo descubrió que esta función se anulaba o valía cero en ciertos puntos, y al mirar dónde caían esos ceros notó algo asombroso: todos los que iba encontrando se alineaban a lo largo de una misma línea recta vertical a medida que se avanza hacia el infinito.

Si la hipótesis es cierta, significaría que la distribución de los primos no es un caos arbitrario, sino que posee una estructura increíblemente regular.

¿Están todos los ceros infinitos de esta función exactamente en esa misma línea? Si la respuesta es sí, significaría que los números primos no son aleatorios en absoluto, sino que siguen una música y un ritmo exactos que Riemann descubrió.

🔹 Teoría de Yang-Mills

Los átomos están formados por protones y neutrones y estos, a su vez, están formados por partículas más pequeñas llamadas quarks. Sin embargo, la física clásica no sirve para explicar cómo se mantienen unidas estas partículas elementales. Para resolver esto, los físicos Chen Ning Yang y Robert Mills crearon un marco que sirve para describir cómo interactúan las partículas subatómicas mediante campos de fuerza. En otras palabras, el lenguaje matemático sobre el que se construye la física moderna de partículas.

Pero hay un misterio, el llamado salto de masa (Mass gap). La fuerza que ‘pega‘ a los quarks para formar los núcleos de los átomos utiliza unas partículas llamadas gluones que –según las ecuaciones teóricas de Yang-Mills– no deberían tener masa, por lo que la fuerza debería llegar hasta el infinito. Pero en la realidad ocurre lo contrario: la fuerza es súper intensa a distancias diminutas y desaparece por completo un poco más lejos.

Este salto de masa es la prueba física de que la partícula más ligera asociada a esta fuerza sí tiene una masa mínima positiva, creando una especie de barrera de energía que impide que la fuerza se propague libremente por todo el universo. Y aquí viene el gran problema: la física sabe por experimento que ese salto de masa existe (de lo contrario, los átomos no se mantendrían juntos y la materia no existiría), pero nadie ha conseguido demostrarlo matemáticamente.

¿Por qué la matemática de Yang-Mills no predice partículas sin masa para esta fuerza? Necesitamos una demostración matemática que explique el «salto de masa», la razón por la que esta fuerza tiene un alcance súper corto y mantiene a los quarks eternamente prisioneros.

🔹 La Conjetura de Birch y Swinnerton-Dyer

Imaginemos la ecuación de una curva elíptica (ecuación de tercer grado). Los matemáticos llevan siglos obsesionados con una pregunta engañosamente simple sobre ellas: si buscamos los puntos de esa curva cuyas coordenadas (x, y) sean números enteros o fracciones exactas, ¿cuántos hay? A veces no hay ninguno, a veces hay un número finito, y a veces hay infinitos.

Saber cuántas de estas soluciones existen sin tener que probar número por número es un dolor de cabeza monumental. Para resolver el problema, Bryan Birch y Peter Swinnerton-Dyer idearon un truco: en lugar de buscar soluciones en todos los números infinitos de golpe, evaluaron la ecuación a trozos, usando la aritmética de los números primos. Con esos datos construyeron un objeto matemático especial (una función) que mide cómo se comporta la curva.

La conjetura afirma que el comportamiento de esa función en un punto concreto revela exactamente cuántas soluciones de fracciones infinitas tiene la curva. Si la función vale cero, ese cero actúa como un detector que nos dice de golpe si la curva esconde un número infinito de puntos racionales y cómo están estructurados. En esencia, nos permite saber cuántas soluciones exactas tiene una forma geométrica sin tener que pasar la vida buscándolas.

¿Existe una forma rápida de saber si una de estas ecuaciones complejas tiene un número infinito de soluciones, o solo un número finito? Birch y Swinnerton-Dyer propusieron que se puede saber simplemente analizando un punto de datos específico relacionado con la ecuación, pero nadie ha logrado probar que esta regla funcione siempre.

🔹 La Conjetura de Hodge

Imaginemos que tienes una forma geométrica compleja en un espacio de muchas dimensiones. Para entenderla mejor, los científicos suelen usar un truco: proyectan sobre la forma una especie de luz matemática y estudian las sombras o piezas más simples (llamadas clases de cohomología) que se reflejan en su interior.

La Conjetura de Hodge aborda una pregunta fascinante: ¿todas esas piezas geométricas que detectamos como sombras corresponden realmente a bloques de construcción sólidos y geométricos más pequeños que podemos ver y tocar dentro de la figura?

Este enigma sirve como puente entre dos mundos matemáticos: la topología (el estudio general de las formas y sus agujeros) y la geometría algebraica (el estudio de las formas descritas por ecuaciones polinómicas exactas). Si la conjetura es cierta, significaría que cualquier estructura abstracta que detectemos mediante el análisis de formas complejas tiene una contraparte algebraica tangible y ordenada.

¿Podemos demostrar que, sin importar cuán retorcida y compleja sea esa figura geométrica, siempre podremos construirla pegando piezas geométricas básicas (ciclos algebraicos) que se definen con ecuaciones polinómicas simples?