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