Weiss's singularity conjecture for symmetric random sign matrices

Let $M_n^{\mathrm{sym}}$ be an $n\times n$ symmetric random sign matrix, and let $p_n^{\mathrm{sym}}$ be the probability that it is singular.

Weiss's singularity conjecture.

$$p_n^{\mathrm{sym}}=o(1).$$

The conjecture was circulated by Weiss and was subsequently proved by Costello, Tao, and Vu, so it is solved.