1
A Machine-Verified Proof of a Quantum-Optimization Conjecture
机器验证攻克量子优化十年悬案：QAOA在环上近似比精确等于(2p+1)/(2p+2)，形式化证明无懈可击。
arXiv:2606.29687v1 Announce Type: cross Abstract: We report a machine-verified resolution of a problem open for over a decade in quantum optimization:…