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...