Gabai's property R theorem is:

If the 0-surgery manifold of a knot $K$ is homeomorphic to $S^1\times S^2$, then $K$ is the unknot.

Recently, 3-manifold topology has been developed rapidly by Agol, Wise and many other mathematicians.

Is there an another simple proof for property R conjecture?