È di 200 terabyte la dimostrazione matematica più lunga al mondo

Repubblica - logo

NON è esattamente quel che si dice una lettura da ombrellone. Tutt’altro: un malloppone di circa 200 terabyte – più o meno un milione di libri digitalizzati – che contiene la dimostrazione matematica più lunga al mondo, appena partorita da Stampede, un supercomputer della University of Texas, grazie a un algoritmo messo a punto daMarijn Heule e Oliver Kullmann, della Swansea University, e Victor Marek, della University of Kentucky. I dettagli della scoperta sono stati pubblicati su ArXiv, il server che ospita gli articoli scientifici prima della loro pubblicazione su rivista. I ricercatori, tra l’altro, hanno reso disponibile online anche l’intera dimostrazione, in una versione compressa da “appena” 68 gigabyte. Se il processore del vostro computer dispone di circa 30 mila ore di tempo libero, potete addirittura provare a scaricare, ricostruire e verificare i calcoli comodamente a casa vostra.

Continua a leggere su Repubblica.it

LASCIA UN COMMENTO

Please enter your comment!
Please enter your name here