Quantum Automating -Frege Is LWE-Hard
Il documento dimostra che, sotto l'assunzione di sicurezza del problema LWE, nessun algoritmo quantistico può automatizzare debolmente il sistema di dimostrazione -Frege, stabilendo così il primo risultato di difficoltà tra calcolo quantistico e ricerca di dimostrazioni proposizionali.