Зима вступила в свои права. Надежды на прорыв окончательно угасали, и все больше математиков высказывали мнение, что Уайлс должен опубликовать рукопись. Слухи не стихали, и в одной из газетных статей появилось сообщение о том, будто Уайлс отказался от попыток восполнить пробел в своем доказательстве и признал, что оно обладает неисправимым дефектом. И хотя автор заметки заведомо преувеличил, не подлежало сомнению, что Уайлс испробовал несколько вариантов в надежде исправить замеченную ошибку и пока не видел новых возможных путей, ведущих к решению.

Уайлс признался Питеру Сарнаку, что ситуация становится отчаянной и он готов признать поражение. Сарнак был склонен думать, что трудности Уайлса отчасти обусловлены его одиночеством: у Уайлса не было надежного человека, с которым он мог бы «перебрасываться» идеями, который вдохновлял бы Уайлса исследовать не столь прямые подходы. Сарнак посоветовал Уайлсу довериться кому-нибудь и попытаться еще раз восполнить пробел. Уайлсу был необходим специалист, свободно владеющий методом Колывагина-Флаха и способный, к тому же, хранить тайну. По зрелом размышлении Уайлс решил пригласить к себе в Принстон для совместной работы Ричарда Тейлора, ученого из Кембриджского университета.

Тейлор был одним из рецензентов, проверявших доказательство. Кроме того, он был бывшим аспирантом Уайлса, поэтому Уайлс питал к нему двойное доверие. В прошлом году Тейлор присутствовал на лекции Уайлса в Институте сэра Исаака Ньютона. Теперь ему предстояло помочь в спасении доказательства, которое оказалось небезупречным.

В январе Уайлс с помощью Тейлора снова без устали исследовал метод Колывагина-Флаха, пытаясь найти выход из создавшегося затруднения. Иногда, после нескольких дней упорнейших усилий, Уайлс и Тейлор вступали на новую территорию, но неизбежно возвращались к исходному пункту. Проникая все дальше и дальше вглубь неизвестной территории и возвращаясь каждый раз туда, откуда они выходили, Уайлс и Тейлор осознали, что находятся в самом центре невообразимо огромного лабиринта. Больше всего они боялись, что этот лабиринт бесконечен, что из него нет выхода и они обречены бесцельно блуждать до скончания времени.

Весной 1994 года, когда казалось, что ситуация не может быть хуже, на экраны компьютеров всего мира поступило следующее сообщение по электронной почте:

Дата: 03 апр 1994

Тема: Снова великая теорема Ферма!

Сегодня в доказательстве великой теоремы Ферма произошел поистине поразительный сдвиг. Наум Элькис заявил, что располагает контрпримером. Таким образом, великая теорема Ферма оказалась неверной! Элькис выступил с сообщением о контрпримере сегодня в Институте. Построенное им решение уравнения Ферма имеет невероятно большую простую степень (больше, чем 1020), тем не менее оно представляет собой разновидность точечной конструкции Хенгера в комбинации с весьма остроумным вариантом метода спуска для перехода от модулярных кривых к кривой Ферма. Самая трудная часть задачи заключается в том, чтобы показать, что область определения решения (которая априори есть некоторое поле классов колец мнимого квадратичного поля) действительно допускает спуск на Q.