The Goedel Prize awards outstanding papers in the area of theoratical computer science. All of the papers are linked.
Each computer scientist/student should at least have a look at these great papers. It covers papers of multiple CS fields and there is probably some interesting algorithm/prove that you haven’t heard of yet.
Have a look and enjoy the rabbit hole!