Великая теорема Ферма: как это было на самом деле⁠⁠

На множестве натуральных чисел сумма двух четвертых степеней не является четвертой степенью
числа - доказано Пьером Ферма. Так же для третих степеней - Леонард Эйлер, так же для всех
больших степеней - утверждение Великой теоремы Ферма (1637 год).
Не все знают, что теорема доказана. За этот успех Эндрю Уайлз получил кучу премий, а в
родной Великобритании - рыцарское звание. Еще меньше людей знают, что Уайлз доказал НЕ
теорему Ферма, а гипотезу Таниямы и Шимуры, относящуюся к области математического анализа и
аналитической геометрии. Только специалисты поймут суть этой гипотезы (в комментариях -
попытка чуть пояснить).
Настоящий прорыв в доказательстве великой теоремы совершил Герхард Фрей. Он построил
пример, показывающий наглядно, что из истинности гипотезы Таниямы и Шимуры следует истинность
утверждения Ферма. Гении бывают ленивы, и формальное обоснование провел Кен Рибет при
содействии Барри Мазура. Стало достоверно известно, что предположение Фрея справедливо.
В июне 1993 года Уайлз выступил с доказательством гипотезы Таниямы и Шимуры, заключив при этом,
что Великая теорема Ферма доказана. Правда, в доказательстве была обнаружена ошибка. На помощь
Уайлзу отрядили Ричарда Тейлора. Работа была большая, но рутинная, так как необходимые методики
уже существовали (среди их авторов грех не упомянуть нашего соотечественника Колывагина).
Работа была завершена в 1994 году и опубликована в 1995, после многочисленных экспертиз.
С этого момента факт доказательства Великой теоремы Ферма считается свершившимся.
А герой всегда должен быть один.