A review of Lorentzian synthetic theory of timelike Ricci curvature bounds

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.