Иначе говоря, задача нахождения числа

сводится к нахождению всех простых чисел

.
А вот мне тоже интересно, за те 20 с лишним лет, что известен многочлен Матиасевича, и подобные ему, они нашли хоть какое-то практическое применение? Насколько я понимаю, трудность заключается в том, что множество сочетаний разных переменных дают одни и те же простые числа, и нельзя указать способ их(переменных) приращения, чтобы многочлен давал простые числа, имеющие последовательные порядковые номера?