To discover a truth, as that expression is being used here, is to come to believe it by one’s own lights (as opposed to reading it or being told) in a way that is reliable and involves no violation of epistemic rationality (given one’s epistemic state).  One can discover a truth without being the first to discover it (in this context); it is enough that one comes to believe it in an independent, reliable and rational way. The difference between merely discovering a truth and proving it is a matter of transparency: for proving or following a proof the subject must be aware of the way in which the conclusion is reached and the soundness of that way; this is not required for discovery.