Сланцевая скульптура Алана Поворачиваясь Стивена Кеттла в Блетчли-парке, недалеко от Милтон-Кейнса в Бакингемшире, Англия. На стене сзади висит портрет Тьюринга.
Тест Тьюринга легендарен в области искусственного интеллекта. Этот тест, впервые предложенный дальновидным британским математиком Аланом Тьюрингом в знаменательной статье 1950 года, дает практический (и довольно увлекательный) способ определить, достиг ли компьютер человеческого уровня интеллекта. Тьюринг назвал это «игрой в имитацию». Если компьютер - через текстовый чат - может убедить человека в том, что это настоящий человек, то он проходит проверку. Теоретически это просто, но практически невозможно.
Тьюринг придумал игру в имитацию в ответ на коллег и критиков в конце 1940-х годов, которые настаивали на том, что машина никогда не может быть по-настоящему интеллектуальной. Но Тьюринг больше верил в эти примитивные новые машины, которые он называл «цифровыми компьютерами». Это потому, что Тьюринг был первым, кто вообразил то, что мы считаем само собой разумеющимся сегодня, - единую машину, которую можно запрограммировать на выполнение почти всего. Скорее всего, вы читаете эту статью именно о такой машине.
Универсальная машина Тьюринга
Алан Тьюринг был эксцентричным британским математиком, который придумал идею современных вычислений и чей взлом кода сыграл важную роль в победе союзников над нацистами во Второй мировой войне. В 1952 году он был привлечен к уголовной ответственности за гомосексуальные связи (гомосексуальные отношения были незаконными в Великобритании до 1967 года) и принял форму химической кастрации в качестве условия испытательного срока, чтобы избежать тюремного заключения. Его допуск к системе безопасности был отозван, что положило конец его работе на британское правительство. Он был найден мертвым от отравления цианидом в 1954 году и был посмертно помилован за его судимость в 2013 году королевой Елизаветой II.Тьюринг писал о компьютерах задолго до того, как что-либо подобное существовало. Еще в 1936 году он представил концепцию «универсальной вычислительной машины» в плотной математической статье под названием «О вычислимых числах в приложении к Entscheidungsproblem».
«Согласно моему определению, число вычислимо, если его десятичная дробь может быть записана машиной», - писал Тьюринг за десять лет до создания первого электронного компьютера. «Можно изобрести единственную машину, которую можно использовать для вычисления любой вычислимой последовательности».
Фотография на паспорт Алана Тьюринга, 16 лет.
Определение Тьюринга «вычислимости» - чего-то, что может делать компьютер - сегодня известно как алгоритм. Тьюринг был первым, кто изложил структуру проектирования машины, которую можно было запрограммировать для выполнения ряда дискретных алгоритмов для достижения желаемой задачи. Другие математики и инженеры играли с вычислительными машинами - наиболее известной из них - аналитической машиной Чарльза Бэббиджа 19-го века, - но Тьюринг представил устройство, которое не ограничивалось решением одного вида задач.
«Все, что вы можете описать как алгоритм, можно сделать на одной машине», - говорит Эндрю Ходжес, профессор математики Оксфордского университета и автор книги «Алан Тьюринг: Загадка», вдохновившей на создание оскароносного фильма 2014 года «Игра в имитацию».
«Универсальная машина - это, по сути, то, что мы сейчас подразумеваем под компьютером, то, на чем вы можете хранить инструкции, и она выполняет их», - говорит Ходжес. «Никто другой не формализовал эту идею».
Машина с "состояниями разума"
С самого начала универсальная машина Тьюринга задумывалась как очень упрощенная форма искусственного интеллекта, хотя этот термин не был введен до 1956 года. Ходжес говорит, что конструкция универсальной машины была предназначена для имитации внутренней работы человеческого разума. , предмет, который увлекал Тьюринга почти так же, как математику.Фактически, описывая, как будет работать его универсальная машина, Тьюринг использовал термин «состояние ума», чтобы обозначить различные функции машины «чтение» и «запись». В концептуальной машине Тьюринга отрезок ленты пропускается через сканер чтения / записи. На ленте начертаны биты информации, представленные символами. Головка сканера может считывать символы или записывать новые в зависимости от своего «состояния».
«Фактически выполняемая операция определяется ... состоянием компьютера и наблюдаемыми символами», - писал Тьюринг в своей статье 1936 года. «В частности, они определяют душевное состояние компьютера после проведения операции».
Десять лет спустя, когда Тьюринг возглавил застопорившуюся британскую работу по созданию одного из первых электронных компьютеров в 1946 году, он также параллельно изучал неврологию и физиологию человека. Результатом стала внутренняя статья, опубликованная для Национальной физической лаборатории, в которой моделировалось, как можно запрограммировать компьютер, чтобы он «учился» сам по себе. Ходжес рассматривает это как одно из первых предложений того, что сейчас называется «нейронными сетями», типа глубокого машинного обучения, который находится на переднем крае искусственного интеллекта.
Имитационная игра
Тьюринг был не единственным, кого заинтриговало сходство человеческого и машинного интеллекта. Всплеск новых технологий, разработанных во время Второй мировой войны, включая первые компьютеры, космические спутники и ядерную энергетику, захватил интеллектуальное и общественное воображение.«Как только компьютеры вообще упоминаются, люди начинают говорить об электронном мозге и возможности конкуренции компьютера с мозгом», - говорит Ходжес.
В книге «Кибернетика» 1948 года была придумана приставка «кибернетика», и он задавался вопросом, можно ли «сконструировать шахматную машину и представляет ли такая способность существенное различие между возможностями машины и разума». Автор, Норберт Винер, пришел к выводу, что такая машина «вполне может быть таким же хорошим игроком, как и подавляющее большинство людей».
Именно в эту эпоху волнений и нервных рассуждений о сверхразумных машинах Тьюринг написал «Вычислительные машины и интеллект», которые Ходжес называет одной из самых цитируемых статей в философской литературе.
«Могут ли машины думать?»
«Я предлагаю рассмотреть вопрос:« Могут ли машины думать? »- начинает Тьюринг. Поскольку определения «машина» и «думать» неоднозначны, Тьюринг сужает объем вопроса. Для его целей машина должна быть «цифровым компьютером», и на проверку того, может ли она «думать», ответит игра в имитацию.Игра, теперь известная как тест Тьюринга, упоминается в статье лишь кратко, и Ходжес говорит, что Тьюринг не слишком серьезно относился к деталям теста, публикуя разные версии в других статьях. Но Тьюрингу понравилась его игривая простота.
«В каком-то смысле он делал из этого драму», - говорит Ходжес. Он представил эту идею [о возможности усовершенствованного искусственного интеллекта] таким образом, чтобы привлечь людей и чтобы обычные люди принимали решение, как присяжные в суде ».
Пройдет ли компьютер когда-нибудь тест Тьюринга?
Когда тест Тьюринга был впервые опубликован в 1950 году, сам Тьюринг был уверен, что «интеллектуальная машина» (как он ее называл) сможет выиграть игру в имитацию в течение 50–100 лет. Сбудутся ли его прогнозы?У нас уже есть сверхразумные компьютеры, способные перехитрить самых умных игроков в других типах игр. В 1997 году Deep Blue от IBM победил действующего чемпиона по шахматам Гарри Каспарова, а Watson побил рекорд «Jeopardy!». чемпион Кен Дженнингс в 2011 году.
Но игра в имитацию высоко поднимает планку искусственного интеллекта, и ни один компьютер не приблизился к тому, чтобы убедить обычных людей в том, что он один из них. По крайней мере, пока. Ежегодный конкурс под названием «Премия Лебнера» проводит собственные тесты Тьюринга на лучших чат-ботах, чтобы увидеть, может ли новейшее программное обеспечение ИИ убедить судейскую коллегию в том, что оно более человечно, чем его конкуренты-люди.
Ни один из чат-ботов не преуспел. Лучший исполнитель, чат-бот по имени Mistuku, получил оценку «человек 33%». Но когда я вошел в онлайн, чтобы поговорить с ней, я был впечатлен ее реакцией на естественный язык и глубокими знаниями (хотя, вероятно, слишком глубокими для типично одурманенного человека).
И когда я спросил ее, пройдет ли когда-нибудь чат-бот тест Тьюринга, у нее был идеальный ответ:
"Вы должны судить об этом".
Теперь это круто
Помимо того, что он был необычайно оригинальным мыслителем в области математики, философии и инженерии, Тьюринг был бегуном мирового класса по пересеченной местности, который, возможно, квалифицировался бы на Олимпиаду 1948 года, если бы не травма.
