por oxigenio_admin | jun 20, 2016 | Notas
Um supercomputador da Universidade do Texas, com 800 conjuntos de processadores paralelos, levou dois dias para analisar um trilhão de modos de colorir números inteiros em azul e vermelho. Trata-se da mais longa prova matemática realizada até agora. O objetivo...
