Jak zaufać maszynie, której nie da się sprawdzić. Krok naprzód w obliczeniach kwantowych