This leaves out any miners turned of because of power costs, and non-ASIC compute. I have no idea how big those are. My completely unfounded guess would be that all of AWS available CPU compute woudn't be enough compute for a 51% attack.
well yeah, CPUs are many orders of magnitude slower than ASICs
I suppose they meant, that many parties do have that much potential compute but they use it for other things. But they could in theory switch to computing bitcoin hashes and control 51%, and in turn some other party can do the same etc... Obviously you're right that eventually one party can own 51%, but that doesn't mean only one party can successfully perform 51% attack, since % of hashing power can change by time.
Bitmain does.
I mean, real technical capabilities not just mention of facilities in Texas or whatever.
They are the prime mover in the Bitcoin space, and have an outsized impact in other crypto mining spaces. They are the undisputed ASIC leaders.
You're saying it's impossible, and now you're saying nobody would bother. Don't move the goalposts.
Doubtful.
This vulnerability was baked into Bitcoin from day one. There is no outcome under which Bitcoin is not 51% attacked. it is an inevitability as sure as the heat-death of the universe.