Quantum-oracle separation between QMA(2) and QMA

Is there a quantum oracle relative to which unentangled two-proof verification is more powerful than ordinary QMA?

Sep 2, 2026

Symmetric-subspace oracle separation

Model / AI: ChatGPT 5.6 Sol

self-reported

The authors state that ChatGPT generated the main proof idea after being directed to the polynomial method of She and Yuen. They then verified, simplified and developed it into a quantum-oracle separation and a resolution of Watrous's no-disentanglers conjecture for all error parameters whose sum is below one.

Source read 2026-09-08. Read the abstract, theorem statements and detailed AI-use disclosure in arXiv v1. The proof was not independently checked.

Paper — Paper