На первый взгляд с этим трудно согласиться, но доказательство его правоты на самом деле довольно интуитивно. Представьте себе, что у вас есть посредник или адвокат, который будет играть в этой игре вместо вас. Если вы доверяете ему представлять ваши интересы, то вы просто объясняете ему, что хотите получить, и далее позволяете уже ему от вашего имени и управлять ставками, и разрабатывать рекурсивные стратегии. В аукционе Викри эту функцию выполняет сама игра. И принцип откровения только расширяет эту идею: любая игра, где вас может представлять агент, которому вы дадите правильные установки, станет наилучшей игрой на честность, если, разумеется, предполагаемые действия этого агента не будут выходить за границы правил самой игры. Как выразился Нисан, «основной вывод заключается в следующем: если вы не хотите, чтобы ваши клиенты оптимизировали свое поведение против вас, то было бы лучше вам оптимизировать свое поведение по отношению к ним. Вот и все доказательство… Если я разработал алгоритм, который уже оптимизирован в отношении вас, то вы ничего не сможете сделать».
В течение последних 20 лет алгоритмическая теория игр оказала огромное влияние на несколько практических ситуаций: помогла понять особенности маршрутизации пакетов в интернете; улучшила качество аукционов по продаже диапазонов частот Федеральной комиссии связи (США), что принесло значимые (хоть и невидимые) общественные блага; а также, помимо прочего, усовершенствовала алгоритмы распределения студентов-медиков по больницам. И это, вероятно, только начало гораздо более масштабных преобразований. «Ведь мы пока просто поскребли по поверхности, – говорит Нисан, – даже саму теорию мы только-только начинаем понимать. И, вероятно, потребуется еще одно поколение, чтобы все это хотя бы гипотетически могло успешно использоваться людьми. Целое поколение; не думаю, что больше. На это потребуется поколение».
Французский философ-экзистенциалист Жан-Поль Сартр метко заметил, что «ад – это другие люди». Он имел в виду не столько то, что другие люди по своей сути злобные или неприятные, сколько то, что они просто осложняют наши собственные мысли и убеждения:
Когда мы думаем о себе, когда мы пытаемся познать себя… мы используем те знания о нас, которые уже есть у других людей. Мы судим о себе с помощью возможностей, которые имеются у других людей и которые были даны нам для оценки нас самих. В том, что я когда-либо говорю о себе, всегда присутствует чье-то стороннее суждение. В том, что я когда-либо ощущаю внутри себя, всегда присутствует чье-то стороннее суждение… Но это вовсе не означает, что не нужно иметь отношений с другими людьми. Это просто демонстрирует важнейшую значимость всех остальных людей для каждого из нас.