We review some mathematical work on the Bose gas in the Gross-Pitaevskii regime. We start with the classical results by Lieb, Seiringer and Yngvason on the ground state energy and by Lieb and Seiringer on the existence of Bose-Einstein condensation. Afterwards, we discuss some more recent progress, based on a rigorous version of Bogoliubov theory.
