Isn't this a bit disingenuous though? If somebody had designed an algorithm capable of breaking RSA given supercomputer-level resources, that's still breaking RSA even if they may not be able to provide ironclad proof.