Опубликовано 05.10.2020 с разрешением 2560 × 1440 в галерее Решатель на основе SAT-технологии пытаются применить для доказательства гипотезы Коллатца: велики ли шансы на успех?