Embeddability in $\mathbb{R}^3$ is NP-hard.