2062: время машин. Тоби Уолш
так и системы других автомобилей. Каждую ночь автомобили Tesla могут загрузить последние обновления и поделиться ими. Если одна машина научилась объезжать брошенные тележки для шопинга, другие машины быстро перенимают этот навык.
Колёрнинг – одна из причин, почему у homo sapiens нет ни одного шанса против homo digitalis. Кроме того, это одна из причин, почему homo digitalis появятся на горизонте раньше, чем мы думаем. Мы привыкли учиться всему самостоятельно, «с нуля». У нас нет опыта одновременного глобального приобретения новых знаний.
Представьте себе ситуацию, при которой мы имели бы возможность учиться как компьютеры, просто запоминая нужные коды. Мы бы смогли говорить на всех языках мира, играть в шахматы, как Гарри Каспаров, или в го, как Ли Седоль[9]. Мы бы смогли доказывать теоремы так же легко, как Эйлер, Гаусс или Эрдёш[10]. Мы могли бы создавать поэзию не хуже, чем Вордсворт[11] или Шекспир. Мы могли бы играть на всех музыкальных инструментах. Проще говоря, наши способности достигли бы максимально возможного на нашей планете уровня. Более того, мы смогли бы их совершенствовать. Это звучит пугающе, но таково будущее, которое ждет homo digitalis, когда они начнут делиться компьютерными кодами.
Чтобы лучше осознать преимущества колёрнинга, необходимо понять две важные идеи. Во-первых, компьютеры – это универсальные машины, которые могут запустить любую программу. Во-вторых, программы могут совершенствоваться. В частности, программа может улучшить собственные характеристики, чтобы успешнее справляться с поставленной задачей. Позвольте мне объяснить более детально, почему эти концепты имеют такое большое значение и почему они дают homo digitalis такое весомое преимущество.
Универсальные машины
Алан Тьюринг[12] был одним из прародителей ИИ. Его интересовало, что случится, если компьютер сможет мыслить. Кроме того, он заложил основы самой идеи компьютера. Ему пришла в голову простая, но гениальная мысль: универсальная вычислительная машина. Машина, которая сможет вычислить все, что можно вычислить. Да, вы поняли меня правильно. С тех пор как Тьюрингу пришла в голову эта идея, мы смогли создать такой компьютер.
Центральными для идеи универсальной вычислительной машины являются концепты «программ» и «данных», которыми эти программы оперируют[13]. Программы – это последовательности инструкций, которые компьютер выполняет при решении проблемы. Можно представить их в виде своеобразных рецептов. Данные – это разная информация, с которой работает программа, как, например, ингредиенты, используемые во время конкретного процесса приготовления.
Представьте себе проблему обновления чьего-то банковского счета в тот момент, когда этот человек совершает электронный платеж. Мы можем написать программу, которая будет это делать вне зависимости от суммы платежа или личности человека, совершающего его. Данные, с которыми работает программа, – это база клиентов, включающая их имена, номера
Гарри Каспаров (1963–) – советский гроссмейстер, один из величайших шахматистов в истории. Ли Седоль (1983–) – корейский чемпион по го.
Леонард Эйлер (1707–1783), Карл Фридрих Гаусс (1777–1855), Пал Эрдёш (1913–1996) – известные математики.
Уильям Вордсворт – английский поэт-романтик, основной автор сборника «Лирические баллады», условно относимый к т. н. «озерной школе».
Алан Тьюринг (1912–1954) – английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. – Примеч. ред.
Универсальная машина Тьюринга – это более абстрактное и в то же время более механическое, чем современные компьютеры, изобретение. Тем не менее оно ничуть не хуже. Машина состоит из бумажной ленты, на которой написаны символы, из головки, которая может их читать, писать новые символы на бумажной ленте или перемещать ленту вправо и влево, а также из электроники, которая производит различные действия (такие, как чтение ленты, написание символов или движение ленты) в зависимости от внутреннего состояния и последнего прочитанного символа. Впервые такую машину Тьюринг описал в 1937 году. См. Alan Turing, ‘On Computable Numbers, with an Application to the Entscheidungsproblem’, Proceedings of the London Mathematical Society, vol. 42, pp. 230–265. («О вычислимых числах, применительно к проблеме разрешения», труды Лондонского математического общества, т. 42, с. 230–265.)