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.
