ヴェイユ予想
Proved the Riemann hypothesis for varieties over finite fields, settling the last of the open Weil conjectures.