[jychang]

Well, it's more like they have 900,000 cores on a WSE and disable whatever ones that don't work.

Seriously, that's literally just what they do.

[fulafel]

In their blog post linked in the sibling comment it says the raw number is 970k and they enable 900k (table at the end).