Великая Теорема Ферма

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

О происходящем пронюхали газеты и напомнили математикам о провалившейся сенсации 1986 года с доказательством Великой теоремы Ферма Мияокой. История повторялась. Специалисты по теории чисел теперь ожидали очередного послания по электронной почте с сообщением о том, что в доказательстве обнаружен невосполнимый пробел. Некоторые математики выразили сомнение в том, что доказательство будет получено за лето, и теперь их пессимизм казался вполне оправданным. Рассказывают, будто профессор Алан Бейкер из Кембриджского университета предложил заключить пари на сто бутылок против одной, что в течение года доказательство Уайлса не будет исправлено. Бейкер отрицает эту историю, но гордо заявляет о том, что выражал «здоровый скептицизм».

Менее чем через шесть месяцев после выступления в Институте Ньютона доказательство Уайлса было повержено в прах. Удовольствие, которое Уайлс получал от работы над доказательством в тайне от всех, когда им двигала страсть и надежда, сменились разочарованием и отчаянием. Уайлс вспоминает о том, как мечта его детства превратилась в кошмар: «Первые семь лет моей работы над проблемой я наслаждался противоборством с труднейшей задачей один на один. Какой бы трудной она ни была, сколь бы непреодолимыми ни казались препятствия, я занимался решением любимой задачи. Она была страстью моего детства, я просто не мог отделаться от нее, не мог оставить ни на миг. Затем мне пришлось говорить о Великой теореме Ферма публично — и это вызвало у меня чувство потери. Я испытывал смешанные чувства. Было чудесно видеть, как другие люди реагируют на доказательство, как приводимые аргументы полностью изменяют все направление математики, но в то же время проблема утратила для меня «личное» обаяние. Теперь проблема была открыта всему миру, и я лишился возможности приватно размышлять над ней. И когда с доказательством возникли трудности, десятки, сотни, тысячи людей жаждали отвлечь меня от дела. Заниматься математикой на виду у всего мира не в моем вкусе, и публичная работа над исправлением доказательства не доставляла мне ни малейшего удовольствия».

Специалисты по теории чисел во всем мире сочувствовали Уайлсу, оказавшемуся в весьма затруднительном положении. Кен Рибет сам пережил подобный кошмар восемью годами раньше, когда пытался доказать существование связи между гипотезой Таниямы-Шимуры и Великой теоремой Ферма. «Я выступал с докладом о доказательстве в Институте математических исследований в Беркли, и кто-то из присутствовавших спросил: «Минутку, а откуда Вам известно, что то-то и то-то правильно?» Я немедленно ответил, объяснив свое рассуждение, но мне возразили, сославшись на то, что приведенные мной доводы в данном случае не применимы. Меня охватил панический страх. Я покрылся холодным потом и почувствовал себя весьма неуютно. Затем мне пришло в голову, как можно было бы доказать свою правоту: единственная возможность состояла в том, чтобы обратиться к какой-нибудь фундаментальной работе по данному вопросу и посмотреть, как автор поступает в аналогичной ситуации. Я заглянул в соответствующую работу и убедился в том, что мой метод действительно применим в рассматриваемом случае, и через день-другой все встало на место. В следующей лекции я смог привести обоснование того места в предыдущей лекции, которое вызвало сомнение. Но невозможно было избавиться от страха, что стоит объявить о чем-то важном, как сразу же обнаружится какая-нибудь фундаментальная ошибка.