sicnot

Perfil

Mundo

Resolvido problema matemático com 35 anos, mas leitura levará 10 mil milhões de anos

Um trio de informáticos britânicos e norte-americano apresentaram hoje a solução para um problema matemático com 35 anos, mas a sua verificação pode ser um outro problema, porque a sua leitura levará 10 mil milhões de anos.

Conhecido como "Atividade dos Triplos de Pitágoras", o problema era um enigma longo e sem solução, que levou o matemático Roland Graham a oferecer há 30 anos dinheiro a quem o resolvesse.

Os autodeclarados vencedores -- Marijn Heule, Oliver Kullmann e Victor Marek, das universidades do Texas, Swansea e Kentucky -- revelaram a resolução do problema durante a conferência internacional SAT 2016, que decorre em Bordéus, França.

Os informáticos desvendaram o enigma utilizando o programa "Cube-and-Conquer", o método do teste de satisfação e fiabilidade híbrido (SAD) para problemas difíceis.

Mas os colegas, disseram os informáticos, precisam de ver a prova.

"Devido ao interesse geral naquele problema matemático, o nosso resultado exige uma prova formal", afirmaram os informáticos.

O resultado, em símbolos, é o equivalente a "todos os textos digitalizados da biblioteca do Congresso dos Estados Unidos", cerca de 200 'terabytes' de dados, segundo o boletim do Centro de Pesquisa Científica francês.

O problema em si é (quase) incompreensível e questiona se é possível colorir números inteiros positivos (como 1,2,3,4,5...) a vermelho ou azul numa sequência de números que satisfaça o famoso Teorema de Pitágoras (a2+b2=c2).

Ou seja, se 'a' e 'b' forem vermelho, então o 'c' tem de ser azul, mas os três não podem ser todos vermelhos ou azuis.

A prova mostra que o esquema de coloração é, de facto, possível, mas só até ao número 7.824.

A análise aos números levou dois dias e foi feita pelo supercomputador Stampede do Centro de Informática Avançada do Texas.

Lusa

  • Trump eleito personalidade do ano pela revista Time

    Mundo

    O Presidente eleito dos Estados Unidos, Donald Trump, foi eleito personalidade do ano pla revista Time. O título é atribuído pela publicação norte-americana há quase 90 anos para distinguir a figura que marcou o ano.

  • Cerca de 100 mortos e dezenas de desaparecidos após sismo na Indonésia
    1:24
  • As camisolas de Natal da família real britânica

    Mundo

    O espírito natalício invadiu ontem o Museu Madame Tussauds, em Londres. Foram reveladas as novas figuras de cera da família real britânica - cada membro enverga uma camisola de espírito festivo, com cãezinhos "reais" e "gingerbreadmen" de gosto duvidoso.

  • Os dias na Terra estão a ficar mais longos

    Mundo

    Os dias estão a tornar-se mais longos, mas impercetivelmente, porque vão ser precisos 6,7 milhões de anos para aumentarem um minuto, segundo um estudo publicado quarta-feira pela Proceedings A da Royal Society britânica.

  • Com este vamos arrancar-lhe uma lagriminha!

    Mundo

    Nesta redação, não se vive só de notícias. Também gostamos de nos emocionar com o mundo virtual. Imbuídos pela quadra natalícia, decidimos partilhar este vídeo polaco consigo. O que é preciso para o emocionar? Um tema com uma mensagem simples e que nos faça lembrar que somos todos feitos de carne e osso. Um toque de humor. Um sentimento sazonal, mas nunca em excesso. Um cão [é preciso haver sempre um cão]. Um enredo e algum suspense que nos prenda ao écran. Algo que nos faça engolir em seco. Foi isto que fez um site de vendas online com um anúncio com o título: "Inglês para principiantes". Então? Atingimos o nosso objetivo? Com ou sem lágrima?

  • Leica: a marca lendária entre os fotógrafos
    5:54
    Futuro Hoje

    Futuro Hoje

    3ª FEIRA NO JORNAL DA NOITE

    A Leica, das famosas máquinas fotográficas, abriu na semana passada a primeira loja em Portugal. Grande parte da produção da marca alemã é feita em Lousado, em Vila Nova de Famalicão, há 43 anos.