AlphaStar hardly pawned GMs in any meaningful way. It mainly won on mechanics, even when Deepmind tried to nerf its mechanics. Probably the most important thing is that the “200 APM limit” is way higher than any human can do, because it made use of each one of its actions. Humans can reach 400+ APM by spamming, but their EPM will stay much lower than 200. The result is that it had god-tier micro that changed the game completely: zergling runby’s are normally good for Zerg and bad for Protoss. With alphastar, it was the opposite, because it could micro to avoid losing any workers. Its disruptor micro was again unmatched.
Now, my last argument for why alphastar wasn’t some sort of brilliant tactician was that eventually people figured out that it’s susceptible to all the same problems a normal bot is: you can dart a warp prism in and out of its vision and it will send its army back and forth, you can confuse it by going mass raven/PF etc. and it’s completely unable to adapt. So in conclusion, no: AlphaStar doesn’t say anything one way or another about military AIs.