Как я доказал гипотезу Коллатца (3n+1) без математики

В сфере искусственного интеллекта произошло заметное событие. DarkVedmakl 12 минут назад Как я доказал гипотезу Коллатца (3n+1) без математики Простой 4 мин 153 Математика * Визуализация данных * Аналитика Recovery Mode Спойлер: только для себя. Итак: Представьте себе бесконечную влево ленту, на которой записаны нули и единицы, но в любой момент справа идёт конечная часть числа, а левее — бесконечные нули (они не влияют на значение). Всё движение происходит у правого края.

На этой ленте живёт клеточный автомат со следующими правилами:Если крайний правый символ 0 — просто стираем его (равносильно делению на 2). Если крайний правый символ 1 — значит число нечётное. Тогда вместо 3n+1 мы применяем эквивалентную операцию 4n-n+1, которая смотрит на небольшое окончание ленты и переписывает его так, чтобы породить как можно больше нулей справа.

Технические детали

В терминах двоичной записи:01 (на конце) превращается в 00 (и появляются два новых нуля справа, которые тут же сотрутся)011 — в 010 (один ноль)0111 — в 0110 (тоже один ноль)001 — в 000 (три нуля) и так далееВ общем, «пятно» из 01... 1 превращается в 10... 0 той же длины, а затем лишние нули удаляются с края.

Автомат «выедает» блоки единиц у правого края, заменяя их нулями и иногда «выплёвывая» единицу левее (перенос). После этого правые нули сразу отбрасываются, и процесс повторяется. Ключевое свойство: локальность и независимость от длиныВажнейшее наблюдение: работа автомата определяется только небольшим правым кусочком ленты.

Что происходит далеко слева — ему безразлично, пока «волна» переноса не доберётся туда. Поэтому: Длина числа может быть сколь угодно большой (бесконечность размерности), но механика преобразований остаётся той же самой. Увеличение длины всего лишь даёт больше пространства для временного роста (иногда число становится длиннее), но не меняет локальных правил.

Отраслевые последствия

Это типичная ситуация для клеточных автоматов, работающих на полубесконечной ленте с конечным числом единиц: глобальная структура полностью определена локальными переходами, и вопрос о сходимости к состоянию 1000... 0 — это вопрос о том, является ли состояние «одна единица и все нули» глобальным аттрактором. Бесконечность: преграда или необходимое условие?

Если бы существовала максимально возможная длина (скажем, 100 бит), автомат мог бы «застрять» в цикле: конечное число конфигураций гарантировало бы либо попадание в 1, либо зацикливание. В конечном пространстве гипотеза была бы просто проверкой перебором, но в нём же могли бы и найтись циклы. Бесконечность же пространства длин даёт возможность числу расти без зацикливания, чтобы потом, пройдя через «пик», всё равно начать схлопываться к 1.

Иными словами, отсутствие верхней границы на длину — это то, что позволяет автомату «разогнаться» и затем всё равно «остановиться» в единственно возможном стационарном состоянии 1.

Этот прогресс даёт важные сигналы о будущем отрасли, и технологический мир внимательно наблюдает.