Votre question fait référence à la théorie de la complexité en informatique. On ne sait pas à ce stade prouver que des problèmes sont impossibles ou très difficiles à résoudre, même classiquement. Cela rejoint le problème P = NP, fondamental en informatique théorique. En cryptographie, l'objectif est d'avoir une bien meilleure résistance que celle permettant de faire face à des attaquants polynomiaux. Pour savoir si des problèmes sont quantiquement difficiles, il reste nécessaire de déployer des hypothèses.