1
AI with Authority, from Application to Silicon
生成式AI让机器验证从奢侈品变为必需品，成为不可收买的裁判
arXiv:2608.21356v1 Announce Type: cross Abstract: For sixty years, machine verification has been a major cost overhead, affordable only for exceptiona…
2
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:…