TY  - RPRT
TI  - A Machine-Verified Proof of a Quantum-Optimization Conjecture
AU  - Uri Kol
AU  - Maor Ben-Shahar
AU  - Kfir Sulimany
AU  - Dirk Englund
PY  - 2026
UR  - https://arxiv.org/abs/2606.29687
ID  - 2606.29687
ER  -