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.
