Математики нашли ошибку 60-летней давности в основе кристаллической когомологии

Ошибка в доказательстве, скрытая 60 лет

Недавно математики обнаружили ошибку в доказательстве, которое лежит в основе кристаллической когомологии — важного раздела современной геометрии, который в том числе использовался для доказательства теоремы Ферма. Эта ошибка, допущенная в 1965 году, могла стать угрозой для тысяч исследований, основанных на этом доказательстве.

Ошибку нашли случайно, когда переводили старые математические работы в цифровой компьютерный формат. Французский математик Антуан Шамбер-Луар заметил, что в статье Норбера Роби не хватает важного символа, что делало доказательство некорректным.

Как ошибка в доказательстве оказалась не катастрофой

Но паника оказалась напрасной: Брайан Конрад из Стэнфордского университета нашёл независимое доказательство того же результата, что спасло положение.

Интересно, что эта работа велась в рамках более масштабного проекта — формализации доказательства последней теоремы Ферма, одного из величайших достижений математики. Теорема Уайльса использует многочисленные сложные области математики, включая кристаллическую когомологию. Ошибка, обнаруженная в её основах, могла поставить под сомнение точность огромного количества исследований.

Почему ошибки в доказательствах остаются незамеченными десятилетиями

Современная математика становится слишком сложной, чтобы вручную проверять все доказательства. Многие фундаментальные результаты опираются на старые работы, где, как показал этот случай, могут скрываться ошибки.

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

Этот случай — напоминание: даже в математике ошибки могут оставаться незамеченными десятилетиями, пока кто-то случайно их не найдёт.