Prova de matemática feita por supercomputador leva 2 dias para ser resolvida

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 era verificar se o chamado “problema booleano dos trios pitagóricos” tem solução. Trios pitagóricos são os números inteiros que formam os lados de um triângulo … Continuar lendo Prova de matemática feita por supercomputador leva 2 dias para ser resolvida