yeah but I'm pretty sure these bots still get crushed by humans because of macro, planning and positioning, which is why it takes top firms on the planet so long to solve the problem
If the AI wasn't very smart, then you'd expect there to be some optimal path that would beat them. But Starcraft has always been a game with very little skill ceiling on micro. Well micro'd units have the potential overcome huge macro advantages. A famous real-world example would be Boxer's Immortal Marines:
https://www.youtube.com/watch?v=WJp0t9n8DWk