Однозначно да.
Кстати, саму теорему Ферма доказали до Уайлса, то есть ещё раньше, с использованием гипотезы Таниямы-Шимуры. Но вот сама эта гипотеза долгое время не была доказана и когда Уайлс её доказал в 1993 году, то вопрос был закрыт окончательно и бесповоротно.
Точнее, Уайлс доказал частный случай гипотезы, достаточный для доказательства Великой теоремы Ферма. Совсем общий случай гипотезы доказали его студенты в 2001 году.