Weil conjectures
Proved the Riemann hypothesis for varieties over finite fields, settling the last of the open Weil conjectures.