I highly doubt that MS is referring to PS5 Pro, given that Helix is a next-generation project/product that they call "a premium product," and with the possibility (or so far, the foreseeability) that PS6 will be released very, very soon in the time.
But these aren't Xbox first-party consoles, which is what Peter Spencer, Steve Bond, and Ashra have claimed; it's going to be Project Helix.
On the other hand, I doubt that if Helix weren't the leaked Magnus specs, we wouldn't have already seen other consoles with those specs, since it's supposed to be the mass-market model compared to the OEMs.