Quantum K-theory Chevalley formula for flag varieties

Let $G/B$ be a flag variety with Weyl group $W$, let $s_i$ be a simple reflection, and let $QK(G/B)$ denote its quantum K-theory ring. For a root $\beta$, let $Q_\beta$ be the quantum Bruhat operator, and let $(\beta_1,\dots,\beta_l)$ be a $(-\omega_i)$-chain of roots. The notation $[w]$ denotes the corresponding basis element of $QK(G/B)$.

Quantum K-theory Chevalley conjecture. For every $w\in W$,

$$[s_i]\circ [w]=\left[(1-(1-Q_{\beta_1})\cdots(1-Q_{\beta_l}))(w)\right],$$

where $\circ$ denotes the product in the ring $QK(G/B)$.

This conjecture proposes a Chevalley-type formula for quantum K-theory of the flag variety, extending the corresponding quantum cohomology formula. The supplied source does not state whether it has been proved or disproved.