Компьютер может проверить гипотезу Коллатца для огромного, но конечного набора стартовых чисел. Доказательство должно охватить каждое положительное целое, включая бесконечно много чисел за любой проверенной границей. Контрпримером было бы стартовое число, путь которого никогда не приходит к 1. Опубликованная проверка исключает такие числа ниже 2⁷¹, но не закрывает гипотезу целиком.
Это не история о слабости компьютеров или о недоверии к программе. Хорошая программа отвечает на точно поставленный конечный вопрос. Трудность в словах «для каждого»: сколько бы новых чисел ни проверили, за последним из них останется бесконечный хвост. Разберём, чем один вычисленный путь отличается от сплошной проверки, какую общую идею могло бы использовать доказательство и почему результат Теренса Тао о «почти всех» траекториях всё ещё не означает «обо всех».
В статье вы узнаете:
Для положительного целого числа действует простое правило: чётное делят на 2, нечётное умножают на 3 и прибавляют 1. Затем действие повторяют. Гипотеза утверждает, что любой положительный старт когда-нибудь попадёт в 1. Само правило и примеры подробно разобраны в калькуляторе последовательности Коллатца; здесь нас интересует логика проверки.
В рецензируемой работе Дэвида Барины 2025 года опубликована сплошная проверка всех стартов ниже 2⁷¹. Это число равно 2 361 183 241 434 822 606 848. Для каждого положительного целого в конечном диапазоне вычисление установило сходимость к известному пути, который приводит к 1.
Слово «сплошная» важно. Программа не выбрала миллиард удачных примеров наугад. Она покрыла каждый старт от 1 до указанной границы с помощью строгих вычислительных сокращений. Поэтому результат сильнее статистического опыта: внутри диапазона неизвестного пропуска нет.
Но сразу после границы существует число 2⁷¹ + 1. За ним есть следующее, затем ещё одно, и этот ряд не заканчивается. Проверка любого конечного диапазона оставляет бесконечно много стартов снаружи.
Фраза «проверено 99,9% натуральных чисел» здесь не имеет смысла. Каким бы большим ни был конечный диапазон, среди всех натуральных чисел он не занимает положительной доли. Его сила в другом: он точно закрывает все малые случаи до известной границы.
Массовая проверка использует уже установленный результат для меньших чисел. Рассмотрим путь из 7:
7 → 22 → 11 → 34 → 17 → 52 → 26 → 13 → 40 → 20 → 10 → 5.
На числе 5 можно остановиться. Оно меньше 7, а его путь был проверен раньше. Если 5 доходит до 1, то и весь хвост из 7 приходит туда же. Массовая проверка использует этот критерий остановки, математически отсеивает заранее разобранные классы чисел и распределяет диапазоны между процессорами. Логическая опора остаётся той же: для очередного старта достаточно добраться до меньшего уже проверенного значения.
Отсюда видна и возможная схема полного доказательства. Если бы удалось доказать, что путь из каждого n > 1 когда-нибудь попадает в некоторое m < n, дальше сработала бы сильная индукция:
Для каждого отдельного проверенного n программа находит такое снижение. Нерешённая часть состоит в одном общем утверждении для бесконечно многих n. Миллиарды найденных снижений подсказывают закономерность, но сами не превращаются в универсальное правило.
Допустим, мы взяли старт из тысячи цифр, проследили его путь до 1 и получили впечатляющий график. Мы узнали точный факт об одном числе. Сплошная граница при этом могла не сдвинуться ни на единицу: между прежним пределом и случайным стартом остались непроверенные значения.
Здесь полезно различать четыре формы результата:
Пункты о конечном диапазоне и «почти всех» нельзя просто поставить один выше другого. Сплошная проверка сильнее тем, что не пропускает ни одного числа ниже B, зато молчит обо всём хвосте. Результат «почти все» охватывает бесконечное множество, но допускает исключения. Полная гипотеза сильнее обоих результатов: она требует каждого положительного старта без единого исключения.
Калькулятор eCalc решает задачу первого уровня: точно строит одну выбранную траекторию, считает шаги и показывает максимум. Его ограничение по вводу относится к интерфейсу, а не к современному вычислительному рекорду и не к статусу гипотезы.
Чтобы опровергнуть фразу «каждый положительный старт достигает 1», достаточно одного положительного целого числа, которое этого не делает. Для его бесконечной траектории остаются два принципиальных варианта:
Почему других вариантов нет? Если бесконечная последовательность положительных целых остаётся ниже некоторой границы, она выбирает значения из конечного набора. Рано или поздно какое-то значение повторится. Правило детерминировано, поэтому после повторения начнётся тот же хвост, то есть цикл.
Длинный рост ещё не является контрпримером. Траектория может подняться очень высоко, а затем вернуться. Долгая работа программы без ответа тоже показывает лишь конечный начальный участок. Найденный нетривиальный цикл можно было бы проверить конечным вычислением, но для доказательства неограниченного роста нужен общий аргумент о бесконечном будущем.
Сплошная проверка уже ограничивает место поиска: неизвестный положительный цикл не может содержать число ниже проверенной границы. Иначе путь этого числа был бы одновременно частью нового цикла и известным путём к 1, что невозможно.
После нечётного n число 3n + 1 обязательно чётно. Часто оно делится на 2 несколько раз. Если представить будущие чётности как случайные, возникает убедительная эвристика: умножение примерно на 3 конкурирует с делением примерно на 4, поэтому логарифм значения в среднем должен уменьшаться.
Эта случайная модель полезна: она объясняет типичное поведение конечных участков пути. Но гипотеза спрашивает о каждом фиксированном n и всей его бесконечной траектории. Даже очень редкий набор стартов может уклоняться от среднего поведения сколь угодно долго. Среднее снижение не исключает ни одного особого бесконечного пути.
Ошибка похожа на вывод «средний рост класса меньше метра, значит, каждый ученик ниже метра». Среднее описывает совокупность, а гипотеза требует утверждение о каждом элементе. Одного исключения достаточно, чтобы универсальная формулировка оказалась ложной.
По той же причине нельзя говорить о «нулевой вероятности контрпримера», не задав случайную модель. Последовательность Коллатца для данного числа полностью определена. Вопрос не в везении конкретного запуска, а в существовании или отсутствии исключительного целого.
Теренс Тао доказал гораздо более сильный результат, чем наблюдение за средним. Простой итог такой: почти все старты в специальном математическом смысле совершают очень глубокий спуск, но теорема допускает исключения и не гарантирует попадание в 1.
Точнее, для любой функции f(N), которая стремится к бесконечности сколь угодно медленно, минимальное значение орбиты Коллатца оказывается меньше f(N) для почти всех N в смысле логарифмической плотности. Полный текст и определения приведены в статье Тао.
У результата остаются два зазора до исходной гипотезы.
Во-первых, f(N) должна расти. Нельзя заменить её постоянным числом 1 или даже постоянной границей 2⁷¹. Теорема говорит, что почти все пути опускаются чрезвычайно низко по сравнению со своим стартом, но не утверждает, что они обязательно попадут в уже проверенный фиксированный диапазон.
Во-вторых, «почти все» не означает «все, кроме конечного списка». Исключительное множество может иметь логарифмическую плотность ноль и при этом быть бесконечным. Для простой аналогии возьмём квадраты 1, 4, 9, 16 и так далее. Они образуют бесконечное множество, но имеют и обычную, и логарифмическую плотность ноль. Это лишь пример редкого бесконечного множества, а не описание предполагаемых исключений Коллатца.
Результат Тао заставляет логарифмически почти все орбиты опускаться ниже любого заранее выбранного растущего порога. Он не утверждает, что возможные контрпримеры сами образуют редкое множество: не сходящаяся орбита тоже могла бы сначала уйти далеко вниз. До гипотезы остаются оба зазора одновременно: растущий порог нужно заменить условием попадания в 1, что при строгом неравенстве равносильно постоянному порогу 2, а «почти все» заменить словом «каждый».
Фраза «компьютер ничего не доказывает» слишком груба. Компьютер может строго проверить конечное число случаев. Этого бывает достаточно, если математическая часть заранее доказала, что все возможные случаи сводятся к конечному списку.
Например, доказательство могло бы состоять из двух частей:
Тогда вычисление стало бы частью доказательства. В задаче Коллатца пока нет первой части, которая превратила бы текущую границу в исчерпывающий список. Поэтому увеличение границы улучшает знание о конечном участке, но не завершает бесконечную задачу.
Важно также разделять ошибку программы и логическую границу метода. Код, оборудование и результаты большой проверки действительно нужно проверять и воспроизводить. Но даже идеальная безошибочная программа до 2⁷¹ не отвечает на вопрос о числе 2⁷¹ + 1 и всех последующих.
Возьмите в калькуляторе несколько стартов и сравните их пути. У 6 траектория быстро попадает в 3 и затем в известный хвост. У 27 она сначала делает длинный подъём и достигает значений намного выше старта, прежде чем вернуться. Такое сравнение хорошо показывает, почему локальный рост не равен опровержению и почему число шагов трудно угадать по величине старта.
Затем найдите первое значение ниже старта. Для 7 это 5 на одиннадцатом переходе. Этот момент связывает эксперимент с логикой массовой проверки: дальше можно использовать уже известный путь меньшего числа.
Но не переносите результат нескольких запусков на все натуральные числа. Калькулятор помогает увидеть объекты гипотезы и проверить конкретную арифметику. Доказательство должно объяснить, почему нужное снижение неизбежно при любом старте, включая ещё не вычисленные.
Та же ловушка встречается и в других формулах, которые долго ведут себя правильно. Например, выражение Эйлера даёт простые числа для первых сорока целых аргументов, а затем получает составное значение. Разбор сбоя формулы Эйлера показывает на меньшем примере, почему длинная серия подтверждений не заменяет утверждение для всех чисел.
Опубликованная проверка до 2⁷¹ является строгим и большим достижением. Она говорит, что контрпример, если он существует, не начинается ниже этой границы. Теорема Тао устанавливает глубокое снижение для логарифмически почти всех траекторий, но ничего не говорит напрямую о плотности возможных контрпримеров и не доводит их до фиксированной единицы. Ни один из этих результатов не подменяет другой и ни один пока не даёт слова «каждый».
Вычислительный эксперимент отвечает на вопрос «что произошло для этих стартов». Сплошная проверка отвечает «что произошло для каждого старта в этом конечном диапазоне». Доказательство гипотезы должно объяснить «что произойдёт для любого положительного целого, где бы оно ни находилось». Разница между формулировками состоит в одном кванторе, но именно в нём и спрятана вся трудность задачи.
Напишите своё мнение, комментарий или предложение.