Общий искусственный интеллект - страница 3

При всей их примитивности по современным меркам, эти машины творили чудеса. Прежде всего, они умели считать. До этого словом «компьютер» называли человека (как правило, женщину), который производил вычисления вручную или с помощью простейших механических приспособлений. В крупных проектах, например при проектировании самолетов или артиллерии для военных целей, могли быть заняты сотни таких людей-«компьютеров». Появившиеся цифровые компьютеры выполняли те же расчеты в тысячи раз быстрее. Это была настоящая революция в вычислениях, но почему мы не считаем ее первым проявлением ИИ, превосходящего человека? Ведь вычисления – это работа нашего разума, и с 1950-х годов машины делают это лучше людей; даже самый простой калькулятор из дешевого магазина «думает» несопоставимо быстрее человека.

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

Однако математика включает и другие когнитивные задачи, не только вычисления. Математики ведь не проводят все время за расчетами. Они развивают математику как науку. То есть доказывают теоремы и, что еще важнее, размышляют над тем, какие теоремы нужно доказывать и какими методами, чтобы создавать полезные и красивые математические концепции. Если признать, что развитие математики требует интеллекта, то система, способная доказывать теоремы на уровне человека, должна считаться искусственным интеллектом, а если она делает это лучше человека, то ИИ, превосходящим человека.

В 1956 году Аллен Ньюэлл и Герберт Саймон решили проверить, способен ли компьютер доказывать математические теоремы. Цифровых компьютеров тогда было совсем немного, и каждый занимал целую комнату. Они сосредоточились на доказательствах в области оснований математики, выбрав знаменитую книгу начала XX века «Основания математики», которая стремилась свести математику к чистой логике.[7] Созданная ими программа Logic Theorist должна была заново вывести теоремы из «Оснований математики».[8] По своей сути Logic Theorist представляла собой поисковый алгоритм, автоматически переписывающий доказательства согласно известным правилам преобразования уравнений, часть которых изучается еще в школе. Программа начинала с набора аксиом и последовательно преобразовывала их, пока не достигала намеченного доказательства. Существует колоссальное количество способов переписать эти аксиомы, но лишь немногие из них представляют ценность. Поэтому в Logic Theorist были заложены определенные правила и эвристики, имитирующие человеческий подход к поиску значимых способов переформулирования теорем. С помощью этих эвристик программа смогла самостоятельно вывести тридцать восемь из первых пятидесяти двух теорем «Оснований математики». Для своего времени это было выдающееся достижение, особенно если учесть, что таким блестящим математикам, как Бертран Рассел и Альфред Норт Уайтхед, потребовались долгие годы, чтобы изначально сформулировать эти теоремы.