si on en croit la fin de l´article: "En poussant plus loin les calculs, il faut s´attendre prochainement à un nombre de mouvements encore inférieurs. "
On a pas de preuve que l´on puisse faire moins de 26 et pas de preuve du contraire. On ne sait pour l´instant juste pas.
Pour information, le premier théorème a avoir été provuer avec une telle technique a été le théorème des quatres couleurs. Il assure qu´il est toujours possible de colorier une carte en 4 couleurs tel que deux pays voisins n´ont pas la meme couleur.
