Её доказал Эндрю Уайлс (Andrew Wiles)из Кембриджа в 1994 году.
Работа называется "Модулярные эллиптические кривые и великая теорема Ферма" ("Modular elliptic curves and Fermat's Last Theorem"), опубликована в Annals of Mathematics в 1995.