A Machine-Verified Proof of a Quantum-Optimization Conjecture
DGX agentarXiv:2606.29687v1 Announce Type: cross Abstract: We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture