Инноваторы. Как несколько гениев, хакеров и гиков совершили цифровую революцию
Шрифт:
Там он встретился с колоритным гением — Клодом Шенноном, который, будучи выпускником Массачусетского технологического института, в 1937 году написал дипломную работу, ставшую классической. В ней он показал, как булева алгебра, которая представляет логические предложения в виде уравнений, может быть отображена с помощью электронных схем. Шеннон и Тьюринг стали встречаться за чаем и вести долгие разговоры. Оба интересовались наукой о мозге и понимали, что в их работах 1937 года было нечто общее и фундаментальное: они показали, как машине, которая оперирует простыми двоичными командами, можно ставить не только математические, но и всевозможные логические задачи. А поскольку логика была основой человеческого мышления, то машина могла бы в теории воспроизвести человеческий интеллект.
«Шеннон хочет кормить [машину] не только данными, но и произведениями культуры! — однажды сказал Тьюринг коллегам по Bell Lab
241
Hodges, AlanTuring, 6972.
Когда в апреле 1943 года Тьюринг вернулся в Блетчли-Парк, он подружился с коллегой Дональдом Мичи, и они провели много вечеров, играя в шахматы в соседнем пабе. Они часто обсуждали возможность создания шахматного компьютера, и Тьюринг решил подойти к проблеме по-новому. А именно: не использовать напрямую всю мощность машины для расчета каждого возможного хода, а постараться дать машине возможность самой учиться игре в шахматы, постоянно практикуясь. Другими словами, дать ей возможность пробовать применить новые гамбиты и совершенствовать свою стратегию после каждого нового выигрыша или проигрыша. Такой подход в случае успеха являлся бы существенным прорывом, который порадовал бы Аду Лавлейс. Было бы доказано, что машины способны на большее, чем просто следовать инструкциям, данным им людьми, — они могли бы учиться на опыте и улучшать свои собственные команды.
«Считается, что вычислительные машины могут выполнять только такие задачи, на которые им даны команды, — объяснил он в докладе, сделанном на Лондонском математическом обществе в феврале 1947 года. — Но необходимо ли, чтобы они всегда использовались таким образом?» Затем он обсудил возможности новых компьютеров с сохраняемой программой, которые могут сами изменять таблицы команд, и продолжил: «Они могли бы стать похожими на учеников, которые многому научились у своего учителя, но добавили гораздо больше своего. Я думаю, что, когда это произойдет, придется признать, что машина демонстрирует наличие интеллекта» [242] .
242
Alan Turing, Lecture to the London Mathematical Society, 20 февраля 1947 г., доступна на сайте http://www.tunngarchwe.org/; Hodges, Alan Turing, 9687.
Когда он закончил доклад, слушатели на мгновение замолкли, ошеломленные заявлением Тьюринга. Его коллеги из Национальной физической лаборатории вообще не понимали одержимости Тьюринга созданием думающих машин. Директор Национальной физической лаборатории сэр Чарльз Дарвин (внук биолога, создателя теории эволюции) в 1947 году написал своему начальству, что Тьюринг «хочет распространить свою работу над машиной еще дальше, в сторону биологии» и ответить на вопрос: «Можно ли сделать такую машину, которая может учиться на своем опыте?» [243]
243
Dyson, Turing’s Cathedral, 5921.
Смелая мысль Тьюринга о том, что машины смогут когда-нибудь думать, как люди, в то время вызвала яростные возражения, да и до сих пор вызывает. Появились как вполне ожидаемые религиозные возражения, так и нерелигиозные, но весьма эмоциональные, как по содержанию, так и по тону. Нейрохирург сэр Джеффри Джефферсон в речи, произнесенной по случаю награждения престижной медалью Листера в 1949 году, заявил: «Согласиться с тем, что машина так же разумна [как человек], мы сможем не раньше, чем она сможет написать сонет или сочинить концерт под влиянием своих мыслей и эмоций, а не из-за случайного выбора символов» [244] . Ответ Тьюринга репортеру из лондонского Timss, казалось,
244
Geoffrey Jefferson, The Mind of Mechanical Man, Lister Oration, 9 июня 1949 г., Turing Archive, http://www.turingarchive.org/browse.php/B/44.
245
Hodges, Alan Turing, 10983.
Таким образом, был заложен фундамент для второй основополагающей работы Тьюринга, «Вычислительные машины и разум», опубликованной в журнале Mind в октябре 1950 года [246] . В ней он описал тест, ставший известным впоследствии как тест Тьюринга. Он начал с четкого заявления: «Я предлагаю рассмотреть вопрос: „Могут ли машины мыслить?“» С азартом, скорее присущим школьнику, он придумал игру — и в нее все еще играют и до сих пор обсуждают. Он предложил вложить в этот вопрос реальный смысл и сам дал простое функциональное определение искусственного интеллекта: если ответ машины на вопрос ничем не отличается от ответа, который дает человек, то у нас не будет никакого разумного основания считать, что машина не «думает».
246
См. онлайн-версию: http:/Aoebner.net/PrizefITurmgArticle.html.
Тест Тьюринга, который он назвал «Игра в имитацию», прост: экзаменатор направляет письменные вопросы человеку и машине, находящимся в другой комнате, и пытается определить, какой из ответов принадлежит человеку. Тьюринг предложил пример вопросника:
Вопрос: Пожалуйста, напишите мне сонет о мосте Форт [247] .
Ответ: Не просите меня об этом. Я никогда не умел писать стихи.
В: Сложите 34 957 и 70 764.
О (пауза примерно 30 секунд, а затем дается ответ): 105 621.
В: Вы играете в шахматы?
О: Да.
В: У меня есть только K (король) на K1, и никаких других фигур.
У вас есть только K на K6 и R (ладья) на R1 [248] . Ваш ход. Куда вы ходите?
О (после паузы 15 секунд): R на R8, мат.
247
Огромный мост через реку Форт, достопримечательность Шотландии.
248
Английская система обозначений (описательная шахматная нотация).
В этом примере Тьюринга диалога содержится несколько важных вещей. Тщательное изучение показывает, что отвечающий после тридцатисекундного раздумья сделал небольшую ошибку в сложении (правильный ответ 105 721). Свидетельствует ли это о том, что он был человеком? Возможно. Но опять же, может быть, эта хитрая машина притворилась человеком. Тьюринг также ответил на соображение Джефферсона о том, что машина не может написать сонет: вполне возможно, что ответ, приведенный выше, был дан человеком, признавшимся, что он не умеет писать стихи. Далее в статье Тьюринг представил еще один воображаемый опрос, демонстрирующий сложность использования умения сочинить сонет в качестве критерия принадлежности к человеческому роду:
В: Считаете ли вы, что первую строку сонета: «Должен ли я сравнить тебя с летним днем» не испортит, а может, даже улучшит замена на «весенний день»?
О: Тогда нарушится размер.
В: Как насчет замены на «зимний день»? Тогда с размером все в порядке.
О: Да, но никто не хочет быть сравненным с зимним днем.
В: Вы хотите сказать, что мистер Пиквик напоминает вам о Рождестве?
О: В некотором смысле.
В: Тем не менее праздник Рождества приходится на зимний день, и я не думаю, что мистер Пиквик возражал бы против этого сравнения.
О: Я не думаю, что вы говорите серьезно. Под зимним днем обычно понимают типичный зимний день, а не особенный, вроде Рождества.