In the recent IPO report of Bitmain, it seems Bitmain does not have mined any Monero.
How would we know if that was true?
Hang on... I suppose we could look it up in the Monero rich list...
Or you can lookup their monero addresses they've left on their CN ASICs against public pools. But I bet they've mined and dumped as they were mining during bull market.