We consider the following three models from statistical mechanics: the asymmetric simple exclusion process, the stochastic six-vertex model, and the ferroelectric symmetric six-vertex model. It had been predicted by the physics communities for some time that the limiting behavior for these models, run under certain classes of translation-invariant (stationary) boundary data, are governed by the large-time statistics of the stationary Kardar-Parisi-Zhang (KPZ) equation. The purpose of this talk is to explain these predictions in more detail and survey some of our recent work that verifies them.