  The aim of this note is to prove that fluctuations of uniformly random
alternating sign matrices (equivalently, configurations of the six-vertex model
with domain wall boundary conditions) near the boundary are described by the
Gaussian Unitary Ensemble and the GUE-corners process.
