Код креативности. Как искусственный интеллект учится писать, рисовать и думать

Прежде чем статья будет принята к публикации, математики требуют, чтобы все шаги изложенных в ней рассуждений были проверены рецензентами. Они «прогоняют» доказательство в своих умах как программу, чтобы проверить, не выдаст ли оно в каком-нибудь месте ошибку. Однако в этом доказательстве была часть, в которой человеческий разум не мог разобраться из-за своих физических ограничений. Рецензентам приходилось положиться на способности компьютера. Многим это не нравилось. Это было похоже на положение человека, который хочет отправиться из Лондона в Сидней и вынужден впервые в жизни довериться на одном из этапов этого пути самолету. Из-за той роли, которую сыграл в этой работе компьютер, прошло целых восемь лет, прежде чем математики признали доказательство справедливым с 99 %-й вероятностью.

С точки зрения математиков-пуристов, оставшийся 1 % представляет собой непреодолимое препятствие. Представьте себе, что вы доказали, что состоите в родстве с Ньютоном… с точностью до одной недостающей связи в генеалогическом древе. Многие из работающих в этой области отнеслись к применению компьютеров в доказывании теорем с глубоким подозрением. Не то чтобы они опасались, что это может оставить их без работы – в те ранние годы компьютеры могли работать только по приказу математиков, которые их запрограммировали, – но их беспокоило, как можно узнать, не таится ли где-нибудь в глубине программы ошибка. Как можно доверять такому доказательству?

Математики уже обжигались на таких ошибках. В 1992 году оксфордские физики воспользовались эвристическими методами и, исходя из теории струн, высказали некоторые предположения относительно числа алгебраических конструкций, которые могут быть определены в многомерных геометрических пространствах. Математики отнеслись к этому предсказанию с подозрением – откуда физикам знать о столь абстрактных объектах? – и считали, что их сомнения оправдались, когда появилось доказательство, опровергающее эту гипотезу. Оказалось, однако, что в доказательстве содержалась компьютерная составляющая, основанная на программе, в которой была ошибка. Правы были физики, а не математики. Их ввела в заблуждение ошибка в программе. Несколько лет спустя математики сумели доказать (на этот раз без помощи компьютера), что физики были правы.