Focus.it

FocusJunior.it

FocusJunior.itScuolaMatematicaLa dimostrazione matematica più lunga del mondo

La dimostrazione matematica più lunga del mondo

Stampa

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.

 

Ma in che cosa consiste?

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

Leggi anche
CATEGORY: 1