Bray–Iga conjecture on the Riemannian Penrose inequality for conformally flat manifolds

Let $M$ be an asymptotically flat Riemannian manifold of arbitrary dimension that is conformally flat and has nonnegative scalar curvature. If $M$ contains an outermost minimal hypersurface of area $A$, let $m$ denote its ADM mass and let $\omega_{n-1}$ denote the area of the unit $(n-1)$-sphere. The Riemannian Penrose inequality is

$$m\ge \frac{1}{2}\left(\frac{A}{\omega_{n-1}}\right)^{\frac{n-2}{n-1}}.$$

Bray–Iga conjecture. The Riemannian Penrose inequality holds for arbitrary-dimensional conformally flat, asymptotically flat manifolds with nonnegative scalar curvature.

This conjecture extends the Riemannian Penrose inequality beyond the dimensions and hypotheses covered by the results known at the time, and concerns the conformally flat setting where the positive mass theorem follows from Green's formula. The source does not provide evidence of a resolution.