В течение следующих семи лет Уайлс как одержимый работал над доказательством. Первые два года он посвятил исключительно обзору задачи и рассмотрению всех возможных подходов, стремясь найти метод, который мог бы сработать. По этому поводу англичанин Джон Идензор Литлвуд как-то сказал, что математик должен чувствовать задачу, «словно язык у себя во рту». Основным местом развития событий стал чердак в доме Уайлса в окрестностях Принстона. Уайлс отключил телефон и, не слишком хорошо знакомый с компьютерами, покрывал тысячи и тысячи страниц всевозможными формулами, рисунками, схемами и графиками. Работа продвигалась очень медленно: иногда он пробовал применить уже известный метод, чтобы перейти от одного шага доказательства к другому, в других случаях он слегка изменял известные методы, наконец, в некоторых случаях просто требовалось изобретать нечто совершенно новое. Поначалу Уайлс держал тему своей работы в строжайшем секрете.
Сперва он оценил возможность «подсчитать» все эллиптические функции (напомним, что их бесконечно много), с одной стороны, и модулярные эллиптические функции (которых также бесконечно много) — с другой, и показать, что вычисления в обоих случаях эквивалентны. Этот способ оказался неэффективным, но по ходу работы Уайлс получил важный результат, который помог упростить задачу: вместо доказательства гипотезы Таниямы — Симуры для всех эллиптических кривых нужно было доказать эту гипотезу только для их подмножества, так называемых полустабильных кривых.
На этом этапе Уайлс в поисках вдохновения обратился к теории Галуа, названной в честь ее создателя — безвременно ушедшего из жизни французского математика Эвариста Галуа (1811–1832). Галуа, подлинно трагическая фигура в истории математики, высказал гениальную догадку о перестановках возможных решений (корней) многочлена, которая позднее была развита Огюстеном Луи Коши и Артуром Кэли. Например, многочлен второй степени
х2 — 4х + 1 = 0
имеет корни х1 = 2 + √3 и х2 = 2 — √3.
Оба корня удовлетворяют следующим уравнениям:
x1 + x2 = 4
x1x2 = 1
Оба уравнения будут по-прежнему верны, если мы поменяем местами х1 и х2
x2 + x1 = 4
x2x1 = 1
Галуа подробно изучил функции, инвариантные по отношению к перестановке корней, и определил так называемую группу Галуа для уравнений. Например, группа Галуа для многочлена х2 — 4х + 1 = 0 состоит из двух перестановок: неизменной (в результате которой корни остаются «на своих местах») и транспозиции (показанной в примере).
Эндрю Уайлс в 2000 году.
(фотография: С. Моззочи, Принстон, Нью-Джерси)
Свойства групп Галуа — очень мощный инструмент, который позволяет охарактеризовать чрезвычайно сложные структуры. Уайлс использовал их, чтобы преодолеть первое препятствие на пути к доказательству. В частности, он определил эллиптические уравнения в терминах представлений Галуа и доказал, что их можно ассоциировать с некоторыми характерными элементами модулярных форм. Таким образом, Уайлс переформулировал задачу о подсчете, использовав более «податливые» понятия. Этот первый, но очень важный шаг сам по себе уже заслуживал признания со стороны математического сообщества. Но это был всего лишь первый шаг, а Уайлс потратил на него два года непрерывного труда.