AI settles a decade-old quantum-optimization conjecture, with a machine-verified proof
We resolved the Farhi–Goldstone–Gutmann conjecture on the optimal performance of QAOA on the ring of disagrees, open since 2014. The proof was proposed by a large language model …






