Код креативности. Как искусственный интеллект учится писать, рисовать и думать - Маркус Дю Сотой Страница 52

«К 2009 году я понял, что то, что я изобретаю, бесполезно. Это была, вероятно, величайшая научная неудача в моей жизни до этого момента. Огромное количество трудов было вложено в проект, закончившийся полным крахом».

После долгих раздумий он обратился ко второму из выявленных им кризисов – проблеме все возрастающей сложности передовой математики. Если люди уже не способны проверять доказательства друг друга, возможно, нам следует призвать на помощь машины. То, что специалист по чистой математике калибра Воеводского заговорил об использовании компьютеров, казалось многим неверным шагом. Большинство математиков по-прежнему верило в способность человеческого ума разбираться в уравнениях и геометрических построениях и выискивать решения интуитивно, руководствуясь чувством прекрасного. Но те, кто критиковал решение Воеводского, не верили в неизбежность кризиса или не придавали ему должного значения.

Поискав подходящие инструменты, Воеводский увидел, что единственная работоспособная компьютерная программа, способная разбираться в доказательствах, – это французская система Coq. Сначала он никак не мог понять, как она работает. Поэтому он вернулся к основам и предложил Институту перспективных исследований поручить ему преподавание курса по Coq. Я тоже часто использую этот прием: если не понимаешь какого-то предмета, попробуй его преподавать. Постепенно Воеводский начал осознавать, что язык, используемый в информатике, казавшийся ему поначалу таким чуждым, – это на самом деле всего лишь версия того же самого абстрактного мира, в котором он провел свои ранние годы, занимаясь математикой.

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

Сформулированное Воеводским видение будущего математики слишком революционно для большинства математиков, многие из которых считают, что он перешел на сторону темных сил. До сих пор существует глубокий разрыв между теми, кто работает с карандашом и бумагой (может быть, время от времени используя компьютер для проверки рутинных расчетов), и теми, кто хочет использовать компьютеры для доказательства новых теорем. Идея применения компьютеров в проверке теорем становится приемлемой: в этом процессе руководит по-прежнему человек, создавший доказательство.

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

Но Воеводский считал, что с этими старыми представлениями придется расстаться: «Я не вижу другого варианта развития событий. Я думаю, что этот процесс сначала будет воспринят каким-нибудь небольшим подмножеством, а потом оно станет расти, и в конце концов это станет обычным делом. На следующем этапе это начнут преподавать в аспирантуре, а со временем – в университете. Это может занять, не знаю, десятки лет, но я не вижу, как может произойти что-нибудь другое».

Воеводский сравнивал взаимодействие с компьютером с компьютерной игрой: «Ты говоришь компьютеру: “Попробуй вот это”, и он выдает результат своих действий. Иногда из этого получается нечто неожиданное. Это увлекательно».

Воеводский так и не узнал, чем закончится начатая им революция. К несчастью, в 2017 году он умер от аневризмы в возрасте пятидесяти одного года.

Именно вдохновляясь видением Воеводского, я решил смириться с будущим и принять возможности развития математического творчества, которые предлагают компьютеры. Учитывая те тесные связи, которые всегда существовали между математикой и музыкой, я задумался, нельзя ли получить некоторое представление о той роли, которую компьютеры могут играть в занятиях математикой, рассмотрев, как искусственный интеллект предоставляет новые возможности для сочинения музыки. В конце концов, как сказал некогда ученик Баха Лоренц Мицлер фон Колоф: «Музыка есть не что иное, как звучащая математика… Математика – сердце и душа музыки».