ChatGPT 5.6 Sol 提出 QMA(2) vs QMA quantum-oracle separation 的核心证明思路，并解决 Watrous no-disentanglers conjecture

Bostanci、Grewal、Haferkamp、Huang、Hwang、Natarajan 与 Nirkhe 构造一个 quantum oracle，使得 QMA^U ≠ QMA(2)^U；作为非 oracle 后果，他们证明在 ε+δ<1 时任何 (ε,δ)-disentangler 都需要随输出 qubits 指数增长的输入规模，从而解决 Watrous 的 no-disentanglers conjecture。作者披露主定理的 proof idea 由 ChatGPT 5.6 Sol 在被引导到 She–Yuen polynomial method 后提出，随后由人类作者验证、简化并发展为论文。