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

  • A proposta dos partidos para a redução da dívida
    1:55

    Economia

    O PS e o Bloco de Esquerda querem mais 45 anos para pagar as dívidas à UE e juros mais baixos. As medidas fazem parte da proposta para a redução da dívida pública. No relatório que será enviado ao Governo, não é pedido perdão da dívida como os partidos da esquerda chegaram a defender.

  • Ministros de Governos de Sócrates ouvidos pelo Ministério Público
    1:54
  • Suspeito de atropelamento mortal fala de acidente 
    2:00
  • "Têm um verdadeiro amigo na Casa Branca"

    Mundo

    O Presidente norte-americano reafirmou esta sexta-feira o apoio ao direito de porte de armas no país, sublinhando, numa convenção daquele 'lobby', que "o ataque de oito anos às liberdades consagradas no Artigo 2.º [da Constituição]" terminou.

  • A história de Macron e Brigitte Trogneux, 25 anos mais velha
    1:25

    Eleições França 2017

    A segunda volta das eleições francesas acontece já no próximo dia 7 de maio. Caso Emmanuel Macron seja eleito, o país terá como primeira-dama uma mulher 25 anos mais velha do que o Presidente. Brigitte Trogneux tem 64 anos e Macron 39, conheceram-se no liceu privado de jesuítas, em Amiens. Brigitte era a professora e Macron o aluno. Conheça a história do casal. 

  • Autoridades garantem ter evitado novo ataque terrorista em Londres
    0:59

    Mundo

    A polícia britânica garante que evitou um novo atentado em Londres. Mulher baleada faz parte das oito pessoas que foram detidas numa operação antiterrorista na capital britânica e no sul de Inglaterra. A operação realizou-se após a detenção de um homem com três facas, nas imediações do Parlamento britânico.

  • Presidente da Macedónia convocou reunião de emergência

    Mundo

    O Presidente da Macedónia, Gjorge Ivanov, convocou esta sexta-feira uma reunião de emergência com líderes políticos, após manifestantes, maioritariamente apoiantes da maioria conservadora, invadirem o Parlamento e atacarem deputados da oposição, fazendo 77 feridos.

  • Polícia espanhola divulga imagens de operação anti-jihadista

    Mundo

    A polícia espanhola divulgou esta sexta-feira novas imagens da operação anti-jihadista levada a cabo na terça-feira em Barcelona. Sabe-se agora que dois dos nove suspeitos detidos podem estar relacionados com a célula terrorista de Bruxelas, responsável pelos ataques no Aeroporto de Zaventem e no metro da capital belga.

  • Menina que nasceu com três pernas já corre

    Mundo

    Uma criança do Bangladesh que cresceu com três pernas vai regressar a casa, depois de uma viagem até à Austrália, onde foi operada para retirar o membro a mais. Como resultado de um gémeo que não se formou por completo, a criança de três anos nasceu com uma terceira perna na pélvis. Alguns meses após a cirurgia, feita em novembro, a menina já corre.