No games have been played by Andrew Wiles