Stochastic Airy operator soft-edge eigenvalue conjecture

Let $k$ be a positive integer, and let $\beta$ be the parameter of the stochastic Airy operator and of the soft edge distribution. Stochastic Airy soft-edge conjecture. The $k$th least eigenvalue of the stochastic Airy operator follows the $k$th soft edge distribution, with the same value for $\beta$. This conjecture now appears to be a theorem, due to a proof of Ramírez, Rider, and Virág.