1 problem

Log-resolution conjecture. There exists such a morphism $f:\tilde{X}\to X$ for which $\tilde{X}$ is a regular scheme and $\tilde{X}_s$ is a normal crossings divisor.