alguien me explica porque pone low, high en la funcion de binary_search

Buenas Adolfo, esos valores actúan como límites de búsqueda en las sucesivas llamadas a la función, si te fijas en la llamada a binary_search desde main() se utiliza un intervalo desde 0 hasta len()-1 ya que tenemos que comenzar con esos límites, si resulta que el número buscado no es el del medio(mid) entonces miramos si entre los números inferiores(low = low y high = mid) o entre los números superiores(low = mid y high = high), esto se consigue usando low, high y mid en la función. Espero que te ayude, un saludo :).