Proof — Taniyama–Shimura–Weil and Langlands
Statement
Modularity of elliptic curves; Langlands program. Proved with Wiles (FLT). Proved in ZFC.
Source
Breakthrough Prize in Mathematics 2015. Modularity of elliptic curves; Langlands program. Proved with Wiles (FLT). Proved in ZFC.
Domains
mathematics