Саймон Сингх - Великая Теорема Ферма

С тех пор, как Хзянь представил усовершенствованный вариант доказательства, между ним и его критиками шла непрекращающаяся борьба. Правильность предъявленного Хзянем усовершенствованного доказательства остается под вопросом. Во всяком случае, для того, кто хочет доказать гипотезу Кеплера, дверь остается открытой. В 1996 году Дуг Мудер изложил свое ви́дение ситуации вокруг доказательства Хзяня, обнаружив некую интригу:

«Недавно я вернулся с Совместной летней научно-исследовательской конференции по дискретной и вычислительной геометрии, состоявшейся в Маунт Холиоке под эгидой Американского математического общества, Института управленческих наук и Общества промышленной и прикладной математики. Такие конференции проводятся раз в десять лет, поэтому акцент делался на прогрессе, достигнутом за последние десять лет. Хзянь заявил о том, что ему удалось доказать гипотезу Кеплера шесть лет назад. Я обнаружил, что сообщество пришло к согласию по этому поводу: его доказательство "никто не покупает".

На пленарных лекциях и во время неформальных дискуссий неоднократно обсуждались следующие вопросы.

1. В статье Хзяня (опубликованной в "International Journal of Mathematics" в 1993 году) не содержится доказательства гипотезы Кеплера. В лучшем случае это набросок доказательства (на 100 страниц!), его общий ход. Таким доказательство могло бы быть.

2. Эта статья не может считаться даже наброском, так как к некоторым ее утверждениям обнаружены контрпримеры.

3. Столь же необосновано утверждение Хзяня о якобы найденном им доказательстве гипотезы о додекаэдре (и различных других ранее недоказуемых проблем упаковки шаров).

4. Работа над гипотезой Кеплера и гипотезой о додекаэдре должна продолжаться так, как если бы статьи Хзяня никогда не существовали.

В одной из лекций Габор Фейеш-Тот из венгерской Академии наук так отозвался о статье Хзяня: "Эту работу нельзя рассматривать как доказательство. Проблема по-прежнему остается открытой." Ему вторил Томас Хейлис из Мичиганского университета: "Проблема Кеплера остается нерешенной. Я не решил ее. Хзянь не решил ее. Насколько мне известно, никто не решил ее." (Хейлис предсказывал, что его собственный метод позволит решить проблему Кеплера "через год-другой".)

Самое интересное в этой истории — то, что один математик так и не присоединился к общему мнению, а именно сам Хзянь (он не был участником конференции). Хзянь был великолепно осведомлен о контрпримерах и о том, что специалисты не верят его утверждениям, но продолжал выступать с лекциями по всему миру, в которых не уставал снова повторять эти утверждения. Те математики, которым доводилось лично общаться с Хзянем (например, Хейлис и Бездек), считают, что Хзянь никогда не признавал, что в его статье имеются ошибки.

Именно по этой причине «пыль» оседала так медленно. Хзянь впервые заявил о том, что располагает доказательством гипотезы Кеплера в 1990 году, т. е. шесть лет назад. Публичные выступления Хзяня достаточно расплывчаты и неопределенны для того, чтобы быть правдоподобными. Через несколько месяцев после первых заявлений о том, что он располагает доказательством, когда появился первый препринт, в доказательстве сразу же были обнаружены пробелы, а вскоре последовали и контрпримеры. Но Хзянь упорно не прекращал лекционную деятельность, и это обстоятельство создавало впечатление, что он, по-видимому, справляется с теми возражениями, которые возникают. Объем его статьи и то, что текст доказательства претерпел несколько переработок до публикации, еще больше усиливали разноголосицу и неразбериху.

Случай с Хзянем показывает, до какой степени математики полагаются на представления о чести. Математическое сообщество исходит из предположения, что почтенные профессора из самых престижных университетов не станут делать скоропалительные, безосновательные заявления и откажутся от ошибочных утверждений, едва в них будет обнаружен пробел. Тот, кто нарушит сложившуюся систему, основанную на представлениях о профессиональной честности, породит смятение, которое будет длиться долго, так как ни у кого нет ни желания, ни времени следовать повсюду за нарушителем и опровергать его всякий раз, когда он будет высказывать ложные утверждения. (Представьте себе, какой объем работы потребовалось проделать Хейлису, чтобы написать свою разоблачительную статью, опубликованную в 1993 году на страницах журнала "Mathematical Intelligencer", и примите во внимание, что она ничего не дала для математической карьеры самого Хейлиса, — и вы поймете эту проблему. Хзянь опубликовал ответ на статью Хейлиса, но его доводы оказались совершенно несостоятельными. Хейлис счел, что критика ответа Хзяня означала бы вхождение в нескончаемый цикл, на продолжение которого у него просто нет времени.)