Problemas del milenio

Los problemas del milenio son siete problemas matemticos cuya resolucin
sera premiada, segn anunci el Clay Mathematics Institute en el ao 2000, con
la suma de un milln de dlares cada uno. A fines de 2013, nicamente uno de
estos problemas ha sido resuelto, la hiptesis de Poincar.
1 P versus NP
2 La conjetura de Hodge
3 La conjetura de Poincar
4 La hiptesis de Riemann
5 Existencia de Yang-Mills y del salto de masa
6 Las ecuaciones de Navier-Stokes
7 La conjetura de Birch y Swinnerton-Dyer

P versus NP
Consiste en decidir si la inclusin entre las clases de complejidad P y NP es
estricta.
Las matemticas actuales no poseen la suficiente capacidad para poder distinguir
problemas de tipo P y NP, para los cuales es necesario desarrollar algoritmos
bastante complejos. El problema en s reside en que existen problemas que no
pueden resolverse en tiempo polinomial en una mquina determinista, es decir, no
son abarcables. La aritmtica actual tiene lmites a la hora de realizar algunos
clculos que ni los ordenadores ms potentes pueden realizar en un tiempo
"razonable", es decir, del orden de las operaciones. Sin embargo el
carcter exponencial de algunos problemas hace que actualmente su tratamiento
sea inviable.
Se piensa que estos problemas podran estar relacionados con el teorema de
incompletitud de Gdel. Segn parece, ciertos enunciados matemticos, entre los
que se incluyen los que se refieren a cotas inferiores de tiempo de cifrado, no se
pueden demostrar dentro del marco de la aritmtica de Peano, que es la forma
estndar de la aritmtica.
Un ejemplo sera: si queremos determinar todas las formas posibles de asignar 70
personas a 70 trabajos diferentes de forma que todas las personas tengan un
trabajo y ninguna plaza quede vacante, no sera difcil (para quien posea una
mnima base matemtica) establecer la solucin: 70! (setenta factorial). Sin
embargo, el clculo de este nmero sera equivalente a un nmero del orden de
10 elevado a la centsima potencia, lo que significa que ni en la edad del
universo podra resolverse computacionalmente este problema.
Hoy en da el estudio de este problema se plantea como la resolucin o bsqueda
de los lmites en la computacin.
La conjetura de Hodge
La conjetura de Hodge dice que para variedad algebraicas proyectivas, los ciclos
de Hodge son una combinacin lineal racional de ciclos algebraicos.
La conjetura de Poincar
Este es el nico problema que ha sido resuelto. En topologa, la esfera (o
cascarn esfrico) se caracteriza por ser la nica superficie
compacta simplemente conexa. La conjetura de Poincar establece que esta
afirmacin es tambin vlida para esferas tridimensionales.
En marzo de 2002, un matemtico ingls, Martin Dunwoody, de la Universidad de
Southampton, afirmaba haber resuelto este problema,
3
pero luego se encontr un
error.
4

El problema haba sido resuelto en los casos de n > 3 por algunos matemticos,
Michael Freedman, Steven Smale, E. C. Zeeman, se mantena inaccesible,
curiosamente, para n = 3.
Finalmente, el matemtico ruso Grigori Perelmn dio con la solucin, anunciada
en 2002 y dada a conocer en 2006. La resolucin de la hiptesis de Poincar hizo
que a Grigori Perelmn le fuera concedida en el XXV Congreso Internacional de
Matemticos la Medalla Fields, considerada el mayor honor al que puede aspirar
un matemtico, premio el cual rechaz debido a que no quera convertirse en una
"mascota" para el mundo de las matemticas.
2

La hiptesis de Riemann
La hiptesis de Riemann dice que todos los ceros no triviales de la funcin zeta de
Riemann tienen una parte real de 1/2.
Existencia de Yang-Mills y del salto de masa
En Fsica, la teora cuntica de Yang-Mills describe partculas con masa positiva
que poseen ondas clsicas que viajan a la velocidad de la luz. Este es el salto de
masa. El problema es establecer la existencia de la teora de Yang-Mills y un salto
de masa.
Las ecuaciones de Navier-Stokes
Las ecuaciones de Navier-Stokes describen el movimiento de los lquidos y gases.
Si bien stas fueron formuladas en el siglo XIX, todava no se conocen todas sus
implicaciones, principalmente debido a la no linealidad de las ecuaciones y los
mltiples trminos acoplados. El problema consiste en progresar hacia una teora
matemtica mejor sobre ladinmica de fluidos. El enunciado del problema es
demostrar si a partir de unas condiciones iniciales de fluido laminar la solucin del
flujo para todos los instantes de tiempo es tambin un flujo laminar.
El matemtico kazajo Mujtarbay Otelbyev afirma haber encontrado la solucin al
problema.
5

La conjetura de Birch y Swinnerton-Dyer
La conjetura de Birch y Swinnerton-Dyer trata sobre un cierto tipo de ecuacin que
define curvas elpticas sobre los racionales. La conjetura dice que existe una
forma sencilla de saber si esas ecuaciones tienen un nmero finito o infinito de
soluciones racionales.

Otros problemas de matemticas no resueltos

Nmeros primos
La conjetura de los nmeros primos gemelos
La existencia de infinitos nmeros primos de Mersenne
Es todo nmero de Fermat compuesto para n > 4?
La conjetura de Goldbach (conjetura 'fuerte')
El problema de Sierpinski: "Cul es el menor nmero de Sierpinski?" Es el
nmero 78,557? (Conjetura de Selfridge)
lgebra
El problema inverso de Galois

Combinatoria
Nmero de cuadrados mgicos

Problemas resueltos recientemente
La conjetura de Goldbach (conjetura, 'dbil', tentativamente resuelta por Alex
Ingelmo, febrero 2014)
La conjetura de Poincar (resuelta por Grigori Perelmn, 2002)
La conjetura de Catalan (Preda Mihilescu, abril de 2002)
La conjetura de Taniyama-Shimura generalizada (Christophe Breuil, Brian
Conrad, Fred Diamond, y Richard Taylor, 1999)
La conjetura de Kepler (Thomas Hales, 1998)
El ltimo teorema de Fermat (Andrew Wiles, 1995)
El teorema de los cuatro colores (Appel y Haken, 1977)