If I understand correctly, tit-for-tat is the best strategy so far. But it is only based on a competition and some simulation. I wonder if we will ever find and prove an optimal strategy.