3 problems
Scale-separation conjecture. Classical de Sitter solutions cannot have at the same time a large internal volume, a small string coupling, a bounded number of orientifolds and quant…
Intersecting-source instability conjecture. Classical de Sitter solutions with intersecting sources are unstable.
Parallel-source conjecture. There is no classical de Sitter solution with parallel sources.