A normal, projective variety is called Fano if a negative multiple of its canonical divisor class is Cartier and if the associated line bundle is ample. Fano varieties appear throughout geometry and have been studied intensely. The Minimal Model Programme predicts in an appropriate sense that Fanos are one of the fundamental classes of varieties, out of which all other varieties are built. We report on work of Birkar, who confirmed a long-standing conjecture of Alexeev and Borisov-Borisov, asserting that Fano varieties with mild singularities form a bounded family once their dimension is fixed. This has immediate consequences for our understanding of Cremona groups. Following Prokhorov-Shramov, we explain how Birkar's boundedness result implies that birational automorphism groups of projective spaces satisfy the Jordan property; this answers a question of Serre in the positive.

[Following Birkar and Prokhorov–Shramov]