Страница 3 из 9
Но речь идет не просто об обсуждении интересного с интеллектуальной точки зрения вопроса. Художественные произведения людей позволяют получить некоторую информацию о сложном и запутанном человеческом коде, который управляет нашим мозгом; как мы увидим, произведения искусства, которые создают компьютеры, также оказываются поразительно полезны в изучении механизмов работы кода компьютерного. Одна из проблем, связанных с кодом, который формируется таким образом – снизу вверх, – состоит в том, что сами программисты часто не понимают, как именно работает этот код. Почему он принимает то или иное решение? Произведения искусства, которые он создает, могут быть мощным инструментом, позволяющим добраться до подсознательных решений такого нового кода. Кроме того, они же могут выявлять присущие процессу создания этого кода ограничения и опасности, которые мы не вполне осознаем.
Кроме того, я хочу заняться этим исследованием и еще по одной, более личной, причине. Я переживаю сейчас глубокий экзистенциальный кризис. Я то и дело задумываюсь о том, смогут ли люди по-прежнему работать математиками в ближайшие десятилетия с учетом бурного развития искусственного интеллекта. В конце концов, математика – это сфера чисел и логики. Разве не к этому лучше всего способны компьютеры?
Отчасти моя защита от компьютеров, стремящихся «проникнуть» на мою кафедру и «занять места за общим столом», опирается на то соображение, что в математике речь идет не только о числах и логике – это в высшей степени творческое занятие, в котором важную роль играют красота и эстетика. В этой книге я хочу показать, что математические достижения, о которых мы докладываем на своих семинарах и пишем в журналах, появляются не просто в результате того, что человек поворачивает некую механическую рукоятку. Хорошему математику важно иметь интуицию и художественное чувство. И уж конечно, эти черты невозможно запрограммировать в машину. Или все же возможно?
Поэтому я как математик внимательно наблюдаю за тем, насколько успешно новые виды искусственного интеллекта внедряются в художественные галереи, концертные залы и издательства всего мира. Великий немецкий математик Карл Вейерштрасс заметил однажды: «…математик, в котором нет ничего от поэта, никогда не будет настоящим математиком»[4]. Как превосходно показывает пример Ады Лавлейс, в математике должна быть не только частица Бэббиджа, но и частица Байрона. Хотя Лавлейс считала, что возможности машин ограниченны, она начинала осознавать, что эти механизмы из зубчатых шестерней могут быть способны и к выражению художественных аспектов мышления:
Этот механизм может действовать не только над числами, но и над другими объектами… Предположим, например, что соотношения между высотами звуков в гармонии и музыкальной композиции поддаются такой обработке; тогда машина сможет сочинять искусно составленные музыкальные произведения любой сложности или длительности[5].
Однако она полагала, что творческое начало будет принадлежать программисту, а не машине. Возможно ли в большей степени переложить эту обязанность на программный код? Программисты нынешнего поколения считают, что это возможно.
На заре развития искусственного интеллекта Алан Тьюринг предложил свой знаменитый тест для измерения разумности компьютера[6]. Я хотел бы предложить новый тест – тест Лавлейс. Чтобы пройти тест Лавлейс, алгоритм должен создать оригинальное произведение искусства, причем этот процесс должен быть повторяемым (то есть не быть результатом случайной аппаратной ошибки), а программист должен быть не способен объяснить, как именно алгоритм пришел к этому результату. Именно такое испытание мы предлагаем машинам – проверку на способность создать нечто новое, неожиданное и ценное. Но для признания наличия у машины подлинно творческих способностей требуется еще одно: произведение машины не должно быть простым выражением творческих способностей автора кода или создателя массива данных. Ада Лавлейс считала эту задачу неразрешимой.
2
Сотворение творчества
Главный враг творчества – здравый смысл.
В связи с тем, как высоко в наше время ценится творчество, самые разные писатели и мыслители пытаются сформулировать, что это такое, как его стимулировать и в чем его значение. Именно во время работы в комитете Королевского общества[7], созванного для оценки вероятного влияния машинного обучения на общество в ближайшие десятилетия, я впервые познакомился с теориями когнитивиста Маргарет Боден. Ее взгляды на творчество показались мне в высшей степени ценными в контексте проблемы оценки творчества машин.
Боден отличается нестандартным мышлением. За десятилетия своей работы она сумела освоить множество разных дисциплин: она философ, психолог, врач, специалист по искусственному интеллекту и когнитивист. В свои восемьдесят с небольшим Маргарет, с развевающимися сверкающе белыми волосами, по-прежнему активно работает и с удовольствием занимается изучением возможностей этих «жестянок», как она называет компьютеры. Для этого она выделила три разных типа творчества.
Творчество исследовательское подразумевает рассмотрение уже существующего и изучение его внешних границ, расширение пределов возможного при соблюдении прежних правил. Музыка Баха стала кульминацией того пути, который прошли композиторы эпохи барокко в исследовании тональности, сплетая в единое целое разные голоса. Его прелюдии и фуги раздвигают границы возможного еще до коренной перестройки жанров и наступления эпохи классицизма Моцарта и Бетховена. Ренуар и Писсарро пересмотрели методы изображения природы и окружающего нас мира, но по-настоящему раздвинул границы Клод Моне, снова и снова писавший свои кувшинки, пока цветовые блики не растворились в новую форму абстракции.
Этим типом творчества упивается математика. Классификация конечных простых групп – настоящий шедевр исследовательского творчества. Начав с простого определения группы симметрий – структуры, определенной четырьмя простыми аксиомами, – математики в течение 150 лет составляли перечень всех элементов групп симметрий, какие только можно вообразить, и кульминацией этого процесса стало открытие «группы-монстра» М, которая содержит больше симметрий, чем содержится атомов в составе Земли, но при этом не соответствует никаким шаблонам других групп. Этот вид математического творчества предполагает расширение границ и в то же время соблюдение установленных правил. Занимающегося им математика можно уподобить путешественнику-исследователю, который продвигается все дальше в неизведанные области, но при этом ограничен пределами планеты.
Боден считает, что человеческое творчество на 97 % состоит из исследования. Компьютеры чрезвычайно способны к творчеству такого рода: доведение некой схемы или набора правил до предела – прекрасная задача для вычислительного механизма, способного выполнить гораздо больше расчетов, чем человеческий мозг. Но достаточно ли этого? Когда мы думаем о по-настоящему оригинальном творчестве, мы обычно представляем себе нечто в большей степени совершенно неожиданное.
Творчество второго типа связано с комбинированием. Представьте себе художника, который может взять две совершенно разные концепции и попытаться создать из них нечто единое. Правила, действующие в мире одной из них, часто позволяют создать интересное новое обрамление для другой. Комбинирование – чрезвычайно мощный инструмент в царстве творчества математического. Доказательство гипотезы Пуанкаре, которая описывает возможные формы Вселенной, в конце концов было получено благодаря применению очень разных средств для понимания течения по поверхностям. Потребовался творческий гений Григория Перельмана, чтобы осознать, что характер течения жидкости по поверхности неожиданно может помочь в классификации самих возможных поверхностей.
4
В письме к Софье Ковалевской от 27 августа 1883 г. – Здесь и далее, если не указано иное, примеч. перев.
5
Цит. по: Гутер Р.С., Полунов Ю.Л. Августа Ада Лавлейс и возникновение программирования // Кибернетика и логика. М., 1978. С. 81.
6
Речь идет о статье Тьюринга Computing Machines and Intelligence («Вычислительные машины и разум»), опубликованной в 1950 г. в журнале Mind и перепечатанной в 1956 г. в четвертом томе сборника «Мир математики» (The World of Mathematics) под редакцией Джеймса Р. Ньюмана под названием Can the Machine Think? («Может ли машина мыслить?»). Русское издание – «Может ли машина мыслить?» – вышло в 1960 г. в переводе Ю.А. Данилова. В стандартной интерпретации тест Тьюринга формулируется следующим образом: человек взаимодействует с одним компьютером и одним человеком. По ответам, которые он получает от них на свои вопросы, он должен определить, с кем он разговаривает: с человеком или компьютерной программой. Если он приходит к неверному выводу или не может отличить компьютер от человека, считается, что программа прошла тест.
7
Королевское общество (Royal Society) – британский аналог Академии наук, существует с 1660 г.