It was computations like this (Odlyzko and others work in in the 80's) that gave enough data to strongly suggest Montgomery's pair correlation conjecture may be true and it can be useful in some problems like finding explicit bounds for the nth prime for example (there was...