На странице http://ega-math.narod.ru/ есть несколько классических учебников по теории чисел, эллиптическим кривым и другим смежным вопросам.
Там же книга: Саймон Сингх "Великая теорема Ферма", в которой приведены следующие ссылки (самого доказательства в книге нет):
Wiles A. Modular elliptic curves and Fermat's Last Theorem // Ann. of Math., 1995. Vol. 142, P. 443–551.
Эта статья содержит основную часть предложенного Уайлсом доказательства гипотезы Таниямы–Шимуры и Великой теоремы Ферма.
Taylor R., Wiles A. Ring-theoretic properties of certain Hecke algebras // Ann. of Math., 1995. Vol. 142, P. 553–572.
В этой статье приводится описание тех математических методов, которые использовались для восполнения пробелов в варианте доказательства Уайлса 1993 года.
Сам-то я в этом вообще ничего не понимаю, но с большим интересом прочитал о "Гипотезе abc" (см. раздел С. Ленг "Математические беседы для студентов" ). Интересно, есть ли какие-то исследования в этом направлении.