Gukov–Schwarz–Vafa's superpolynomial conjecture

Let $K$ be a knot, and let $\overline{\mathit{KhR}}_N(q,t)$ denote the graded Poincaré polynomial of the $sl(N)$ Khovanov–Rozansky homology. A finite polynomial has only finitely many nonzero terms. Gukov–Schwarz–Vafa's superpolynomial conjecture. There exists a finite polynomial $\bar{\mathcal P}(K)\in\mathbb Z[a^{\pm1},q^{\pm1},t^{\pm1}]$ such that

$$\overline{\mathit{KhR}}_N(q,t)=\frac{1}{q-q^{-1}}\bar{\mathcal P}(a=q^N,q,t)$$

for all sufficiently large $N$. This conjecture proposes a single three-variable polynomial encoding the large-$N$ $sl(N)$ knot homologies; the source gives no resolution status.