量子优化猜想的机器验证证明

- 这篇预印本宣布了一个量子计算领域的理论突破：通过形式化验证证明了一个关于量子优化算法的重要猜想。 - 所谓"形式化验证"（machine-verified proof）是指用计算机检查证明的每一步逻辑是否正确，消除了人工证明中可能存在的隐藏漏洞。在数学和理论计算机科学中，这是目前最高级别的严谨性标准。 - 量子优化（quantum optimization）研究如何利用量子计算机加速求解现实中的组合优化问题（如物流调度、金融投资组合），是量子计算最有前景的应用方向之一。该猜想此前是领域内悬而未决的核心问题，涉及量子算法能否在某种问题上实现严格的加速保证。 - arXiv是物理学、数学、计算机科学等领域研究者广泛使用的预印本服务器，论文未经同行评议即可发布，但在领域内具有极高权威性。