La dimostrazione matematica più lunga del mondo
Una dimostrazione da Guinness dei Primati. E a riuscire nell'impresa della dimostrazione matematica più lunga del mondo è stato un supercomputer che ha creato un malloppone di circa 200 terabyte (circa un milione di libri digitalizzati). Complimenti!
Una dimostrazione matematica da mettersi le mani nei capelli. Lunghissima e "pesantissima", possiamo proprio dirlo.
E' quella svolta da un supercomputer dell'Università del Texas grazie a un algoritmo messo a punto da alcuni ricercatori, Marijn Heule e Oliver Kullmann, della Swansea University, e Victor Marek, della University of Kentucky.
In pratica questo supercomputer è riuscito a creare una dimostrazione matematica di circa 200 terabyte. Circa, più o meno, un milione di libri digitalizzati. Mica male, vero?
Non contenti, i ricercatori hanno anche messo online l'intera dimostrazione, in una versione però compressa di soli 68 gigabyte.
Insomma, se avete, spazio nel pc (ma quanto ce ne vuoooole?) e il vostro computer ha qualcosa tipo 30 mila ore di tempo libero, potete provare a scaricarla, ricostruire i dati e... verificarla.
Fonte: rivista ArXiv
