Конечно, математический интерес к простым числам, записываемым в виде 2>n - 1, мог быть связан с совершенными числами, однако к XVII столетию простые числа стали объектом увлечения сами по себе. В то время как одни математики были поглощены вычислением числа π со все большим и большим количеством десятичных знаков, другие посвящали себя нахождению все больших и больших простых чисел. Эти два рода деятельности похожи, но противоположны: если вычисление десятичных знаков в числе π — это поиск все меньших и меньших объектов, то погоня за простыми числами — это взлет вверх, в небеса. Развитию обоих направлений способствовала скорее романтическая аура самого путешествия, нежели возможности практического использования чисел, открытых по дороге.
В ходе этого поиска простые числа вида 2>n - 1 зажили своей собственной жизнью. Эта формула не давала простых чисел при всех значениях n, но для малых чисел процент успеха был весьма неплох. Как мы уже видели, при n = 2, 3, 57 число 2>n - 1 — простое.
Французский монах (и одновременно один из выдающихся ученых своего времени) Марен Мерсенн (1588–1648) просто зациклился на использовании чисел вида 2>n - 1 для производства простых. В 1644 году он выступил с широкомасштабным заявлением о том, что ему известны все значения n до 257, при которых число 2>n - 1 простое. По его словам, это были значения
(А109 461) 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257.
Мерсенн был дельным математиком, однако его список — по большей части плод угадывания. Число 2>257 - 1 состоит из 78 цифр — определенно слишком много для проверки человеческими силами на предмет того, простое оно или нет. Мерсенн осознавал, что его числа — это стрельба наугад. Он говорил о своем списке: «Всего времени не хватит, дабы определить, простые ли они».
Но одному математику времени тем не менее все-таки хватило, — такое нередко бывает в науке. В 1876 году, через два с половиной столетия после того, как Мерсенн предложил свой список, французский специалист по теории чисел Эдуар Люка изобрел метод, позволяющий проверить, являются ли числа вида 2>n - 1 простыми, и выяснил, что Мерсенн был не прав по поводу числа 67 и, кроме того, он пропустил числа 61, 89 и 107. Потрясающе, однако, что Мерсенн оказался прав насчет числа 127. Люка применил свой метод для доказательства того, что число 2>127 - 1 (то есть 170 141 183 460 4 69 231 731 687 303 715 884 105 727) — простое. Оно оставалось самым большим известным простым числом до наступления века компьютеров. Люка, однако, не смог определить, простое или нет число 2