At least they claim that: «Quantum verifiability means the result can be repeated on our quantum computer — or any other of the same caliber — to get the same answer, confirming the result. This repeatable, beyond-classical computation is the basis for scalable verification.» (emph. mine)
But apparently they haven't demonstrated the actual portability between two different quantum computers.
But apparently they haven't demonstrated the actual portability between two different quantum computers.