Heule, Kullmann y Marek son tres matemáticos que han resuelto con uno de los superordenadores de la Universidad de Texas uno de los problemas que desde hace décadas ha estado eludiendo a los expertos de los números: una cuestión combinatoria sobre las llamadas ternas pitagóricas booleanas (más conocidas por ser del tipo a²+b²=c²). Lo más interesante es que para resolverlo utilizaron la potencia de un superordenador: un clúster de 800 procesadores, trabajando ininterrumpidamente durante 48 horas recopiló la solución en un archivo de 200 TB.
|
etiquetas: demostración matemática , ternas pitagóricas , heule , kullmann , marek 
