Кто-нибудь исследовал гипотезу Римана по построенному Матиясевичем полиному?
Правильно ли понимаю, что если это уравнение не имеет решений в неотрицательных целых для фиксированного значения параметра

(определяемого алгоритмически), то гипотеза Римана верна, в противном случае неверна?