I'm pretty sure that AI did take at least a few games off of the pros. IIRC the professional team only had one win, the last match.
I do agree that the game was terribly dumbed down to make it tractable. I keep hoping they'll revisit Dota 2 to see if they can find meaningful improvements and tackle the full game.
The last time they deployed it... It beat the current world champions
Yes, the OpenAI Five bots won a best of three in their custom format, back in 2019. The bots won the first two games, then a third game was played which the humans won, which is the point I was trying to make (I'm not the GP).
Unless you know of another time the bots were deployed formally against a pro team more recently, which I'd love to hear about.
[0] https://web.archive.org/web/20190413210513/https://venturebe...