È di 200 terabyte la dimostrazione matematica più lunga al mondo A riuscire nell'impresa un supercomputer: la dimostrazione "pesa" all'incirca quanto un milione di libri digitalizzati di SANDRO IANNACCONE 13 Giugno 2016
