K-theoretic Hall algebra–quantum affine algebra isomorphism conjecture

Let $Q$ be a quiver, and let $(\widetilde{Q},\widetilde{W})$ be the associated tripled quiver with potential. Let $\mathfrak{g}_Q$ be the Lie algebra associated to $Q$ in the Okounkov–Smirnov construction, and let $U_q^{>}\left(\widehat{\mathfrak{g}_Q}\right)$ denote the positive part of the corresponding quantum affine algebra. For the natural one-dimensional torus $\mathbb{C}^*$, write $\operatorname{KHA}_{\mathbb{C}^*}(\widetilde{Q},\widetilde{W})$ for the equivariant K-theoretic Hall algebra. K-theoretic Hall algebra conjecture. There exists an isomorphism

$$\operatorname{KHA}_{\mathbb{C}^*}(\widetilde{Q},\widetilde{W})\cong U_q^{>}\left(\widehat{\mathfrak{g}_Q}\right).$$

This conjecture proposes a K-theoretic analogue of the expected relationship between cohomological Hall algebras and Yangians. The source gives no resolution, so the conjecture remains open.