Гильберт утверждал, что ГР будет решена в течение его жизни, а Последняя теорема Ферма будет доказана в течение жизни младшего поколения из тех, кто присутствовал в аудитории, но «никто в этом зале не доживет до доказательства Седьмой». На самом деле Седьмая проблема была доказана менее 10 лет назад Александром Гельфондом и Теодором Шнайдером, которые работали независимо. Насчет Последней теоремы Ферма Гильберт был с некоторой натяжкой прав — ее доказал Эндрю Уайлс в 1994 году, когда младшим из слушателей Гильберта должно было стукнуть девяносто с небольшим. Однако он радикально ошибся насчет ГР. Если ГР сыграет и со мной злую шутку — если все то, что я собираюсь сказать, обесценится и «умножится на нуль» из-за того, что доказательство ГР появится в тот момент, когда эта книга будет лежать уже в переплетном цехе, — если такое случится, то я, по крайней мере, буду утешаться тем, что окажусь в неплохой компании.
Итак, я подставляю шею и говорю, что, по моему мнению, доказательство ГР лежит где-то далеко за границами того, что нам сегодня доступно. Обзор новейшей истории попыток доказательства Гипотезы Римана несколько напоминает изложение хода затяжной и тяжелой войны. Случаются внезапные наступления, застающие неприятеля врасплох, масштабные битвы и перемены судьбы, от которых сжимается сердце. Наступают и временные затишья — периоды истощения, когда обе измученных войной стороны почти ничего не предпринимают, но совершают вылазки малыми силами для проверки оборонительных рубежей противника. Случаются и прорывы, за которыми следует всплеск энтузиазма, но также бывают и патовые ситуации, сопровождаемые периодом апатии.
Мое впечатление о состоянии дел на данный момент (середина 2002 года) — хотя надо оговориться, что это лишь впечатление наблюдателя, который сам в бою не участвует, — таково, что исследователи находятся в патовой ситуации. В битве наступило затишье. Мощнейший взрыв интереса, вызванный доказательством гипотез Вейля, предложенным Делинем в 1973 году, и продвижениями Монтгомери-Одлыжко в период с 1972 по 1987 год, как мне кажется, исчерпался.
В мае 2002 года я провел три дня в офисе АМИ в Пало-Альто, занимаясь тем, что просматривал видеозапись конференции 1996 года в Сиэтле. А через месяц после этого я был на рабочем совещании в Институте Куранта. Вычитание числа 1996 из числа 2002 дает шесть лет. «Вычитание» содержания конференции в Сиэтле из курантовского совещания показывает, что математики, собравшиеся в Институте Куранта, смогли показать не так много нового. Вообще-то это не слишком неожиданное заявление, и я никоим образом не придаю ему пренебрежительного или уничижительного оттенка. Деятельность, о которой идет речь, исключительно трудна. Прогресс в ней дается не быстро, а шесть лет — срок в истории математики небольшой. (Доказательство Последней теоремы Ферма потребовало 357 лет!) И кроме того, на совещании в Курантовском институте были яркие доклады молодых математиков, таких как Иван Фесенко.
Но основное впечатление все же свелось к тому, что наблюдается патовая ситуация. Как будто бы ГР представляла собой гору, на которую совершается восхождение, но с какого направления к ней ни подбираешься, рано или поздно застреваешь у края широкой и бездонной расселины. Я сбился со счета, пытаясь прикинуть, сколько раз, будь то в 1996 или в 2002 году, докладчик заканчивал свое выступление, буквально разводя руками: «Это, конечно, очень важное достижение, однако неясно, удастся ли перекинуть отсюда мостик к доказательству классической Гипотезы Римана…»
Сэр Майкл Берри, который знает толк в словах, ввел в обращение концепцию «кларитона», который он определяет как «элементарную частицу внезапного понимания».[207] В области ГР в настоящее время ощущается дефицит кларитонов.
Эндрю Одлыжко: «Сказано, что, кто бы ни доказал истинность Теоремы о распределении простых чисел, тот достигнет бессмертия. И верно: и Адамар, и де ля Валле Пуссен дожили до девяноста с лишним лет. Возможно, ГР не верна; но если кто нибудь сумеет доказать ее ложность — найти нуль вне критической прямой, — то он умрет на месте и о его результате никто никогда не узнает».
Если оставить в стороне вопрос о поиске доказательства, то каковы ощущения математиков насчет ГР? Что им подсказывает их интуиция? Верна ГР или нет? Что они по этому поводу думают? Я специально спрашивал всех математиков, с которыми удавалось поговорить, верят ли они в справедливость Гипотезы. Ответы образовали широкий спектр с довольно разнообразным набором собственных значений.