Il supercomputer Stampede ha portato a termine la dimostrazione più lunga al mondo, ben 200 terabyte dedicati al problema booleano delle terne pitagoriche. Ma si tratta di vera matematica?