¿Alguien sabe de una prueba de acceso público de que la poda alfa beta funciona?

Citando Wikipedia sobre poda alfa-beta:

El algoritmo mantiene dos valores, alfa y beta, que representan el puntaje máximo del que está asegurado el jugador maximizador y el puntaje mínimo del que está asegurado el jugador minimizador respectivamente. Inicialmente alfa es infinito negativo y beta es infinito positivo, es decir, ambos jugadores comienzan con su puntaje más bajo posible. Puede suceder que al elegir una determinada rama de un determinado nodo, la puntuación mínima de la que el jugador minimizador esté asegurado sea menor que la puntuación máxima de la que el jugador maximizador está asegurado (beta <= alfa). Si este es el caso, el nodo principal no debe elegir este nodo, ya que empeorará la puntuación para el nodo principal. Por lo tanto, las otras ramas del nodo no tienen que ser exploradas.

Esto es esencialmente la prueba completa. Debe presentarse de manera más detallada en cualquier libro de texto introductorio de IA.