Прошу прощения, что чуть в сторону от темы, но сдаётся мне, что гипотеза Коллатца почти опровергнута.
Вопрос Коллатца: Есть ли такое число, которое не рождено единицей?
Ответ: Нет.
Кажется, есть такое число.
Дело в том, что ребята из израильского Техниона во время коронавирусных карантинов (занятий не было) баловались и прогоняли простенькую программку проверки гипотезы Коллатца на универском суперкомпе.
И нарвались на число

.
Это число 25-значное, вполне себе составное:

Студенты провели около 6,5 млн. итераций и ни разу не спустившись ниже этого числа, достигли величин порядка

, причём никакой тенденции к снижению не наблюдалось.
Я понимаю, что опровергнуть гипотезу легче, чем доказать. Ведь доказать нужно для
всех чисел (пусть нечётных), для опровержения же достаточно указать
единственное число.
Ну, вот, кажется, и есть контрпример. Хотя...