The Quantum Pyramids Conjecture
Englert and Rehacek conjectured which measurement is globally information-optimal for an ensemble of equiangular equiprobable pure states. Their conjecture holds, via the remaining entropy inequalities of Holevo and Utkin.
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-assisted
- Method
- Argument
- Field
- Quantum information
- Posed by
- Berthold-Georg Englert, Jaroslav Rehacek
- Year posed
- 2009
- Years open
- 17y
- Solved
- 2026-06-12
- Model
- ChatGPT Pro 5.4
- Vendor
- OpenAI
- Collaborators
- Alvan Arulandu
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The acknowledgement credits the model with calculations used to prove the technical lemmas in the appendix.
Verification
Single-author arXiv preprint; not yet peer-reviewed.