Yesterday I was at Peter Scholze’s Seminaire Bourbaki talk, his write-up is available here. It was advertised as an exposition of the recent proof of the geometric Langlands conjecture, but Pierre Colmez accurately describes it as something much more: the …