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