Ganz entscheidend finde ich in dem Kontext den Beweis, dass es nicht schneller als mit Grover geht. Nicht nur weil alles andere ja weitreichende Implikationen bezgl. Berechenbarkeit hätte, sondern weil sonst durchaus denkbar wäre, dass USA/China/Russland bereits bessere Algorithmen bekannt sind, denn solche theoretischen Ergebnisse sind ja verhältnismäßig leicht zu realisieren (verglichen mit dem Bau eines QC) und damit ein Unsicherheitsfaktor gegeben wäre, falls man in 25-50 Jahren doch langsam in die Nähe von QC rückt.