  The scope of this survey is to give a self-contained introduction to
synthetic timelike Ricci curvature bounds for (possibly non-smooth) Lorentzian
spaces via optimal transport $\&$ entropy tools, including a synthetic version
of Hawking's singularity theorem and a synthetic characterisation of Einstein's
vacuum equations. We will also discuss some motivations arising from the smooth
world and some possible directions for future research.
