Dennis Gaitsgory and Jacob Lurie (2022 proof for GL(n))

GPTKB entity