Через несколько десятилетий проблемы, связанные с огромным объемом вычислений, стали существенно более доступными. С появлением компьютера большому объему вычислений, связанных с доказательством Великой теоремы Ферма, стало возможно противопоставить быстродействие вычислительных машин. И после второй мировой войны группы программистов и математиков доказали Великую теорему Ферма при всех значениях n до 500, затем до 1000, а позже до 10000. В 80-е годы Сэмюэль С. Вагстафф из университета Пурду поднял предел до 25 000, а совсем недавно математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов.

И хотя нематематикам могло бы показаться, что положение с доказательством Великой теоремы Ферма, наконец, стало лучше, математическое сообщество сознавало, что успех носит чисто косметический характер. Даже если бы суперкомпьютеры провели десятилетия в непрерывных вычислениях, доказывая Великую теорему Ферма при значениях n одно за другим, то и тогда им не удалось бы доказать теорему для каждого значения n до бесконечности, и поэтому никто не мог бы утверждать, что Великая теорема Ферма доказана во всей общности. Ведь даже если бы теорему удалось доказать для n до миллиарда, то и тогда не было бы никаких причин, по которым она должна была бы быть верна для n , равного миллиарду плюс один. Если бы теорему удалось доказать для n до триллиона, то нет причин, по которым она должна была бы быть верна для n , равного триллиону плюс один, и т. д. до бесконечности. Бесконечность недостижима за счет одной лишь грубой силы — перемалывания чисел с помощью компьютера.

Дэвид Лодж в своей книге «Странствия в картинках» приводит красочное описание вечности, имеющее отношение к аналогичному понятию бесконечности: «Представьте себе стальной шар размером со Вселенную и муху, которая садится на него раз в миллион лет. Когда этот стальной шар обратится в пыль от трения, вечность еще даже не начнется». Тем не менее, результаты, полученные с помощью компьютеров, свидетельствовали в пользу Великой теоремы Ферма. Поверхностному наблюдателю могло показаться, что этих результатов предостаточно, но сколько бы ни было данных, любое их количество не могло удовлетворить математиков — сборище скептиков, которые не признают ничего, кроме абсолютного доказательства. Экстраполяция теории на бесконечное множество чисел, опирающаяся на результаты, полученные для конечного количества чисел, — игра рискованная (и неприемлемая).

Насколько опасна такая экстраполяция с конечного множества на бесконечное показывает одна последовательность простых чисел. В XVIII веке математики доказали, что все следующие числа простые:

31, 331, 3 331, 33 331, 333 331, 3 333 331, 33 333 331

.

Следующие числа становились все бóльшими гигантами, и проверка их на простоту потребовала бы значительных усилий. Некоторые математики поддались искушению выдать замеченную закономерность за правило и предположили, что все числа указанного вида простые. Но уже следующее число 333 333 331 оказалось составным: 333 333 331 = 17·19 607 843.

Другим хорошим примером, показывающим почему не следует доверять только результатам компьютерных расчетов, может служить гипотеза Эйлера. Эйлер предположил, что уравнение

x 4 + y 4 + z 4 = w 4 ,

аналогичное уравнению Ферма, не имеет ненулевых решений в целых числах. На протяжении двух столетий никому не удавалось доказать гипотезу Эйлера, как, впрочем, и опровергнуть ее контрпримером. Ни первые вычисления вручную, ни долгие годы просеивания чисел с помощью компьютеров не позволили обнаружить ни одного решения. Отсутствие контрпримера воспринималось как убедительное свидетельство в пользу гипотезы Эйлера. Но в 1988 году Наум Элькис из Гарвардского университета нашел следующее решение: