Теренс Тао показал: почти все числа в задаче Коллатца опускаются ниже любой границы

Почему гипотеза Коллатца не дает спать математикам: честный разбор

Вы когда-нибудь сталкивались с задачей, правила которой объясняются за минуту, а решение не найдено уже почти 90 лет? Гипотеза Коллатца (она же проблема 3x+1) — именно такой случай. Математики всего мира проверяли триллионы чисел — все они приходят к единице. Но строгого доказательства до сих пор нет. Почему? И есть ли шанс, что простой алгоритм скрывает революцию в теории чисел?

Как работает этот странный алгоритм

Берем любое целое положительное число. Если оно четное — делим на 2. Если нечетное — умножаем на 3 и прибавляем 1. Повторяем. Гипотеза утверждает: какое бы число вы ни взяли, рано или поздно последовательность придет к 1. Далее цикл: 1→4→2→1.

Посмотрите, как по-разному ведут себя числа:

Личное наблюдение автора. Недавно я написал простой скрипт на Python и прогнал числа до миллиона. Все сошлось. Но каждый раз, когда видишь, как число 27 сначала взлетает до 9232, потом падает, снова растет — чувствуешь: в этой простоте кроется что-то глубокое. Интуиция подсказывает, что гипотеза верна. Но математики доверяют только доказательствам.

«В математике проверка даже триллиона примеров — не доказательство. Это лишь свидетельство отсутствия контрпримера среди них. А чисел — бесконечно много.»

Почему задача такая сложная

Главная трудность — взаимодействие сложения и умножения. Когда мы делим четное число на 2, его структура (разложение на простые множители) сохраняется частично. Но умножение нечетного на 3 и прибавление 1 полностью уничтожает информацию о предыдущем числе. Математики пока не нашли формул, которые предсказывали бы, как меняется состав числа после +1. Поэтому каждый шаг приходится вычислять «вручную».

Есть два сценария, которые опровергли бы гипотезу:

• Число попадает в другой цикл (не 1-4-2-1).
• Последовательность уходит в бесконечность, никогда не возвращаясь к малым значениям.

Ни того ни другого не найдено. Но математическое доказательство должно исключить оба варианта для всех чисел.

Что уже доказано: от Терраса до Тао

Серьезные продвижения начались в 1970-х. Вот ключевые вехи:

Работа Тао — однозначно прорыв. Но фраза «почти все» оставляет лазейку: возможно, существуют бесконечно редкие исключения. Полное доказательство все еще ускользает.

«Задача Коллатца — это зеркало, показывающее, насколько хрупко наше понимание самых основ арифметики. Возможно, решение потребует создания совершенно новой математики.»

Пошаговый совет: проверьте гипотезу сами за 5 минут

Вам понадобится любой калькулятор или язык программирования. Вот алгоритм:

1. Выберите число n (например, 27).
2. Пока n ≠ 1: если n четное, замените n на n/2; иначе — на 3×n+1.
3. Считайте количество шагов. Запишите максимальное значение на пути.

Попробуйте n = 27 — вы увидите 111 шагов и пик 9232. Теперь возьмите n = 77031. Угадаете, сколько шагов? (Ответ: 350). Такое поведение — отличная иллюстрация того, почему стандартные методы индукции здесь не работают.

При чем здесь искусственный интеллект

Современные нейросети уже находят контрпримеры к сложным теоремам. Например, OpenAI недавно решил задачу, которая 80 лет не поддавалась людям. Есть надежда, что ИИ поможет и с гипотезой Коллатца: либо найдет контрпример среди сверхбольших чисел, либо обнаружит закономерность, ведущую к доказательству.

Пока же компьютеры проверяют числа до 2^71 (это 2 361 183 241 434 822 606 848). Все они сходятся к 1. Но математики ждут более изящного решения.

Резюме от автора. Гипотеза Коллатца — не просто игра для энтузиастов. Она обнажает фундаментальные пробелы в теории чисел. Если вы программист — напишите свой скрипт, это увлекательно. Если математик — возможно, именно ваше имя войдет в историю. Но лично я ставлю на то, что полное доказательство будет найдено с помощью методов, которые мы пока даже не представляем. И оно окажется прекрасным.