Специалист в области «computer science» Эдвард Френкин даже заявил, что когда-нибудь компьютер найдет решение какой-нибудь важной проблемы без помощи математиков. Десять лет назад Френкин учредил премию Лейбница размером в 100000 долларов. Премия будет присуждена первой компьютерной программе, способной сформулировать и доказать теорему, которая окажет «глубокое влияние на развитие математики». Будет ли когда-нибудь присуждена премия Лейбница — вопрос спорный, но одно можно сказать со всей определенностью: компьютерной программе всегда будет недоставать прозрачности традиционных доказательств, и в сравнении с ними она будет проигрывать, уступая им в глубине. Математическое доказательство должно не только давать ответ на поставленный вопрос, но и способствовать пониманию, почему ответ именно таков, каков он есть, и в чем именно состоит его суть. Задавая вопрос на входе в черный ящик и получая ответ на выходе из него, мы увеличиваем знание, но не понимание. Из представленного Уайлсом доказательства Великой теоремы Ферма мы узнали, что уравнение Ферма не допускает решений в целых числах потому, что любое такое решение привело бы к противоречию с гипотезой Таниямы-Шимуры. Уайлс не только ответил на вызов Ферма, но и обосновал свой ответ, указав, что он должен быть именно таким, а не другим, чтобы не нарушить фундаментальное соответствие между эллиптическими кривыми и модулярными формами.
Математик Рональд Грэхем описывает недостаточную глубину компьютерных доказательств на примере одной из великих не доказанных по сей день гипотез — гипотезы Римана: «Я был бы весьма и весьма разочарован, если бы можно было подключиться к компьютеру, спросить у него, верна ли гипотеза Римана, и получить в ответ: "Да, верна, но Вы не сможете понять доказательство"». Математик Филип Дэвис, похожим образом отреагировал на решение проблемы четырех красок: «Моей первой реакцией было: "Потрясающе! Как им удалось решить эту проблему?". Я ожидал какой-то блестящей новой идеи, красота которой перевернула бы всю мою жизнь. Но когда я услышал в ответ: "Они решили проблему, перебрав тысячи случаев и пропустив все варианты один за другим через компьютер", — меня охватило глубочайшее уныние. Я подумал: "Значит, все сводилось к простому перебору, и проблема четырех красок вовсе не заслуживала названия хорошей проблемы"».
Предложенное Уайлсом доказательство Великой теоремы Ферма опирается на доказательство гипотезы, родившейся в 50-е годы XX века. Его рассуждения используют ряд математических методов, созданных за последнее десятилетие, в том числе им самим. Доказательство Уайлса — шедевр современной математики, что неизбежно приводит к заключению: оно не совпадает с доказательством Ферма. Ферма написал на полях своего экземпляра «Арифметики» Диофанта, что недостаток места не позволяет ему привести доказательство. Доказательство Уайлса занимает 100 страниц убористого математического текста и заведомо удовлетворяет критерию Ферма (это доказательство невозможно воспроизвести на полях «Арифметики»), но Ферма не были известны ни модулярные формы, ни гипотеза Таниямы-Шимуры, ни группы Галуа, ни метод Колывагина-Флаха.
Но если у Ферма не было доказательства Уайлса, то что у него было? Математики разделились на два лагеря. Твердолобые скептики склоняются к мнению, что Великая теорема Ферма была результатом редкого момента слабости математического гения XVII века. Они утверждают, что хотя Ферма и написал на полях «Арифметики» Диофанта: «Я нашел поистине удивительное доказательство», — в действительности он нашел доказательство, содержавшее ошибку. Вполне возможно, что доказательство Ферма строилось примерно так же, как доказательство Коши и Ламе.
Другие математики, назовем их романтическими оптимистами, убеждены в том, что Ферма мог найти какое-то гениальное доказательство. Каким бы ни было это гипотетическое доказательство, оно должно было быть основано на методах XVII века и использовать аргумент настолько тонкий, что он ускользнул впоследствии от всех — от Эйлера до Уайлса. Несмотря на публикацию доказательства Уайлса, существует много математиков, которые уверены в том, что им удастся добиться широкого признания и славы, открыв первоначальное доказательство Ферма.
