same with the banks, you plough the money in , no problem, they make a mistake, sorry we want our money back. I hope he wins and gets the cash. Not his fault, he could equally say, well the machine did not tell me there was a problem while he was ploughing money in, so if the software is bugged, then its their fault, should have made sure it worked correctly.
I’m sure if there had been a bug that reduced his chances of winning the company would have cheerfully tracked him down and refunded his money.
If the player conspired or committed fraud to win, then take it away from him.
If the company screwed up, it’s their problem.