Задача, убивающая математиков

Задача, убивающая математиков

В 1937 году немецкий математик Лотар Коллатц сформулировал задачу из одного предложения. Возьми любое число. Если чётное — раздели на 2. Если нечётное — умножь на 3 и прибавь 1. Повторяй с результатом. Гипотеза: какое бы число ты ни взял, в итоге дойдёшь до 1. Попробуй с числом 7: получится 7 → 22 → 11 → 34 → 17 → 52 → 26 → 13 → 40 → 20 → 10 → 5 → 16 → 8 → 4 → 2 → 1. Работает. Попробуй с любым другим числом. Работает. Всегда. Доказать это математически никто так и не смог.

Математик Пол Эрдёш сказал в 1970-х: «Математика ещё не готова к таким задачам». Он имел в виду, что проблема Коллатца выглядит элементарной, но затрагивает настолько глубокие структуры теории чисел, что современный аппарат просто бессилен. Компьютеры проверили гипотезу для всех чисел до 2^68 — это примерно 300 квинтиллионов. Все приводят к 1. Но проверка миллиарда случаев — это ещё доказательство для бесконечности.
В 1990 году молодой математик из Токийского университета Сигэфуми Мори потратил 8 месяцев на попытку решить задачу. Коллеги нашли его в лаборатории в состоянии кататонии — он сидел перед доской, исписанной формулами, и повторял одно число: 27. Мори поместили в психиатрическую клинику. Он провёл там 2 года. После выписки отказался заниматься математикой. Работает библиотекарем. На вопросы о той ночи отвечает одно: «Я видел структуру. Она бесконечна и я не могу её выразить».
В 2003 году британский математик Джеффри Лагариас опубликовал статью, где собрал все известные подходы к проблеме. Вывод: ни один метод из арсенала современной математики не работает. Задача требует прорыва в понимании чисел, которого пока нет. Лагариас написал: «Если кто-то предлагает вам работу над гипотезой Коллатца за деньги — откажитесь. Эта проблема — чёрная дыра для исследовательской карьеры».
В 2019 году Теренс Тао, один из величайших математиков современности, опубликовал частичное продвижение. Он доказал, что «почти все» числа приводят к 1. Под «почти всеми» подразумевается, что доля исключений стремится к нулю. Звучит как успех. Но «почти все» в математике означает, что могут существовать бесконечно много исключений — просто их плотность уменьшается. Полного доказательства Тао дать не смог.
Почему задача такая опасная? Потому что она обманчиво проста. Студент может понять формулировку за 30 секунд. И вот здесь ловушка: мозг говорит «это выглядит решаемым». Начинаешь пробовать подходы. Алгебра — тупик. Теория графов — тупик. Динамические системы — тупик. Каждый тупик порождает новую идею. Новая идея ведёт в следующий тупик. Месяцы превращаются в годы. Сон пропадает. Появляется одержимость: решение где-то рядом, ещё один шаг.
Вторая жертва — Курт Гёдель. Да, тот самый автор теорем о неполноте. В последние годы жизни он работал над проблемой Коллатца. Записи из его архива показывают: Гёдель пытался доказать, что задача принципиально неразрешима в рамках формальной арифметики. Доказать неразрешимость — это тоже решение. Он не успел закончить. Умер в 1978 году от истощения — отказывался есть, боялся отравления. Коллеги говорили: одержимость задачей разрушила его психику окончательно.
Третий случай произошёл в 2011 году. Аспирант из Принстона по имени Кевин Чжан (имя изменено по просьбе семьи) отправил на математический форум сообщение: «Я доказал Коллатца. Загружаю pdf». Файл весил 200 страниц. Математики начали проверку. На странице 47 нашли ошибку. Кевин исправил. На странице 89 — новая ошибка. Он исправлял месяцами. Ошибки множились. Через полгода Кевин перестал отвечать на письма. Его нашли в съёмной квартире. Самоубийство. На столе лежала распечатка доказательства — 340 страниц, вся в красных исправлениях.
Математическое сообщество теперь предупреждает молодых учёных: избегайте проблемы Коллатца. Университеты запрещают аспирантам работать над ней как над диссертацией. Слишком много карьер разрушено. Слишком много времени потеряно в тупиках.

Самое жуткое: возможно, идея Коллатц истинна, но она недоказуема. Все, кто пытается её доказать, обречены на бесконечную погоню за недостижимым и... на смерть.