La donnée de 16 chiffres dans une grille de Sudoku 9×9 est insuffisante pour assurer l’unicité de la solution. Le démontrer semble impossible au raisonnement mathématique seul. Un énorme calcul a été nécessaire pour arriver au résultat qui pour l’instant n’a été confirmé qu’une seule fois. Ce problème est resté ouvert jusqu’à ce que, en décembre 2011, la réponse soit fournie par Gary McGuire, de l’Université de Dublin, et son équipe.