Investigadores estadounidenses conseguiron a resolución dun problema matemático máis longa xamais desenvolvida por un supercomputador. A resposta ao problema booleano das ternas pitagóricas, enunciado hai 35 anos, é tan larga que un ser humano tardaría 10.000 millóns de anos en lela.
Cun tamaño incrible de 200 terabytes -equivalentes a todos os textos dixitalizados en poder da Biblioteca do Congreso de EE.UU.- é a maior proba matemática xamais producida, informa o CNRS, centro nacional de investigación francés.
A cuestión é se se pode colorear cada número enteiro de vermello ou azul de modo que ningunha terna sexa toda do mesma cor. Por exemplo, coa terna 3, 4 e 5, os números 3 e 5 deberían ser azuis e o 4, vermello. Demostrouse que hai 102.300 modos de colorear os números enteiros ata 7.824, pero unha vez alcanzada a cifra 7.825 é imposible ter ternas multicolores. Con todo, o computador non explicou por que.
No hay comentarios:
Publicar un comentario