A Machine-Verified Proof of a Quantum-Optimization Conjecture
By ilaysat · 2026-07-02 · 3 points · 0 comments
https://arxiv.org/abs/2606.29687
By ilaysat · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews