Teoricamente, isso pode ser comprovado, mas não com a tecnologia atual.
Se você adotar uma abordagem de força bruta, há alguma dificuldade devido ao número de posições.
Na análise do número de Shannon , sugere-se que a complexidade da árvore de jogo seja de pelo menos 10 ^ 123 para jogos de comprimento máximo de 80 movimentos. Vamos supor que seja 10 ^ 123 para os propósitos desta discussão.
10 ^ 81 = Número estimado de átomos no universo
10 ^ 12 = Operações por segundo de um núcleo de processador terahertz (seu processador provavelmente roda a cerca de 1/300 da velocidade).
10 ^ 7 = segundos arredondados por ano
10 ^ 12 = 1 trilhão de anos
Vamos supor também que nossos processadores possam avaliar uma posição de xadrez em apenas 1 ciclo do processador.
Então, vamos fazer com que todos os átomos do universo funcionem como um núcleo de processador terahertz por 1 trilhão de anos.
Podemos avaliar cada posição para jogos com duração máxima de 80?
Não.
10 ^ 81 x 10 ^ 12 x 10 ^ 7 x 10 ^ 12 = 10 ^ 112
Ficamos aquém do ponto de estar apenas 0,0000000001% concluído com o cálculo.
Com poda avançada (jogando linhas ruins e seus descendentes), melhor tecnologia e alguma programação astuta ... talvez veremos 40 jogos no máximo resolvidos em nossa vida! Também podemos remover posições que vimos antes (podemos chegar lá via transposição), mas lembre-se de que será necessário pelo menos um ciclo de CPU para determinar se avaliamos a posição antes!
No entanto, isso deve ajudá-lo a entender por que está tão fora de alcance no momento.
Referências