Проблема 3x+1: Задача для школьника, которая сломала величайших математиков

[NeoCode2]

Вот кстати достойная задачка для ИИ.

[tenzink]

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

Кажется из физики шутят

[NeoCode2]

Речь не о том что я верю или не верю, а о том что это само по себе - достойная реальная задача для ИИ (и для инженеров которые ИИ разрабатывают). Тест Тьюринга ИИ уже проходят, надо двигаться дальше. Т.е., если она будет решена с помощью ИИ, то это будет реально круто для человечества - потому что это скорее всего будет одним из признаков качественного скачка искусственного интеллекта.

[kipar]

Чтоб два раза не запускать, пусть заодно проблему Гольдбаха решат, ну и на остаток токенов квантовую гравитацию построят.

[tenzink]

И с нулями дзета функции Римана пусть ещё разберётся

[tenzink]

Это не реальная задача для ИИ. ИИ может работать, комбинируя известные подходы под руководством хорошего специалиста, который знает куда примерно копать. А придумывать новые подходы не умеет. Судя по тому, сколько не берётся эта проблема, для этой задачи нужно придумать что-то новое

[avshkol]

Еще раз проникся уважением к Теренсу Тао. Я переводил и публиковал здесь, на Хабре, его лекции об астрономии и открытиях:

Космическая лестница расстояний

Полный текст интервью Теренса Тао: Кеплер, Ньютон и подлинная природа математического открытия

[kipar]

Разные ее модификации кстати используют для busy beaver кандидатов - машину считающую такую последовательность построить очень легко, а вот остановится она или нет сказать очень сложно, некоторые модификации останавливаются на очень больших числах.

[HardWrMan]

И снова у нас тут стенограмма старого видоса?

На русском:

[jetnet]

Так статья - выжимка из видоса. Nice :)

[wataru]

Ох, а сколько статей на хабре горе-математики на эту тему написали. Всегда такие заковырестые ошибки делают.

[michael_v89]

Я пробовал разобраться в этой задаче. Пришел к следующему.
Надо использовать двоичную запись;
учитывать, что любое число начинается с лидирующих нулей;
не делить на 2, а увеличивать “+1” в 2 раза (+2^k), чтобы добавление происходило в последний разряд, равный 1, тогда в конце тоже будут нули;
и доказать, что перенос единицы при сложении 2^k попадает в какой-то промежуточный 0, то есть длина числа при этом не увеличивается, а в конце добавляются 1 или больше нулей.

То есть вроде как добавление 1 в конец постепенно заполняет через перенос все более старшие нулевые разряды, а в конце появляются нули. И надо доказать, что это происходит быстрее, чем число растет от умножения на 3. Тогда нули в конце постепенно догонят лидирующую единицу.

[wataru]

А ученые-то не догадались.

[michael_v89]

С чего вы взяли, что я считаю, что ученые не догадались?

[HardWrMan]

Посмотрите видео в моём сообщении выше.