Cela peut théoriquement être prouvé, mais pas avec la technologie actuelle.
Si vous adoptez une approche par force brute, il y a quelques difficultés en raison du nombre de positions.
Dans l'analyse du nombre de Shannon , il est suggéré que la complexité de l'arbre de jeu soit d'au moins 10 ^ 123 pour les jeux d'une longueur maximale de 80 coups. Supposons qu'il soit 10 ^ 123 aux fins de cette discussion.
10 ^ 81 = nombre estimé d'atomes dans l'univers
10 ^ 12 = opérations par seconde d'un cœur de processeur térahertz (votre processeur tourne probablement à environ 1 / 300e de cette vitesse.)
10 ^ 7 = secondes arrondies par an
10 ^ 12 = 1 billion d'années
Supposons également que nos processeurs peuvent évaluer une position d'échecs en seulement 1 cycle de processeur.
Alors, faisons en sorte que chaque atome de l'univers fonctionne comme un cœur de processeur térahertz pendant 1 billion d'années.
Pouvons-nous évaluer chaque position pour des parties d'une longueur maximale de 80?
Non.
10 ^ 81 x 10 ^ 12 x 10 ^ 7 x 10 ^ 12 = 10 ^ 112
Nous ne sommes pas à la hauteur de seulement 0,000000000001% avec le calcul.
Avec un élagage avancé (jetant les mauvaises lignes et leurs descendants), une meilleure technologie et une programmation astucieuse ... nous verrons peut-être des jeux de 40 max au cours de notre vie! Nous pouvons également tailler les positions que nous avons vues auparavant (nous pouvons y arriver par transposition), mais gardez à l'esprit qu'il faudra au moins un cycle CPU pour déterminer que nous avons évalué la position auparavant!
Cependant, cela devrait vous aider à comprendre pourquoi il est si éloigné pour le moment.
Les références