GOE random matrices exhibit eigenvalue repulsion: P(s) = (π/2)s·exp(−πs²/4). Compare to Poisson (uncorrelated levels, integrable systems): P(s) = e⁻ˢ.