In 2012 E. H. Lieb and J. P. Solovej proved a substantial part of this conjecture, confirming the minimum value of the Wehrl entropy for Bloch coherent states, and the fact that it is reached for any pure Bloch coherent state. The problem of the uniqueness of the minimizer remains unresolved.
