In mathematics the modularity theorem (formerly called the Taniyama–Shimura–Weil conjecture and several related names) states that elliptic curves over the field of rational numbers are related to modular forms. Andrew Wiles proved the modularity theorem for semistable elliptic curves, which was enough to imply Fermat's last theorem, and Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor extended his techniques to prove the full modularity theorem in 2001. The modularity theorem is a special case of more general conjectures due to Robert Langlands. The Langlands program seeks to attach an automorphic form or automorphic representation (a suitable generalization of a modular form) to more general objects of arithmetic algebraic geometry, such as to every elliptic curve over a number field. Most cases of these extended conjectures have not yet been proved.
What is interesting is that Fermat's Last Theorem was solved with the help of Modularity Theorem by Andrew Wiles in 1995.
