1 paper
Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1
We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth-p Quantum Approx…