GIMPS: нам нужны твои процессор и видеокарта

[Phyxick]

У меня возник вопрос. Почему метод Миллера-Рабина известен с 1980, а начал применяться совсем недавно?

[ky0]

Сам по себе он какого-либо выигрыша в производительности или надёжности не давал. А внедрили его потому, что в сочетании с методом коррекции ошибок Гербикса (который был опубликован на форуме в 2017) позволил избавиться от 2% невалидных результатов LL-тестов. Добавление proof-файлов и сертификации позволило избавиться от повторных проверок.