OpenAI's bot beats top Dota 2 player so badly that he quits