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

Evento aborda a cultura matemática, diagnósticos e perspectivas

Evento aborda a cultura matemática, diagnósticos e perspectivas

No último 16 de maio, aconteceu na USP o encontro “Cultura Matemática: diagnósticos e perspectivas”, promovido pelo Centro de Pesquisa, Inovação e Difusão em Neuromatemática, o CEPID NeuroMat. Segundo o professor doutor Fernando Paixão, coordenador de difusão...

Dados abertos e a ameaça a espécies em extinção

Dados abertos e a ameaça a espécies em extinção

A transparência tem sido a palavra de ordem nas ciências, sobretudo como forma de evitar fraudes e outras más condutas. Mas ela pode estar colocando espécies raras em perigo ainda maior. Os pesquisadores da Australian National University, David Lindenmayer e Ben...

Eficácia do canabidiol em estudo no Brasil

Eficácia do canabidiol em estudo no Brasil

  O canabidiol é um medicamento feito a partir da planta da maconha, Cannabis sativa. Ele atua no sistema nervoso central, ajudando a tratar doenças psiquiátricas ou neurodegenerativas, como esquizofrenia, mal de Parkinson, epilepsia ou ansiedade. Feito a partir...

Escrita é incentivada em jogo produzido na FEUSP

Escrita é incentivada em jogo produzido na FEUSP

  Entender textos simples é uma dificuldade vivida por diversos pessoas, que sabem ler e escrever, mas não não compreendem o que é dito. Com isso em mente, a pesquisadora da Faculdade de Educação da Universidade de São Paulo (FEUSP), Silvia Colello, idealizou um...

Cresce o uso de fertilizantes na América Latina

Cresce o uso de fertilizantes na América Latina

O consumo de fertilizantes cresceu cerca de 27% na América Latina em 2012 quando comparado a 2006, sobretudo em países com menor área territorial. Esta é a conclusão de artigo publicado na revista científica Bioagro. Os fertilizantes são produtos utilizados no solo...

Mosquitos e doenças: estudos avançam em conhecimento

Mosquitos e doenças: estudos avançam em conhecimento

  O grande hit do último verão foi o maior surto de febre amarela das últimas décadas no país. O total de casos e de óbitos ainda será consolidado, mas é a primeira vez desde que se iniciou a série atual de registro em 1980 que se entra na casa de três dígitos de...

Oxigênio realiza oficina de rádio em assentamento do MST

Oxigênio realiza oficina de rádio em assentamento do MST

  Acompanhe as novidades de um projeto especial do programa Oxigênio, a participação na Semana Nacional de Ciência e Tecnologia (SNCT). Entre diversas ações, a iniciativa incluiu uma oficina de rádio para a comunidade do assentamento Milton Santos, em...

Cientistas reagem a ameaças ao financiamento de pesquisa

Cientistas reagem a ameaças ao financiamento de pesquisa

2017 começou bastante temerário para o universo da Ciência e Tecnologia. Isso porque no final de 2016 o governo federal colocou o orçamento de R$ 1,7 bilhão destinados à ciência em um arcabouço desconhecido chamado de Fonte 900, uma espécie de conta em que o dinheiro...

Campanha quer mais homenageadas entre nomes de ruas

Campanha quer mais homenageadas entre nomes de ruas

  Quanta história está registrada nas placas de ruas, não é verdade? Apesar de tão presentes no nosso cotidiano, as mulheres que foram importantes para o Brasil são a minoria entre essas homenagens. Uma campanha em São Paulo chama a atenção para este dado: apenas...