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...
i bet they mined with asics before the fork
lolNo shit captain obvious.