Gorsky–Oblomkov–Rasmussen conjecture for stable Khovanov homology

For $n\geq 1$, let $T(n,\infty)$ denote the stable limit of the shifted Khovanov homologies of the $n$-strand torus links. Let $s_0,\dots,s_{n-1}\in\mathbb Z[x_0,\dots,x_{n-1}]$ be given by

$$s_k=\sum_{i=0}^k x_i x_{k-i}.$$

Give the variables the bigradings $h(x_i)=2i$ and $q(x_i)=2i+2$.

Gorsky–Oblomkov–Rasmussen conjecture. The stable Khovanov homology $\operatorname{Kh}(T(n,\infty))$ is the dual to the homology of the Koszul complex associated to the sequence $s_0,\dots,s_{n-1}$, with the Koszul differential preserving quantum grading and lowering homological grading by $1$.

This conjecture gives an algebraic model for stable Khovanov homology of torus links. The supplied text introduces the claim but does not state whether it has been proved or disproved.