Diez expedientes que la matemática lleva siglos arrastrando: cada uno con su año de fuga, su recompensa si la hay, y el estado actual de la persecución. La buena noticia es que de los siete «problemas del milenio» que el Instituto Clay premió en el año 2000, uno ya cayó. La mala: los demás resisten.
Caso abierto
Expediente n.º 01 · Bernhard Riemann, 1859
Hipótesis de Riemann
—años en fuga
Los primos parecen caer al azar, pero Riemann sospechó un orden escondido: todos los ceros «no triviales» de su función zeta deberían caer en una misma línea recta del plano complejo. Demostrarlo confirmaría que los primos están tan bien repartidos como la teoría permite.
US$1.000.000 · Instituto Clay
Estado de la persecución: billones de ceros verificados por computador — y ni uno solo se ha salido de la línea. Nadie sabe por qué.
Caso abierto
Expediente n.º 02 · Goldbach, carta a Euler, 1742
Conjetura de Goldbach
—años en fuga
Todo número par mayor que 2 parece poder escribirse como suma de dos primos: 8 = 3 + 5, 20 = 3 + 17, 100 = 3 + 97. Euler leyó la carta, lo intentó y confesó que no podía demostrarla. La carta sigue ganando.
Estado: verificada por computador hasta 4·1018. La versión «débil» — todo impar mayor que 5 es suma de tres primos — sí cayó, en 2013, ante Harald Helfgott.
Caso abierto
Expediente n.º 03 · de Polignac, 1849
Primos gemelos
—años en fuga
¿Existen infinitas parejas de primos separadas por 2, como (11, 13) o (17, 19)? Los datos gritan que sí; la demostración no aparece.
Estado: el gran salto lo dio Yitang Zhang en 2013: demostró que existen infinitos pares de primos separados por menos de 70 millones. Hoy la brecha está en 246. Falta llegar a 2 — y ese último paso nadie sabe darlo.
Caso abierto
Expediente n.º 04 · Lothar Collatz, 1937
Conjetura de Collatz
—años en fuga
Toma un número. Si es par, divídelo por 2; si es impar, multiplícalo por 3 y súmale 1. Repite. La conjetura dice que siempre — siempre — terminas en el ciclo 4 → 2 → 1. Es el problema más fácil de explicar de esta lista y uno de los más difíciles de resolver.
US$500 · premio que ofrecía Erdős
Estado: Erdős decía que «la matemática aún no está preparada para esto». En 2019, Terence Tao demostró que «casi todos» los números obedecen — lo más cerca que nadie ha llegado.
Caso abierto
Expediente n.º 05 · Stephen Cook, 1971
P versus NP
—años en fuga
¿Encontrar una solución es tan fácil como comprobarla? Si P = NP, buena parte del cifrado actual se derrumba y la optimización se vuelve trivial. Si no lo es — como casi todos creen —, la dificultad es real. Nadie ha logrado probarlo en ninguna dirección.
US$1.000.000 · Instituto Clay
Estado: se han demostrado barreras formales: las técnicas clásicas de demostración no sirven para este problema. Hará falta una idea que todavía no existe.
Caso abierto
Expediente n.º 06 · Navier (1822) y Stokes (1845)
Ecuaciones de Navier–Stokes
—años en fuga
Son las ecuaciones del vuelo de un avión y del agua en una cañería. La pregunta del millón es literal: ¿siempre existen soluciones suaves, o puede la velocidad «explotar» hasta el infinito en un punto y un instante? Ni siquiera sabemos si el modelo está bien planteado.
US$1.000.000 · Instituto Clay
Estado: es el único problema del milenio sobre ecuaciones diferenciales, el idioma nativo de la física. Tao ha construido ejemplos «casi explosivos» que explican por qué es tan difícil.
Caso abierto
Expediente n.º 07 · Birch y Swinnerton-Dyer, años 60
Conjetura de Birch y Swinnerton-Dyer
—años en fuga
Nació de calcular en la computadora EDSAC de Cambridge: el número de soluciones racionales de una curva elíptica queda determinado por el comportamiento de una función asociada en un único punto. Es un puente entre el álgebra y el análisis.
US$1.000.000 · Instituto Clay
Estado: demostrada solo en los casos «pequeños» (rango 0 y 1, por Gross–Zagier y Kolyvagin). El caso general espera.
Caso abierto
Expediente n.º 08 · Oesterlé y Masser, 1985
Conjetura abc
—años en fuga
Si a + b = c con números que no comparten factores primos, las potencias no pueden dominar la escena: en la práctica, las sumas «no pueden ser demasiado potentes». De aquí se deducirían de golpe decenas de otros teoremas, incluida una versión débil del último teorema de Fermat.
Estado: en 2012, Shinichi Mochizuki publicó una «demostración» de 500 páginas con una teoría enteramente nueva. La mayoría de la comunidad no la acepta, y el expediente sigue, oficialmente, abierto.
Caso abierto
Expediente n.º 09 · desde Euclides, ~300 a.C.
¿Existen números perfectos impares?
—años en fuga
Un número perfecto es igual a la suma de sus divisores propios: 6 = 1 + 2 + 3; 28 = 1 + 2 + 4 + 7 + 14. Se conocen 52, todos pares — cada uno corresponde a un primo de Mersenne, los de la portada de arriba. ¿Hay alguno impar? Es la pregunta más vieja de esta lista.
Estado: si existe, ya se sabe que tendría más de 1.500 cifras y muchísimos divisores primos distintos. Euclides murió sin saberlo; nosotros también, por ahora.
Caso abierto
Expediente n.º 10 · Erdős y Straus, 1948
Conjetura de Erdős–Straus
—años en fuga
Toda fracción 4/n, con n ≥ 2, parece poder escribirse como suma de tres fracciones unitarias — de numerador 1: 4/5 = 1/2 + 1/4 + 1/20. Simple de enunciar; brutal de demostrar.
Estado: verificada por computador para valores gigantescos de n. Ni contraejemplo ni idea de demostración a la vista.