The twisted presentation conjecture for the quantum affine algebra of $\mathfrak{sl}_2$

Let $U_q(\widehat{\mathfrak{sl}_2})$ denote the quantum affine algebra. Let the twisted algebra be generated by $a_{1m}$ for $m\in 2\mathbb Z+1$, by $\gamma$, and by $x_{1n}^{\pm}$ for $n\in\mathbb Z$, subject to the relations associated to $A_1$. Twisted presentation conjecture. The quantum affine algebra $U_q(\widehat{\mathfrak{sl}_2})$ is isomorphic to this twisted algebra. The statement identifies the standard quantum affine algebra with the algebra defined by the displayed twisted current relations, giving an alternative presentation in type $A_1$.