In this series of 4 lectures we discuss our recent proof (with Zaher Hani and Xiao Ma) on the long-time derivation of the Boltzmann equation, starting from hard sphere dynamics, under the Boltzmann-Grad scaling law. The proof relies on a layering argument, recursive formulas for cumulants, and construction and analysis of combinatorial structures called molecules.