Prova de matemática feita por supercomputador leva 2 dias para ser resolvida
jun 20, 2016

Compartilhar

Assine o Oxigênio

 

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 retângulo, por exemplo, os números três, quatro e cinco.

Nesse problema, o conjunto dos números inteiros deve ser dividido em duas partes sem que nenhuma delas contenha um trio pitagórico. Pode parecer fácil, já que poderíamos, por exemplo, colocar o número três e quatro de um lado e o cinco de outro, mas o número cinco é parte também do trio pitagórico: cinco, doze e treze.

Assim, os pesquisadores usaram força bruta e também muita engenhosidade. Ao observarem que muitas das combinações são simétricas e equivalentes entre si, eles não precisaram analisar todas as possibilidades. O matemático Marijn Heule e seus colegas chegaram à solução que resulta em duzentos terabytes– o equivalente a cerca de dois milhões de livros. Uma pessoa levaria cerca de mil e quinhentos anos para ler essa quantidade de informação. Mas como saber se a resposta está correta? A equipe deixou disponível um arquivo compactado com 68 gigabytes. Infelizmente, em um computador pessoal o trabalho para rodar uma análise de conferência levaria 30 mil horas; mas grupos com seus supercomputadores podem tirar a prova dos noves.

O trabalho também estabelece uma nova marca, pulverizando o recorde anterior da prova matemática mais longa, que era de 13 gigabytes. De todo modo, será que usar computadores para cálculos como esse não seria roubar a elegância e o romantismo das provas matemáticas?

Matéria de Roberto Takata e locução de Juan Matheus.

Veja também

Labjor-Unicamp promove entrevistas ao vivo na Semana Nacional de C&T

Labjor-Unicamp promove entrevistas ao vivo na Semana Nacional de C&T

Projeto ‘Matemática no Ar’ será transmitido via Web Rádio Unicamp Matemática ou matemáticas? Pesos e medidas. Mulheres. Mudanças climáticas, evolução. Algoritmos. Esses são alguns dos assuntos que fazem parte de “Matemática no ar”, programação de entrevistas e spots –...

Racismo na Nature

Racismo na Nature

James Marion Sims, médico americano, nascido em 25 de janeiro de 1813 e morto aos 70 anos, é considerado o pai da ginecologia moderna, tendo desenvolvido uma importante técnica cirúrgica para reparar um canal anormal - a fístula - que liga a bexiga à vagina, fazendo...

Agosto Dourado, mês dedicado à campanha de amamentação

Agosto Dourado, mês dedicado à campanha de amamentação

  O leite materno é o único alimento necessário para a nutrição de bebês até os seis meses de vida. Apesar disso, dados divulgados pela organização mundial de saúde e pela Unicef revelaram que apenas quarenta por cento dos menores de seis meses no mundo recebem...

Veterinária Temple Grandin visita evento no Brasil

Veterinária Temple Grandin visita evento no Brasil

Em recente visita ao Brasil, a norte-americana Temple Grandin, uma das maiores referências mundiais em bem-estar animal, esteve em Pirassununga (SP) nos dias 4 e 5 de julho para o evento “Na fazenda com Temple Grandin”, promovido pelo Centro de Estudos Comparativos em...

Comitês de ética em pesquisa sob avaliação

Comitês de ética em pesquisa sob avaliação

  Pesquisadores do Centro Universitário de Brasília, o Uniceub, e da Universidade de Brasília (UnB) fizeram um levantamento da situação dos comitês de ética em pesquisa nas instituições brasileiras: 129 coordenadores dos 645 comitês existentes à época do estudo...