Nash's 2002 code uses game theory to do PoW collision predictions. Looking at this piece of code written by Nash, the probability of Nash being Satoshi Nakamoto has increased quite a bit.