[math-fun] Provably Winning Go games at high handicap