The instability conjecture for classical de Sitter solutions with intersecting sources

Let a classical de Sitter solution be a solution of the ten-dimensional theory with sources consisting of orientifold planes $O_p$ and D-branes $D_p$. The sources are intersecting when they are not parallel, and a classical perturbative instability means that at least one four-dimensional scalar is tachyonic, equivalently satisfying $\eta_V<0$.

Intersecting-source instability conjecture. Classical de Sitter solutions with intersecting sources are unstable.

All previously known classical de Sitter solutions in the considered settings have intersecting sources and are unstable, but no analytic proof of this conjecture has been obtained.