I will outline the recent proof of the (global, unramified) geometric Langlands conjecture, obtained in collaboration with Arinkin, Chen, Gaitsgory, Faergeman, Lin, Raskin and Rozenblyum.

The talk is aimed at non-specialists: in particular, I will highlight some key geometric ingredients that might be useful in other situations.