The OpenAI Dota 2 bots just defeated a team of former pros
And it wasn’t even close