Problem detail · source-aware

Perfectly Complete Quantum Key Agreement from One-Way Functions

resolvedconfidence 70%

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Whether perfectly complete quantum key agreement can be built from quantumly secure one-way functions in a black-box way. It cannot: for any protocol where Alice and Bob exchange only classical messages, make at most $q_A$ and $q_B$ quantum queries to a Boolean random oracle and agree on a key with certainty, an eavesdropper given the classical messages recovers the key with certainty in $O((q_A + q_B)^5)$ classical oracle queries, independent of the number of rounds and the transcript length.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

GPT-5.6 Sol Ultra

The acknowledgment states that GPT-5.6 Sol Ultra discovered the proof in a one-shot conversation and produced a preliminary draft, with the authors independently verifying every statement and proof, then simplifying and refining the argument.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

arXiv preprint, not yet peer-reviewed.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. arXiv:2608.03824 - Impossibility of Perfectly Complete Many-Round Key Agreement in the QROM

    VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Known method families

argument (source-reported)

Source-reported tools: argument.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.