Wang's Penrose inequality conjecture for asymptotically hyperbolic 3-manifolds

Let $(M,g)$ be an asymptotically hyperbolic $3$-manifold with scalar curvature $R\geq -6$ and mass $M$. Let $\Sigma_0$ be an outermost sphere with mean curvature $H(\Sigma_0)=2$. Wang's Penrose inequality conjecture. One should have

$$M\geq \left(\frac{|\Sigma_0|}{16\pi}\right)^{1/2}.$$

If equality holds, then $(M,g)$ is isometric to an Anti--de Sitter--Schwarzschild manifold outside $\Sigma_0$. The conjecture is the asymptotically hyperbolic analogue of the Penrose inequality for asymptotically flat $3$-manifolds; the source presents it as a conjecture and does not state a resolution.