We’ve already done bosonic sampling that’s classically intractable. Google published it a few years ago. So yes, quantum supremacy has already been proven. It’s a useless toy problem, but one a classical computer just can’t do.

Yes, error correction will get harder the more we scale, but we’re pretty sure we’ve reached the point where we win by throwing more qubits at it. Again, now it’s engineering the scaling. No mean feat, it’ll take a long time, but it’s not like this is all speculation or fraud. The theory is sound