OpenAI Five bots fall to professional Dota 2 players, but it’s not over yet AI beats semi-pros but falls down in the big leagues