I have heard quotes by many that a SHA-512 hash output is random.
Does anyone know what method was used to come to this conclusion? If it is not randomized, how could that be shown?
Whilst the random oracle model(1) is the theoretical construct that should produce random 'looking' hash output, the scientific principle also requires that we test the hypothesis for proof.
So let us assume a simple set of inputs to the function. If the null hypothesis is that the output will appear random(2), the output will have certain testable properties:-
This 'random' hypothesis has so far held in the laboratory. So in your parlance, the output is random, and no one has yet proved otherwise. Some of these experiments might have shown it up otherwise, depending on the degree of bias.
(1) A very imperfect model, as explained here.
(2) By random output, I take it you mean independent and identically distributed bits, not easily related to the input, or each other.
(3) Just be aware that these lab tests cannot determine any form of security measure.
SHA-512's output is neither random nor pseudo-random. A reasonable assumption is that one can define a function $F_k(x)$ based on SHA512 that will be a pseudorandom function. However, this is only when a random (secret) key $k$ is used. Having said all of the above, the random oracle model is a heuristic that can be applied when using SHA512. I suggest looking up the random oracle model to see what people mean by this.