Какую роль сыграли Эндрю Уайлс и Ричмонд Тейлор в доказательстве теоремы Ферма?

Эндрю Уайлс сделал серьёзный шаг в доказательстве Великой теоремы Ферма. yandex.ru Он смог определить оптимизированный механизм, с помощью которого возможно пересчитать целые точки и проверить их на удовлетворение уравнению теоремы Ферма. infourok.ru В июне 1993 года Уайлс объявил, что доказал гипотезу Таниямы — Шимуры, но не для всех эллиптических кривых, а для одного их класса — полустабильных. yandex.ru

Однако после публикации работы Уайлса эксперты нашли в ней ошибку, которая «убивала» большую часть доказательства. nplus1.ru Ричард Тейлор помог Уайлсу исправить этот недочёт. yandex.ru nplus1.ru Вместе учёные сделали прорыв, и к концу октября 1994 года доказательство было завершено. yandex.ru

Результатом работы стали работы «Модулярные эллиптические кривые и великая теорема Ферма» Эндрю Уайлса и «Теоретико-кольцевые свойства некоторых алгебр Гекке» Ричарда Тейлора и Эндрю Уайлса, опубликованные в 1995 году. nplus1.ru