For the first time, AI crushed a professional Dota 2 player at the game’s biggest tournament