Abstract：

The FLE is a basic assertion in the quantum geometric Langlands program, proposed by Gaitsgory-Lurie, which provides a deformation of the geometric Satake equivalence to all Kac-Moody levels. We will report on a proof via the representation theory of the affine W-algebra, which is joint work in progress with Gaitsgory.