2 problems

Least-cardinal structural reflection conjecture. A cardinal $\kappa$ is the least cardinal satisfying some large-cardinal notion if and only if $\kappa$ is the least cardinal satisfy…

Structural reflection characterization conjecture. Every known large cardinal notion is equivalent to some form of SRP.