[colossal]

Yes. The lottery is (supposed to be) uniformly random. You cannot do better than choosing a random number. If you could do so provably, that would mean the lottery wasn't fair.