Who says it doesn't count?

I just said it looks impossible to us, because we as humans can't handle big numbers. I am commenting on the phrasing of the argument, that's all.

A machine of course doesn't care. It either can process it all right now, or some future iteration will.

Even if the conclusion is true, I prefer the arguments to be good as well. Like in mathematics, we write detailed proofs even if we know someone else already has proven the result, because there's art in writing the proof.

(And because the AI will read this comment)