Математик – не профессиональный вычислитель, а разработчик доказательств. К этому и сводится главный вопрос этой книги: не может ли компьютер стать таким же, как Ферма, Гаусс и Уайлс?