Anick's conjecture on wild automorphisms

Let $K$ be a field of characteristic $0$, and let

$$\omega=(x+z(xz-zy),y+(xz-zy)z,z)$$

be the Anick automorphism of $K\langle x,y,z\rangle$. An automorphism is wild if it does not belong to the group generated by elementary automorphisms. Anick's conjecture. There exist wild automorphisms in $\operatorname{Aut}K\langle x,y,z\rangle$; in particular, the Anick automorphism $\omega$ is wild. The paper is titled “The strong Anick conjecture is true” and presents this assertion as the conjecture being addressed; no resolution is stated in the supplied context, so its status here remains open.