Shelah's categoricity conjecture states that for every Abstract Elementary Class $\mathcal{K}$ there is a cardinal $\mu$ depending only on $\operatorname{LS}(K)$ (i.e. the Löwenheim–Skolem number of $\mathcal{K}$) such that if $\mathcal{K}$ is categorical in some $\lambda \geq \mu$ (i.e. $\mathcal{K}$ has exactly one model of size $\lambda$ up to isomorphism), then $\mathcal{K}$ is categorical in $\theta$ for all $\theta \ge \mu$.

Due to a result of Will Boney it is known that a weaker form of this conjecture is consistent up to consistency of proper class many strongly compact cardinals. My question is about the inverse direction.

Question:Does Shelah's categoricity conjecture have large cardinal strength? If there is no known result in this direction, what are some known notable connections or theorems that suggest possible existence of some large cardinal strength for this conjecture or an approach for proving such a statement?

The only connection that I'm aware of and seems related to the problem of the consistency strength of Shelah's categoricity conjecture is a connection that exists between abstract elementary classes and accessible categories on one hand and accessible categories and Vopěnka's principle on the other hand. The latter appears in the following characterizations of Vopěnka's principle in terms of category theory (see here):

**Theorem:** The followings are equivalent:

**(1)** The Vopěnka's principle.

**(2)** Every discrete full subcategory of a locally presentable category is small.

**(3)** For $C$ a locally presentable category, every full subcategory $D↪C$ which is closed under colimits is a coreflective subcategory.