I have no proof of that claim, nor do I claim that it is true. I am simply stating that that is what people are saying, not that they are saying that Bitmain directly controls that much hashpower (which is what you said).