2 problems

Gorsky–Hogancamp–Simental–Rasmussen conjecture. The knots $\hat\beta(\mathbf{a}(f))$ and $\hat\beta_f$ are isotopic. Up to a monomial in $q$ and $t$,

Syzygy Hilbert-series conjecture. This Hilbert series equals