A bot just defeated one of the world's best video gamers