Investigadores
estadounidenses han conseguido la resolución de un problema matemático más
larga jamás desarrollada por un superordenador. La respuesta al problema
booleano de las ternas pitagóricas, enunciado hace 35 años, es tan larga q
un ser humano tardaría 10.000 millones de años en leerla
Con un tamaño
increíble de 200 terabytes (equivalentes a todos los textos digitalizados en
poder de la Biblioteca del Congreso de EE.UU.) es la mayor prueba matemática
jamás producida, informa el CNRS, centro nacional de investigación francés
Marijn Heule,
Oliver Kullmann and Victor Marek, de las universidades de Texas, Swansea y
Kentucky, respectivamente, presentaron su trabajo durante la conferencia internacional
SAT 2016, q tuvo lugar este fin de semana en Burdeos. Los cálculos fueron
obtenidos en el superordenador “Stampede” de la Universidad de Texas
El problema
plantea el punto de partida de las ternas pitagóricas, es decir, un conjunto de
tres números enteros tales q la suma del cuadrado del primero con el cuadrado
del segundo número da exactamente el cuadrado del tercer número
La cuestión
es si se puede colorear cada número entero de rojo o azul de modo q ninguna terna
sea toda del mismo color. X ejemplo, con la terna 3, 4 y 5, los números 3 y 5
deberían ser azules y el 4, rojo. Se ha demostrado q hay 102.300 modos de
colorear los números enteros hasta 7.824, pero una vez alcanzada la cifra 7.825
es imposible tener ternas multicolores. Sin embargo, el ordenador no explicó xq…
