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.