Я могу пояснить. Для того, чтобы определить является ли заданное число суммой двух квадратов (сколь угодно большое), потребуется лишь время пропорциональное числу его разрядов: для сдвига в бинарной системе на два разряда вправо и выяснении каков будет остаток

. Что никак по времени не может сравниться ни с каким тестом простоты.
С другой стороны, данный механизм вообще ставит под сомнение возможность использования суммы квадратов в качестве крипто-ключей.
Добавлено спустя 8 минут 45 секунд:
Someone
Вопрос не в этом. Вопрос в том, что даже при наилучшем раскладе гипотеза Римана не может дать ответа на поставленные вопросы, т.е. по сути является обычным нагромождением над здравым смыслом.
Я просто думал, что гипотеза Римана и в самом деле даст ответ не только о плотности распределения, но и о понимании простых чисел. Судя по отсутствию аргументов, я понял, что она многого дать не может.
Механизма я предложить не могу. Но вот доказать, что нули дзета-функции лежат на

можно попытать силы. Если мне удастся понять, почему в отрицательных четных точках она имеет тривиальные нули, но интерес представляют именно "нетривиальные". Хоть ссылочку на статью дайте, если не жалко.
И вообще, когда я в MathCade вместо дзета функции ввожу:

, то как для отрицательных, так и для комплексных чисел я почему-то всегда получаю
