Virtual Haken conjecture for hyperbolic 3-manifolds

Let $M$ be a finite-volume hyperbolic $3$-manifold. A $3$-manifold is Haken if it contains a properly embedded incompressible surface. Virtual Haken conjecture. The manifold $M$ has a finite-sheeted cover that is Haken. The notes state that the approach described had not yet produced a complete solution, so the candidate is recorded as open in the source context.