Да, искал в виде
где
простое. При этом
должно удовлетворять некоторому сравнению по модулю мультиприкативного порядка
Поэтому, если
является делителем решения
то
удовлетворяет некоторому сравнению по модулю
Фиксируем
и пробегаем по подходящим значениям
(с шагом
, я также учитывал неделимость на 2 и 3) вплоть до выбранного предела.
Моей исходной целью было доказать, что 4700063497 и 8365386194032363 - это единственные решения меньшие
(почему-то была такая уверенность), но вдруг вылезло новое решение :)
А насчет тратить время или нет - каждый решает для себя. Я никого ни к чему не призывал.
Добавлено спустя 12 минут 52 секунды:Кстати, о том, как было найдено самое большое из известных решений, можно прочитать
тут. Нашел его такой небезызвестный человек как
Питер Монтгомери. Интерес к задаче со стороны именитых ученых чего-нибудь да значит?