This is a statement about what Tao values in the proofs that he consumes, as a world-class, human mathematician.

For many of the rest of us, mere consumers of mathematical results, it’s sufficient to know that a^2 + b^2 = c^2 was proven by somebody or some machine at some point.