Has V. LafforguesLafforgue proved the automorphic-to-Galois direction in the Global Langlands conjectures for general reductive groups over function fields? What is the current status, more generally?
Related What is the current status of the function fields Langlands conjectures?