OpenAI has been hard at work on a bot capable of beating top professional players at Dota 1v1, and on Friday, it succeeded.