A Machine-Verified Proof of a Quantum-Optimization Conjecture

(arxiv.org) by ilaysat | Jul 2, 2026 | 0 comments on HN