Алгоритм What If Machine предложил один сюжет, который в конце концов превратился в мюзикл, поставленный в 2016 году в лондонском Вест-Энде. Решив исследовать пределы творческих возможностей алгоритмов, телеканал Sky Arts заказал мюзикл, созданный искусственным интеллектом. Телеканал снимал процесс создания мюзикла, а затем его поставили на сцене. Для разработки его сценария была привлечена система Whim. Алгоритм предложил целый спектр разных сценариев, которые пропустили затем через другой алгоритм, разработанный в Кембридже. Второй алгоритм анализировал до этого сюжеты мюзиклов, чтобы узнать, что приводит к успеху представления, а что – к его провалу. Ему и поручили выбрать один из предложенных Whim сюжетов для дальнейшей разработки. Алгоритм решил, что хит может получиться из следующей идеи: «
После этого в игру вступил еще один алгоритм под названием PropperWryter, уже имевший довольно успешный опыт сочинения сказок. Этот сказочный алгоритм обучался на архетипических мотивах русской волшебной сказки: в 1928 году структуралист Владимир Пропп выделил 31 функцию действующих лиц. PropperWryter разработал сценарий на основе сюжета, предложенного Whim, и превратил его в историю о женских протестах против ядерного оружия на авиабазе Гринэм-Коммон. Музыку также сочинил алгоритм по имени Android Lloyd Webber (Андроид Ллойд Уэббер).
В течение недолгого времени весной 2016 года мюзикл «За забором» (Beyond the Fence) шел в Артс-театре в Вест-Энде. Вклад человека в осуществление этого проекта был, наверное, не меньшим, чем доля компьютерного творчества. Его результат вряд ли угрожает карьере Эндрю Ллойда Уэббера. Театральный критик Лин Гарднер, поставившая спектаклю две звезды, резюмировала в своей рецензии: «…ничем не примечательное представление, полное приятных, но ничем не примечательных песен, с до смешного стереотипными персонажами и сюжетом». Однако тут, может быть, следует учесть и то обстоятельство, что рецензенты не очень-то склонны чересчур расхваливать алгоритмы.
Вопрос «что, если?..» не так далек от того способа, которым математики раздвигают пределы знания. Что, если представить себе число, квадрат которого равен –1? Что, если представить себе геометрии, в которых параллельные прямые пересекаются? Что, если изогнуть пространство, а потом замкнуть его само на себя? Идея внесения возмущений в известные структуры, чтобы посмотреть, не получится ли из таких вариаций чего-нибудь полезного, – классическое средство разработки новых математических повествований. Не сможет ли математический алгоритм типа «что, если?..» принести реальную пользу в создании новых математических построений? Если математика – это своего рода сочинение рассказов о числах, то насколько эффективны существующие алгоритмы по части изобретения новых математических историй?
Саймон Колтон, который написал код, ставший основой алгоритма Painting Fool, и является одним из координаторов проекта Whim, занялся исследованием именно этого вопроса вместе со Стивеном Маглтоном из лондонского Имперского колледжа. Они разработали алгоритм, который берет общепризнанные математические положения и пытается создать на их основе новые идеи. Колтон «натравил» этот алгоритм на один из самых популярных математических сайтов в интернете, «Онлайн-энциклопедию целочисленных последовательностей» (The On-Line Encyclopaedia of Integer Sequences)[123]
. Этот проект, который основал Нил Слоун, должен собрать все интересные последовательности чисел и помочь понять, как они возникают. Там есть, например, всеобщие любимцы вроде последовательности:1, 1, 2, 3, 5, 8, 13, 21. . которую узнает любой, кто читал «Код да Винчи», – это знаменитые числа Фибоначчи. Каждое из них получается суммированием двух предыдущих членов последовательности. Или:
1, 3, 6, 10, 15, 21. . – это так называемые треугольные числа, определяющие количество камней, необходимое для построения треугольника; каждое следующее число добавляет к треугольнику еще один ряд. Там же можно найти одну из самых загадочных последовательностей, встречающихся в математических книгах:
2, 3, 5, 7, 11, 13. . с объяснением, что это последовательность неделимых, или простых, чисел. Для нее не приводится изящной формулы, позволяющей вычислить следующий элемент последовательности, потому что эта формула остается одной из великих задач, которые математики пока что не смогли решить. Если появится алгоритм, который сумеет разгадать секрет этой последовательности, я думаю, всем нам останется только собрать свои вещи и разойтись по домам. В базе данных содержатся и некоторые из последовательностей, на которых сосредоточены мои собственные исследования, в том числе последовательность номер 158079, которая начинается так:
1, 2, 5, 15, 67, 504, 9310. .