Since you're posting on the twin primes MTG combo: am I correct in thinking it was already possible to create a game state where the winner depended on whether the twin primes conjecture is true, due to the fact that you can establish a Turing machine in MTG? (Zimone, All Questioning just makes it simpler to do this, at the cost of making the relevance of the twin primes conjecture come in via game theory rather than just via resolving the rules.)
That does seem to be the case. Having now skimmed the paper, that's a much stronger result, because neither player ever has any choices to make. If you feed it a Turing machine that halts when it runs out of twin primes, which I think you can construct, then Alice wins if the Twin Prime conjecture is false and the game draws if the Twin Prime conjecture is true.
