I will describe the main ideas that go into the proof of the
(unramified, global) geometric Langlands conjecture. All of this
work is joint with Gaitsgory and some parts are joint with Arinkin,
Beraldo, Chen, Faergeman, Lin, and Rozenblyum. I will...