The cofinality characterization of non-homogeneously characterizable cardinals
Cofinality conjecture. For κ\kappaκ a characterizable cardinal, κ\kappaκ is not homogeneously characterizable if and only if