Читать онлайн Они —абстракции бесплатно

Часть I: Аксиомы

Глава 1. Шаг 347

Ошибка нашлась в три часа ночи.

Нет – не ошибка. Лина потёрла глаза, отодвинулась от монитора и попыталась подобрать правильное слово. На экране светились строки доказательства, над которым она работала тридцать семь месяцев – если считать с того дня, когда впервые записала гипотезу на обороте конференционной программки в Бостоне, сидя в последнем ряду и слушая чужой доклад о когомологических операциях, который вдруг, как ключ в замке, повернул что-то внутри. Тридцать семь месяцев. Тысяча сто двадцать четыре дня. И вот – доказательство, в которое она вложила три года жизни, содержало нечто, чему она не могла подобрать имени.

Кабинет на четвёртом этаже математического факультета Карнеги-Меллон был погружён в ту особенную тишину, которая наступает только после полуночи, когда уходят даже самые упорные аспиранты. Флуоресцентные лампы в коридоре гудели – этот низкий, почти инфразвуковой тон, который днём тонул в разговорах и шагах, а ночью становился единственным голосом здания. Три монитора перед Линой отбрасывали голубоватый свет на доску за её спиной, покрытую символами, которые для непосвящённого выглядели как попытка вывести универсальную формулу безумия. Лина знала каждый из них. Большинство она написала сама. Некоторые – нет.

Она вернулась к экрану.

Доказательство состояло из четырёхсот двенадцати шагов – каждый выверенный, каждый необходимый, каждый вытекающий из предыдущего с той неизбежностью, которая отличает настоящую математику от кустарной подгонки. Лина работала с когомологическими инвариантами в контексте гомотопической теории типов – область, в которой даже специалисты по алгебраической топологии чувствовали себя неуверенно. Она конструировала новый спектральный функтор, связывающий когомологии Хохшильда с определёнными гомотопическими типами, и если доказательство было верным – а оно было верным, она проверяла трижды, – то результат открывал неожиданную связь между алгебраической K-теорией и стабильной гомотопией, связь, которую никто не предполагал.

Шаг 346 был её. Она помнила, как его записывала – в прошлый вторник, после третьей чашки кофе, когда наконец поняла, как обойти проблему с фильтрацией, которая блокировала переход от локальных когомологий к глобальным. Шаг 346 использовал лемму, которую она доказала в двадцать восемь лет, в своей первой опубликованной работе, ещё под именем Л. Ко, когда ей казалось, что академическая карьера – это непрерывное восхождение, а не блуждание в тумане с редкими проблесками ясности.

Шаг 348 тоже был её. Стандартное применение естественного преобразования, логически вытекающее из предыдущего шага с той механической очевидностью, которая не требует вдохновения – только аккуратности.

Шаг 347 не был её.

Лина прокрутила текст обратно, потом вперёд. Номера шагов в доказательстве не были фиксированными – она вставляла и удаляла промежуточные леммы по мере работы, и нумерация обновлялась автоматически. Номер «347» мог означать что угодно. Но содержание шага не означало ничего, кроме одного: она этого не писала.

Шаг 347 вводил вспомогательную конструкцию – определённый тип расслоения над классифицирующим пространством, – которая позволяла свести переход между шагами 346 и 348 к элегантному приложению теоремы Атьи-Зингера. Без шага 347 переход работал, но был громоздким: Лина планировала использовать прямое вычисление через спектральную последовательность Серра, что заняло бы около двадцати промежуточных лемм. Шаг 347 делал это в один ход. Как если бы кто-то увидел, как она идёт в обход горы, и пробил туннель.

Она прочитала его ещё раз. Медленно, строку за строкой, проверяя каждое утверждение. Безупречно. Логически – ни единого зазора. Более того: красиво. Тем типом математической красоты, который невозможно подделать и трудно объяснить не-математику – красотой неожиданной неизбежности, когда конструкция, которая секунду назад казалась произвольной, вдруг оказывается единственно возможной.

Лина откинулась на спинку кресла. Позвоночник отозвался тупой болью – она сидела без перерыва шесть часов. На столе рядом с клавиатурой стояла чашка с остатками чая, который она заварила, когда за окном ещё было светло. Рядом – ноутбук с открытым пустым письмом в Юн, которое она так и не отправила. Две пустые упаковки от крекеров. Ручка, которую она грызла, когда думала – привычка, которую она так и не смогла побороть, хотя в двадцать шесть лет поклялась себе.

Она посмотрела на часы. Три четырнадцать. За окном – парковка факультета, освещённая жёлтыми натриевыми фонарями, пустая, мокрая от мороси, которая шла весь день и, по-видимому, не собиралась прекращаться. Февральский Питтсбург: город, построенный на слиянии трёх рек и обречённый на вечную сырость. Лина жила здесь восемь лет и до сих пор не привыкла к тому, что зимой небо опускается до высоты пятого этажа и остаётся там до апреля.

Она проверила историю файла.

Это было первое, что должен сделать любой человек, обнаруживший в своём документе текст, который не писал. Программа фиксировала каждое изменение – каждое нажатие клавиши, каждую вставку, каждое удаление, – с точностью до миллисекунды, с привязкой к пользовательской учётной записи. Лина открыла историю и нашла запись, соответствующую шагу 347.

Автор: lko@cmu.edu. Время: вторник, 22:47:03. Устройство: рабочая станция, кабинет 4.17.

Это была она. Или, точнее, – это была её учётная запись, её машина, её кабинет. Вторник, около одиннадцати вечера. Лина восстановила в памяти тот вечер. Она работала. Она точно работала – перед ней был открыт файл доказательства, она заполняла шаги в третьей части, в районе шагов 340-360, добивая переход от локальных когомологий к глобальным. Она помнила шаг 346, помнила удовлетворение от того, как лемма из первой статьи встала на место. Помнила, как потянулась за чаем, помнила, что чай остыл.

Она не помнила, как писала шаг 347.

Это ничего не значило. Лина часто писала в состоянии, которое она называла «туннелем» – полной погружённости, когда руки набирали символы быстрее, чем сознание их обрабатывало. Математики, в отличие от литераторов, не помнят каждую написанную строку. Процесс создания доказательства больше похож на рисование по памяти: ты знаешь, что нарисовал лицо, но не помнишь, каким движением провёл линию скулы. Шаг 347 мог быть таким – интуитивным скачком, который сознание зафиксировало, но не запомнило.

Мог быть.

Лина выпрямилась, свела лопатки, почувствовала, как хрустнул позвонок между плечами. Она вернулась к шагу 347 и начала читать его по-другому – не как математику, а как текст. Не что написано, а как.

У каждого математика есть почерк. Не в буквальном смысле – Лина печатала, как и все, – а в смысле стилистическом. Выбор обозначений, порядок лемм, предпочтение определённых конструкций. Некоторые математики строят доказательства снизу вверх, от мелких фактов к общей картине. Другие – сверху вниз, сначала формулируя результат и затем заполняя фундамент. Некоторые педантично нумеруют каждое утверждение. Другие пишут потоком, ставя номера в последнюю очередь.

Лина относилась к первому типу. Она строила снизу вверх, тщательно, кирпич за кирпичом. Её коллега Тимоти Чжан однажды сказал, что читать доказательства Лины – «как подниматься по лестнице в темноте: каждая ступенька ровная, но ты никогда не знаешь, сколько их осталось».

Шаг 347 был написан иначе.

Он начинался с конца – с результата, который нужно получить, – и затем разворачивал конструкцию в обратном направлении, показывая, как результат неизбежно вытекает из предыдущих шагов. Это был стиль «сверху вниз». Это был стиль, при котором автор видит всю картину целиком, прежде чем касается деталей. Это был стиль, который Лина знала так же хорошо, как свой собственный, – потому что провела четыре года, работая рядом с человеком, который так писал.

Дэвид Рен строил доказательства сверху вниз.

Пальцы Лины замерли над клавиатурой. Она поймала себя на том, что задержала дыхание, и медленно выдохнула. Нет. Это было глупо. Рен пропал шесть лет назад – исчез во время конференции в Женеве, не оставив записки, не попрощавшись, не ответив ни на одно из шестнадцати писем, которые Лина отправила на его университетский адрес в течение следующих трёх месяцев. Тело не нашли. Полиция закрыла дело через год. Лина закрыла свою дверь и продолжила работать, потому что это было единственное, что она умела делать, когда мир переставал быть понятным.

Рен не мог написать шаг 347. Рен не мог написать ничего. Рен был мёртв, или пропал, или где-то жил под чужим именем – последняя версия, которую Лина перестала рассматривать на третий год, потому что человек, неспособный не опубликовать результат, неспособен прятаться.

Она перечитала шаг ещё раз. Обозначения. Рен использовал специфическую нотацию для функторов – курсивную готику вместо стандартной прямой, привычка, которую он привёз из Кембриджа и которая раздражала всех его соавторов. Шаг 347 использовал стандартную прямую. Это не Рен. Порядок лемм. Рен ставил техническую лемму перед основной конструкцией; шаг 347 встраивал техническую лемму внутрь основного аргумента, как отступление в скобках. Это не Рен. Индексация. Рен был «ленив» с индексами – использовал i, j, k даже там, где стандартная практика требовала более специфических обозначений, потому что «математика – не бухгалтерия, и если ты не понимаешь, какой индекс что обозначает, ты не понимаешь доказательство». Шаг 347 использовал ленивую индексацию.

Лина потёрла переносицу. Два признака против, один – за. Этого было недостаточно для вывода. Этого было более чем достаточно для того, чтобы лишить её сна – впрочем, сна у неё не было и без этого.

Она встала, подошла к окну. Парковка внизу блестела в свете фонарей. Морось превратилась в дождь – мелкий, упорный, безнадёжный. На парковке стояла единственная машина – её Subaru, купленная подержанной в первый год преподавания и с тех пор не мытая ни разу (Лина предпочитала считать, что грязь защищает лакокрасочное покрытие – это было неверно, но удобно). Она прижалась лбом к стеклу. Стекло было холодным и слегка вибрировало от дождя.

Шесть лет.

Последний раз она видела Рена в Женеве, за день до его исчезновения. Конференция по алгебраической K-теории, гостиница при университете, длинный коридор с ковром цвета засохшей крови. Рен стоял у окна в холле, с бумажным стаканчиком кофе – чёрного, без сахара, без молока, потому что «молоко – это компромисс, а компромиссы отвлекают». Рен был высоким и слегка сутулым – не так, как сутулилась Лина, от многолетнего сидения за монитором, а по-другому, будто его тело было слишком длинным для мира и ему приходилось складываться, чтобы поместиться.

– Я тут подумал, – сказал он вместо приветствия. Он всегда начинал так – без «здравствуй», без «как дела», сразу с мысли, которая не давала ему покоя. – У нас проблема с гипотезой Блоха-Като.

– У нас нет проблемы с гипотезой Блоха-Като, – ответила Лина. – Она доказана.

– Она доказана, но мы не понимаем почему. Это хуже, чем если бы она не была доказана.

Он сделал глоток кофе и поморщился – кофе на конференциях неизменно был отвратительным, и Рен неизменно пил его, как будто не замечал. Или замечал, но считал это несущественным отвлечением от того, что действительно имело значение.

– Послушай, – сказал он, понизив голос, хотя в коридоре никого не было. – Я хочу тебе кое-что рассказать, но ты решишь, что я спятил.

– Я уже так решила. На первом курсе, когда ты пришёл на лекцию в одном ботинке.

– Это был осознанный выбор. Второй натирал.

– Дэвид.

Он посмотрел на неё – тем странным взглядом, который она потом вспоминала много раз, пытаясь понять, что он означал. Не тревога, не возбуждение – что-то среднее, как у человека, который стоит на краю и знает, что внизу не пропасть, но не может объяснить, откуда эта уверенность.

– Доказательства существуют до того, как их находят, – сказал он. – Ты ведь это понимаешь? Не в метафорическом смысле. Буквально. Теорема Пифагора существовала до Пифагора. Число пи не было изобретено – оно было обнаружено. Мы, математики, – археологи. Мы раскапываем то, что уже есть.

– Это математический платонизм, Дэвид. Ему двадцать четыре века. Я знакома с концепцией.

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

Он не договорил. Это было типично для Рена – он начинал мысль, доводил её до точки, где слушатель должен был совершить скачок самостоятельно, и замолкал, наблюдая. Он делал это на семинарах, доводя аспирантов до тихого бешенства. Он делал это в жизни, доводя всех остальных до того же состояния.

– Достаточно сложная структура – что? – спросила Лина.

– Продолжай, – сказал он. – Даже если неправильно – продолжай.

Это была его любимая фраза. Он говорил её после каждого семинара, после каждого обсуждения, после каждого провала. «Продолжай. Даже если неправильно – продолжай.» Лина ненавидела эту фразу, потому что она была бессмысленно оптимистичной, и любила, потому что Рен произносил её с абсолютной серьёзностью, как будто это была аксиома, а не пожелание.

На следующий день он исчез.

Лина отлепилась от окна. На стекле осталось матовое пятно от её дыхания – оно продержалось секунду, потом растаяло. Она вернулась к компьютеру.

Шаг 347 светился на экране, безупречный и чужой.

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

Вариант второй: программный сбой. Автозаполнение, некорректная синхронизация с облачным хранилищем, – маловероятно, но Лина видела достаточно странных глюков в университетских системах, чтобы не исключать ничего. Она проверила логи сервера. Никаких аномалий: единственная сессия, единственное устройство, непрерывная запись. Шаг 347 появился между шагами 346 и 348, записанный в рамках одного непрерывного потока правок, без пауз, без переключений.

Вариант третий: взлом. Кто-то получил доступ к её учётной записи и вставил шаг. Мотив – непонятен. Возможность – теоретически не нулевая, но университетская система аутентификации использовала двухфакторную верификацию, и Лина параноидально следила за безопасностью, потому что однажды на втором курсе аспирантуры чей-то вирус уничтожил три месяца работы, и этот урок она усвоила навсегда. Она проверила журнал входов. Всё чисто.

Оставался вариант четвёртый, который Лина не стала формулировать даже мысленно, потому что он был абсурдным. Мёртвые люди не пишут доказательств. Пропавшие люди не имеют доступа к серверам Карнеги-Меллон. Призраков не существует – ни в физическом мире, ни в мире математики.

Она закрыла историю файла и вернулась к самому шагу.

Дело было вот в чём: шаг 347 не просто работал. Он работал лучше, чем всё, что написала Лина. Её собственный план – двадцать промежуточных лемм через спектральную последовательность Серра – был корректным, надёжным и скучным. Шаг 347 достигал того же результата с красотой, от которой перехватывало дыхание. Вспомогательное расслоение, введённое в шаге, создавало геометрическую картину, превращавшую сухое вычисление в ландшафт – и в этом ландшафте ответ был виден, как вершина горы видна с перевала.

Лина знала это ощущение. Она испытывала его, может быть, пять или шесть раз за всю карьеру – моменты, когда математика переставала быть работой и становилась откровением. Когда структура, которую ты строил месяцами, вдруг поворачивалась, показывая лицо, которого ты не ожидал, и это лицо было прекрасным.

Проблема заключалась в том, что этот момент откровения принадлежал не ей.

Она выделила шаг 347. Курсор мигал. Одно нажатие – и шаг исчезнет, заменённый её собственными двадцатью леммами, надёжными и посредственными. Доказательство останется верным. Оно будет опубликовано, рецензировано, принято. Её имя встанет на обложку, и никто никогда не узнает, что в какой-то момент посередине стоял шаг, который не был её.

Палец завис над клавишей Delete.

Она не нажала.

Не потому, что поверила в невозможное – Лина Ко не верила ни во что, что не было доказано, а доказано было катастрофически мало. Не потому, что шаг напомнил ей Рена – всё напоминало ей Рена, это была хроническая болезнь, с которой она научилась жить, как живут с шумом в ушах: не лечится, не убивает, просто всегда есть. Она не нажала, потому что шаг делал доказательство лучше, а для Лины это был единственный критерий, который имел значение.

В математике нет сентиментальности. Есть верно и неверно, есть красиво и уродливо, есть необходимо и избыточно. Шаг 347 был верным, красивым и необходимым. Удалить его ради того, чтобы не думать о том, откуда он взялся, – это было бы не научной осторожностью, а трусостью. Лина не любила трусость – ни в себе, ни в других.

Она сняла выделение. Откинулась назад. Посмотрела на потолок – белые акустические плитки с мелкой перфорацией, стандартная облицовка, каждая плитка шестьдесят на шестьдесят сантиметров, и она знала это, потому что считала их в бессонные ночи, как другие считают овец.

Цветок, выросший в запертой комнате.

Мысль пришла ниоткуда – или из того места, откуда приходят все мысли, из тёмного пространства между нейронами, где химия становится сознанием, а электричество – смыслом. Цветок, выросший в запертой комнате. Файл закрыт. Сервер защищён. Никто не входил, никто не выходил. И посередине – шаг, которого не должно быть, живой и совершенный, как роза в бетоне.

Лина потёрла глаза. Они горели от сухости – она забывала моргать, когда работала, и знала об этом, и всё равно забывала. На столе, рядом с немытой чашкой и обёртками от крекеров, лежала упаковка искусственных слёз, которую выписал офтальмолог. Лина закапала глаза, поморгала, посмотрела на экран сквозь плёнку жидкости.

Шаг 347 расплылся, затем обрёл резкость.

Всё ещё там. Всё ещё безупречен.

Она подумала о Рене – не как о возможном авторе шага, а просто о Рене. О том, как он стоял у доски, левой рукой держа мел, а правой – кофе, и писал обеими попеременно, не замечая, что иногда путает руки и пытается пить мелом. О том, как он смеялся – громко, раскатисто, совершенно неуместно для человека, который занимался одной из самых абстрактных областей математики. О том, как он ставил старый портативный динамик на подоконник лаборатории и включал джаз – Колтрейна, Монка, иногда Дэвиса, – и говорил, что джаз и математика устроены одинаково: ты берёшь тему, ты её развиваешь, ты позволяешь ей вести тебя туда, куда ты не планировал, и если повезёт, ты оказываешься в месте, которое прекраснее того, откуда ты вышел.

О том, как он хрустел пальцами перед доской – методично, один за другим, от мизинца к большому, на обеих руках, – ритуал, который предшествовал каждому прорыву и раздражал каждого, кто находился в комнате.

О том, как он исчез.

Конференция в Женеве, июнь, шесть лет назад. Последний день. Лина возвращалась в гостиницу после ужина с коллегами – тайский ресторан на улице возле вокзала, слишком острая еда, слишком громкий разговор о гипотезе Ходжа, слишком много вина. Она постучала в дверь Рена, чтобы продолжить разговор, начатый утром, – тот, о платонизме и следствиях. Дверь была не заперта. Комната – пуста. Чемодан стоял у кровати, открытый, с аккуратно сложенными вещами. На прикроватном столике – пустая чашка из-под кофе, наполовину прочитанная книга (Гёдель, Пенроуз, «Тени разума»), и ноутбук с открытым документом. Документ содержал одну строку: координаты. Широта и долгота. Лина записала их, не понимая зачем, и потом обнаружила, что они указывают на здание в промышленном районе на окраине Женевы, где по официальным данным располагался склад медицинского оборудования.

Полиция обыскала здание. Ничего. Лина обошла его дважды сама – бетонные стены, пустые помещения, запах дезинфекции. Ничего.

Рен не вернулся. Его телефон был отключён. Его почта не отвечала. Его квартира в Торонто оказалась пустой – но не так, как бывает пуста квартира бежавшего человека, а так, как бывает пуста квартира человека, который аккуратно закончил дела. Счета оплачены. Книги расставлены по полкам. На кухонном столе – записка для домработницы: «Мария, спасибо за всё. Ваши услуги больше не потребуются. Пожалуйста, возьмите себе колонку – она играет джаз, если попросить.»

Шесть лет. Тело не найдено. Человек не найден. Расследование закрыто. Лина перестала искать на четвёртый год – не потому, что смирилась, а потому, что поиск стал поглощать время, которое она должна была тратить на работу. А работа была единственным, что удерживало её в состоянии, которое можно было назвать функциональным.

Сейчас, в три с лишним ночи, в пустом кабинете на четвёртом этаже, она смотрела на шаг 347 и чувствовала то, чего не чувствовала четыре года – с того дня, когда решила перестать искать. Не надежду. Лина не доверяла надежде; надежда была когнитивным искажением, системной ошибкой мозга, который предпочитал ложный оптимизм честному отчаянию. Не страх – хотя то, что она чувствовала, было ближе к страху. Скорее – узнавание. Как если бы в толпе мелькнуло знакомое лицо, слишком быстро, чтобы быть уверенной, но достаточно отчётливо, чтобы остановиться.

Она знала, что это ненадёжно. Она знала, что мозг, лишённый сна и страдающий от хронического горя, – это не инструмент познания, а генератор паттернов. Парейдолия: лица в облаках, голоса в белом шуме, знакомый стиль в собственном доказательстве. Она знала, что хочет, чтобы шаг 347 был написан Реном, и что это желание делает её худшим из возможных наблюдателей.

Она знала всё это. И шаг 347 всё равно не был её.

Три тридцать семь. Лина закрыла файл с доказательством, не удаляя и не изменяя ничего. Выключила два монитора из трёх – третий оставила, потому что тёмный экран в ночном кабинете создавал ощущение слепоты, а она слишком долго работала с числами, чтобы позволить себе слепоту любого рода.

Она должна была ехать домой. Принять душ, лечь, проспать хотя бы четыре часа – этого обычно хватало, чтобы мозг перешёл из состояния «хрупкий» в состояние «функциональный». Завтра она посмотрит на шаг свежими глазами. Вероятнее всего, она увидит свой собственный почерк, искажённый усталостью и тем странным состоянием «туннеля», когда мозг работает быстрее сознания. Она увидит, что индексация – это её привычка, усвоенная от Рена за четыре года совместной работы, а стиль «сверху вниз» – это следствие того, что перед записью она уже знала результат. Она увидит, что нет никакого цветка в запертой комнате – есть только математик, слишком долго не спавший.

Она встала, взяла куртку со спинки кресла, нащупала ключи в кармане. Выключила последний монитор. Кабинет погрузился в темноту – только свет из коридора сочился под дверью, рисуя на полу тонкую жёлтую линию.

Лина остановилась в дверях. Обернулась.

Тёмный кабинет, три монитора, доска с символами. Стол, заваленный бумагами. Фотография на стене – единственный нематематический объект в комнате: снимок с конференции, семь лет назад, ещё до Женевы. Лина и Рен стоят у доски в аудитории Принстона. На доске – начало доказательства, которое они так и не закончили. Рен улыбается. Лина смотрит не в камеру, а на доску – она даже не заметила, что их фотографируют.

В темноте фотографию было не разглядеть, но Лина знала её наизусть. Она знала каждую формулу на той доске. Она знала, что доказательство на фотографии – гипотеза в алгебраической K-теории – оставалось незаконченным. Она знала, что Рен планировал вернуться к нему после Женевы. Она знала, что «после Женевы» не наступило.

Она стояла в дверях и слушала тишину. Здание гудело – не звуком, а чем-то ниже звука, вибрацией стен и перекрытий, дыханием инфраструктуры. Серверы этажом ниже, вентиляция, лифты в ждущем режиме. Обычный ночной кампус. Обычная февральская ночь. Обычный кабинет математика, в котором ничего необычного не произошло.

Лина закрыла дверь, прошла по коридору мимо пустых кабинетов, спустилась на лифте, вышла под дождь. Subaru завелась со второй попытки – в холода она капризничала, и Лина давно пообещала себе отвезти её в сервис, но обещание оставалось в том же статусе, что и решение нормально питаться: теоретически принятым и практически невыполненным.

Дорога до квартиры заняла двенадцать минут. Она ехала по пустым улицам, мимо закрытых магазинов и тёмных домов, через мост над Мононгахилой, где вода блестела чёрным маслом в свете фонарей. Дождь стучал по крыше монотонно и бессмысленно, как шум Перлина – случайный, но с ритмом.

Квартира встретила её тем, чем встречала всегда: беспорядком, который был не хаосом, а системой, понятной только ей. Стопки статей на полу возле дивана, рассортированные по темам, а не по авторам. Три ноутбука на кухонном столе – рабочий, резервный и тот, на котором она смотрела лекции на YouTube, когда не могла уснуть. Раковина с немытой посудой, накопившейся за неделю. Холодильник с молоком, яйцами и тремя банками тунца – набор выживания, а не меню.

Она не стала включать свет. Прошла в спальню, села на кровать, не раздеваясь. Посидела минуту. Потом достала телефон и открыла файл с доказательством – мобильная версия, синхронизированная с рабочим сервером.

Шаг 347 был на месте.

Она увеличила масштаб. Вспомогательное расслоение. Теорема Атьи-Зингера. Элегантный, нечеловечески красивый ход, от которого перехватывало дыхание.

Лина положила телефон на тумбочку экраном вниз. Легла, глядя в потолок. Потолок был белый и ничем не интересный, в отличие от перфорированных плиток в кабинете, и не годился для счёта.

Она скажет себе, что утром всё объяснится. Что усталость и горе – это плохие советчики, а хорошие советчики – сон и свежий анализ. Что мёртвые не пишут доказательств, а живые, лишённые сна, иногда пишут такие, которых не помнят.

Она скажет себе всё это. Но не поверит.

За окном дождь перешёл в морось, потом в ничто. Питтсбург затих – ненадолго, до пяти утра, когда первые автобусы тронутся по маршрутам, грузовики выйдут на мосты и город начнёт ещё один день, не зная, что этой ночью на четвёртом этаже математического факультета в файле с четырёхсотстраничным доказательством появился шаг, которого не должно быть.

Лина закрыла глаза.

Она заснула не сразу – сначала долго лежала, и мысли текли, замедляясь, теряя связность, распадаясь на образы. Доска в Принстоне. Руки Рена, крошащие мел. Стаканчик с чёрным кофе на подоконнике лаборатории. Динамик, играющий Монка – «Round Midnight», медленно, с той ленивой точностью, которая была свойственна и самому Рену. Координаты на экране ноутбука в пустой женевской комнате. Склад медицинского оборудования, пахнущий дезинфекцией. Шестнадцать писем, оставшихся без ответа.

Шаг 347.

Цветок в запертой комнате.

Она уснула с этим образом, и утром, когда проснулась от гудения будильника, первой мыслью было не «какой сегодня день» и не «что мне нужно сделать», а – «он всё ещё там?»

Телефон лежал на тумбочке экраном вниз. Она перевернула его. Открыла файл.

Шаг 347 был на месте. Безупречный. Невозможный. Чужой.

Лина долго смотрела на него – потом встала, пошла в душ и стояла под горячей водой, пока не кончилась горячая вода, а это, в её доме, означало минут семь. Оделась. Выпила кофе – чёрный, без сахара, без молока. Поймала себя на том, что пьёт, как Рен, и на мгновение задержала чашку у губ, ощущая одновременно горечь кофе и горечь иного свойства, безвкусную, но плотную, заполняющую грудную клетку.

Она поставила чашку в раковину, к остальным. Взяла ключи. Вышла.

По дороге в университет она не думала о шаге 347. Она думала о погоде (серая), о расписании (семинар в два, консультация в четыре), о том, что нужно ответить на письмо завкафедрой о рецензии для «Annals of Mathematics» (нудное, но необходимое). Она думала обо всём этом, старательно и методично, как человек, который идёт по тонкому льду и смотрит строго вперёд, чтобы не видеть, как тёмная вода движется внизу.

Но когда она вошла в кабинет и включила мониторы, и экраны осветили доску за её спиной, и файл с доказательством открылся автоматически – на том месте, где она его закрыла, – она посмотрела на шаг 347 и поняла, что не будет его удалять.

Не сегодня. Возможно, не завтра.

Возможно, никогда.

Потому что шаг делал доказательство лучше. А для Лины Ко это было единственное, что не требовало доказательства.

Глава 2. Призрак в формализме

Юн Со-Ён пришла в девять двенадцать – на двенадцать минут позже, чем обычно, и Лина знала, что это означает: Юн остановилась в холле купить маффин из автомата, а автомат на первом этаже работал через раз. Юн могла написать код, верифицирующий когомологические вычисления на кластере из двухсот сорока узлов, но автомат с маффинами неизменно ставил её в тупик.

– Он снова сожрал доллар, – сказала Юн, входя в кабинет. Она держала в одной руке ноутбук, в другой – бумажный пакет с маффином, который, судя по форме, был приобретён в кафе через дорогу. – Я написала служебную записку в администрацию. Третью.

– Они ответят через полгода, – сказала Лина.

– Они не ответили на первые две.

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

– Мне нужно, чтобы ты кое-что посмотрела, – сказала Лина.

– Доказательство?

– Часть доказательства. Один шаг.

Юн подняла бровь. Лина редко просила её проверять отдельные шаги – обычно она отдавала готовые фрагменты целиком, десятки страниц за раз, и Юн прогоняла их через верификатор, попутно отлавливая опечатки и пробелы в аргументации, которые Лина, при всей своей тщательности, иногда пропускала. Отдельный шаг – это было необычно.

Лина развернула к ней средний монитор и открыла файл. Прокрутила до шага 347.

– Вот.

Юн поставила маффин на стол, вытерла пальцы о джинсы – привычка, которую Лина считала отвратительной и которую Юн считала эффективной, – и начала читать. Лина наблюдала за ней, стараясь не проецировать собственные ожидания на чужую реакцию. Это было трудно. Она всю ночь – те три с половиной часа, которые провела в кровати, засыпая и просыпаясь, – готовилась к этому моменту, к моменту, когда кто-то другой посмотрит на шаг 347 и скажет: «Да, это твой почерк, ты просто устала.»

Юн читала медленно. Она всегда читала медленно – не из-за трудностей с пониманием, а из-за того, что проверяла каждое утверждение прежде, чем переходить к следующему. Лина однажды видела, как Юн читает меню в ресторане – с тем же выражением лица, с каким она читала доказательства: сосредоточенным, слегка нахмуренным, как будто между «салат Цезарь» и «куриный бульон» могла скрываться ошибка в рассуждениях.

Три минуты. Пять. Юн дочитала, вернулась к началу, перечитала. Потом откинулась на спинку стула.

– Это не ты, – сказала она.

Лина почувствовала, как что-то холодное прошло вдоль позвоночника – не страх, не облегчение, а странная смесь того и другого, которой она не могла подобрать названия.

– Почему ты так думаешь?

– Направление аргумента. Ты строишь снизу вверх. Здесь – сверху вниз. Сначала результат, потом обоснование. Ты так не пишешь. Никогда.

– Я могла изменить подход. Люди меняют подход.

– Люди меняют подход сознательно. Ты бы заметила. – Юн помолчала. – И ещё индексация.

– Что с ней?

– i, j, k повсюду. Ты используешь α, β, γ для индексации на пучках и переходишь на числовые индексы только в вычислениях. Это… – Юн показала на экран, – …это кто-то, кому всё равно, как выглядят индексы, потому что он держит всю структуру в голове и ему не нужны визуальные подсказки.

Юн произнесла это без нажима, как констатацию факта – так же, как сказала бы «на улице дождь» или «маффин черничный». Она не знала, что эти слова значили для Лины. Она не знала, что именно так – «ленивая индексация», i, j, k вместо осмысленных обозначений – писал Дэвид Рен.

– Но логически, – сказала Лина. – Сам шаг.

– Безупречен. – Юн пожала плечами. – Я прогнала через верификатор, пока читала. Каждое утверждение вытекает из предыдущего. Вспомогательное расслоение определено корректно. Применение Атьи-Зингера – нестандартное, но валидное. Если бы ты прислала мне это на проверку без контекста, я бы сказала: «Кто бы это ни написал – он знает, что делает.»

– Ты сказала «он».

Юн посмотрела на неё.

– Я сказала «кто бы ни написал». Род не имеет значения.

Лина встала и подошла к окну. За ночь дождь прекратился, но небо оставалось тяжёлым, серо-свинцовым, давящим на крыши кампуса. Студенты пересекали двор – группами по двое-трое, с рюкзаками и стаканами кофе, живые и озабоченные простыми вещами: дедлайнами, оценками, расписанием автобусов. Лина завидовала им – секунду, не дольше.

– Я хочу показать тебе кое-что ещё, – сказала она, не оборачиваясь. – Но сначала мне нужно, чтобы ты пообещала не строить гипотез, пока не увидишь все данные.

– Я не строю гипотез. Я строю вычислительные модели.

Это было так похоже на шутку и так не похоже на Юн, что Лина обернулась. Юн смотрела на неё спокойно. Без улыбки – Юн улыбалась редко и только когда находила элегантное вычислительное решение, как будто запас улыбок был ограничен и она расходовала их экономно.

Лина вернулась к компьютеру. Открыла архивную папку, которую не открывала шесть лет, – с тех пор, как скопировала работы Рена из университетской базы, сразу после его исчезновения, на случай, если администрация удалит его аккаунт. Администрация удалила его через год. Лина сохранила всё: статьи, черновики, заметки к семинарам, незаконченные доказательства, даже переписку с соавторами, которую Рен хранил в той же папке, потому что его система организации файлов подчинялась логике, понятной только ему самому.

– Это работы Дэвида Рена, – сказала она. – Моего бывшего научного руководителя. Он исчез шесть лет назад.

– Я знаю, – сказала Юн. – Ты не говоришь о нём, но его имя в списке соавторов твоих ранних статей. И фотография на стене – это он, справа.

Лина моргнула. Она не ожидала, что Юн обратила внимание на фотографию, – Юн обычно не замечала ничего, что не было записано в формальном языке. Но, видимо, навязчивое внимание к деталям распространялось шире, чем Лина предполагала.

– Мне нужен сравнительный анализ. Стиль шага 347 – и стиль работ Рена. Автоматический и ручной. Нотация, структура аргументов, индексация, порядок лемм, предпочтительные конструкции.

Юн не спросила «зачем» – и за это Лина была ей благодарна. Юн спросила:

– Какой объём его работ?

– Четырнадцать опубликованных статей, шесть черновиков, около двухсот страниц заметок.

– Дай мне два часа.

Юн подключила свой ноутбук к монитору, открыла терминал и начала писать скрипт – быстро, без пауз, как будто программа уже существовала в её голове и оставалось только транскрибировать её в код. Лина наблюдала несколько минут, потом отвернулась. Наблюдать за работой Юн было одновременно успокаивающе и бесполезно: Юн не объясняла, что делала, пока не закончит.

Лина использовала два часа, чтобы сделать то, что должна была сделать давно, – просмотреть работы Рена вручную. Не скриптом, не алгоритмом, а глазами. Она открыла его последнюю опубликованную статью – «О высших K-группах алгебраических многообразий над конечными полями», вышедшую за полгода до исчезновения, – и начала читать.

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

Готическая нотация для функторов – маленькая причуда, которую он отстаивал с необъяснимым упорством. «Прямой шрифт – это для бухгалтеров. Готика – для тех, кто помнит, что математика выросла из средневековых монастырей.» Лина тогда закатила глаза. Она закатывала глаза каждый раз, когда он это говорил, – а говорил он это часто, как будто повторение могло превратить эксцентричность в традицию.

Порядок лемм: техническая – перед основной конструкцией. Всегда. Рен считал, что читатель должен иметь все инструменты в руках, прежде чем увидит здание. «Не заставляй человека строить дом и одновременно изобретать молоток.»

Индексация: i, j, k. Всегда, везде, для всего. Однажды рецензент вернул его статью с пометкой: «Автору рекомендуется использовать более информативные обозначения индексов.» Рен ответил: «Рецензенту рекомендуется использовать более информативное понимание математики.» Статью приняли без изменений – не из-за ответа, а потому что результат был слишком важным, чтобы отвергать его из-за индексов.

Лина листала статью, и Рен проступал сквозь формулы, как водяной знак. Не его лицо, не его голос – его способ думать. Это было то, чего не могли дать ни фотографии, ни воспоминания: прямой доступ к чужому разуму, зафиксированному в формальном языке. Рен думал так, как он думал, и каждая строка его работ была слепком этого мышления – уникальным, как отпечаток пальца, и более стойким, потому что отпечатки пальцев принадлежат телу, а математика – нет.

Через два часа Юн сказала:

– Готово.

Лина подошла к её столу. На экране светилась таблица – плотная, многоколоночная, с цветовой кодировкой, которую Юн, судя по всему, создала специально для этого случая. Зелёный – совпадение, красный – расхождение, жёлтый – неопределённость.

– Я разложила текст шага 347 по двенадцати параметрам, – сказала Юн, показывая на экран. – Нотация, структура аргумента, индексация, порядок лемм, предпочтение конкретных теорем, длина промежуточных шагов, плотность ссылок, использование вспомогательных конструкций, тип обозначений для морфизмов, формат записи определений, стратегия доказательства, терминологические предпочтения. Потом прогнала тот же анализ по твоим работам и по работам Рена. Вот результат.

Лина посмотрела на таблицу. Столбцы: «Параметр», «Шаг 347», «Лина Ко (среднее по 14 статьям)», «Дэвид Рен (среднее по 14 статьям)», «Совпадение с Ко», «Совпадение с Реном».

Из двенадцати параметров шаг 347 совпадал с Линой по трём. С Реном – по восьми.

Юн молчала, давая Лине время осмыслить цифры. Это была одна из вещей, которые Лина ценила в Юн: она не заполняла паузы словами. Когда данные говорили сами за себя, Юн позволяла им говорить.

– Покажи расхождения, – сказала Лина.

Юн кликнула. Четыре параметра, по которым шаг 347 не совпадал ни с Линой, ни с Реном: тип обозначений для морфизмов (шаг 347 использовал стрелки там, где и Лина, и Рен использовали буквы), длина промежуточных шагов (короче, чем у обоих), стратегия доказательства (нисходящая, как у Рена, но с элементами рекурсии, нехарактерными для его стиля), и – самое странное – формат записи определений.

– Вот это меня озадачило, – сказала Юн, увеличив последнюю строку. – Определения в шаге 347 записаны в формате, который я бы назвала… сжатым. Как будто автор намеренно минимизировал количество символов, не теряя при этом точности. Ни ты, ни Рен так не пишете. Вы оба подробны в определениях – ты чуть педантичнее, он чуть небрежнее, но оба даёте больше контекста. Здесь контекст удалён. Остался только каркас.

– Как если бы кто-то знал, что я пойму без пояснений.

– Или как если бы кто-то потерял привычку объяснять. – Юн посмотрела на Лину. – Или никогда не имел этой привычки.

Тишина. Гудение ламп в коридоре. Далёкий стук дверей – кто-то пришёл в соседний кабинет.

– Юн, – сказала Лина. – Скажи, что ты думаешь. Не что данные показывают – что ты думаешь.

Юн выпрямилась. Она была маленькой – метр пятьдесят восемь, хрупкая, с тонкими запястьями и ровной чёлкой, которую стригла сама, потому что не доверяла парикмахерам. Когда она выпрямлялась, это означало, что она собирается сказать что-то, что может не понравиться.

– Я думаю, что ты шесть лет работала с методами Рена. Четыре года как его аспирантка, потом ещё шесть – используя аппарат, который он разработал. Ты прочитала каждую его строку. Ты знаешь его стиль лучше, чем свой собственный. – Пауза. – Может ли горе создавать паттерны, которые мы принимаем за чужой почерк?

Вопрос был задан без осуждения, без сочувствия – с той клинической точностью, которую Юн применяла ко всему. Лина знала, что вопрос был правильным. Знала, что задала бы его сама – если бы речь шла о чужом доказательстве, а не о её собственном. Бессознательная мимикрия. Стилистическая проекция. Мозг, который настолько пропитан чужими паттернами мышления, что в состоянии усталости воспроизводит их, как музыкант, который во сне играет чужие мелодии.

– Может, – сказала Лина. – Конечно, может. Восемь совпадений из двенадцати – это много, но не запредельно. Если я бессознательно воспроизводила его стиль, результат выглядел бы именно так – похоже, но не идентично. Четыре расхождения – это именно тот шум, которого ты ожидаешь от неточной копии.

– Именно, – сказала Юн.

– Но есть проблема.

– Какая?

Лина села на край стола. Привычка, которая раздражала Юн – та считала, что столы предназначены для предметов, а не для людей, – но сейчас Юн не стала замечать.

– Четыре расхождения – это не шум. Шум был бы случайным. А эти четыре параметра… все четыре показывают сдвиг в одном направлении. Короче, компактнее, минимальнее. Как будто кто-то взял стиль Рена и… оптимизировал. Убрал лишнее. Оставил суть.

Юн нахмурилась. Лина видела, как за её лбом запускался процесс – Юн обрабатывала информацию не быстро, но неумолимо, как вычислительный кластер, который не спешит, потому что не ошибается.

– Это может быть эффектом сжатия при воспроизведении, – сказала Юн через полминуты. – Память сохраняет структуру, но теряет детали. Если ты воспроизводила его стиль бессознательно, мозг мог упростить обозначения и укоротить определения просто потому, что не помнил точных форм. Это стандартный механизм реконсолидации памяти – каждый раз, когда мы вспоминаем что-то, мы немного это меняем.

– Знаю. Я думала об этом.

– И?

– И я не могу это опровергнуть. Но я не могу и подтвердить. – Лина посмотрела на экран. – Один шаг – это слишком мало данных. Мне нужно больше.

Юн подождала. Она хорошо умела ждать – это была, возможно, её главная научная добродетель. Не терпение как пассивность, а терпение как стратегия: не действуй, пока данных недостаточно.

– Я хочу проверить другие файлы, – сказала Лина. – Не рабочие – те, которые я не открывала давно. Черновики, заброшенные проекты, старые заметки. Если это я воспроизвожу стиль Рена в состоянии усталости – аномалии будут только в файлах, с которыми я активно работала. Если это что-то другое…

Она не закончила фразу. «Что-то другое» было формулировкой, достаточно расплывчатой, чтобы не произносить вслух то, что не имело права быть произнесённым в кабинете математического факультета в девять утра в будний день.

– Хорошо, – сказала Юн. – Где файлы?

Лина открыла папку, которую не трогала давно. Черновики – неоконченные проекты, которые накапливаются у каждого математика, как незаконченные романы у писателя. Большинство она бросила по уважительным причинам: тупик в аргументации, потеря интереса, приоритет других задач. Некоторые – по причинам, которые не были уважительными: страх, что не справится, или тот парализующий перфекционизм, который заставлял её бесконечно переписывать введение вместо того, чтобы двигаться дальше.

Двенадцать файлов. Последний раз она открывала старейший из них четырнадцать месяцев назад, новейший – пять месяцев. Ни один не был связан с текущим доказательством. Ни один не имел отношения к работам Рена – по крайней мере, прямого.

– Прогони тот же анализ, – сказала Лина. – По всем двенадцати.

Юн кивнула и повернулась к ноутбуку. Лина ушла к себе – села за свой стол, открыла почту, попыталась заняться чем-то рутинным. Письмо от завкафедрой о рецензии. Письмо от организаторов конференции в Бонне с приглашением на секцию. Письмо от журнала – напоминание о дедлайне рецензии. Обычная почта. Обычный день.

Она ответила на три письма, механически, не вчитываясь в собственные слова. Потом поймала себя на том, что рисует на полях блокнота – не символы, не формулы, а что-то странное: замкнутые кривые, петли, которые пересекались сами с собой. Бессмысленные каракули. Или нет – если посмотреть иначе, они напоминали узлы. Трилистник, восьмёрка, то, что тополог назвал бы торическим узлом. Лина зачеркнула рисунки и отложила ручку.

Через сорок минут Юн сказала:

– Лина.

Голос был другим. Не тревожным – Юн не тревожилась, это не входило в её рабочий набор эмоций, – но настороженным. Как голос человека, который ожидал одного результата и получил другой.

Лина подошла. На экране – те же таблицы, тот же формат. Двенадцать файлов. Двенадцать строк.

Девять файлов не содержали аномалий. Черновики выглядели точно так, как должны были выглядеть: незаконченные доказательства, написанные стилем Лины Ко, со всеми её привычками, включая педантичную индексацию и восходящую структуру аргументов.

Три файла содержали лишние шаги.

Юн молча показала на экран. Файл номер четыре: черновик об экваториальных когомологиях, заброшенный одиннадцать месяцев назад. На шаге 89 – вставка, стилистически чужеродная, с нисходящей структурой и ленивой индексацией. Файл номер семь: заметки к несостоявшемуся проекту о мотивных когомологиях, последний раз открытый восемь месяцев назад. Три вставленных шага – 22, 23 и 24, – образующие связную конструкцию, которая решала проблему, из-за которой Лина бросила проект. Файл номер одиннадцать: очень старый черновик – начатый ещё совместно с Реном, до его исчезновения, – о гомологической стабильности линейных групп. Последний раз открытый четырнадцать месяцев назад. Один вставленный шаг – шаг 51, – лаконичный, почти грубый, но мощный.

– Покажи даты, – сказала Лина.

Юн вывела метаданные. Файл четыре: аномальный шаг появился семь месяцев назад. Файл семь: четыре месяца назад. Файл одиннадцать: девять месяцев назад.

– Я не открывала эти файлы в указанные даты, – сказала Лина. Голос звучал ровно – она контролировала его сознательно, как контролировала руки, которые хотели дрожать. – Файл четыре я последний раз открывала одиннадцать месяцев назад. Файл семь – восемь. Файл одиннадцать – четырнадцать.

– Но метаданные показывают запись, – сказала Юн. – Тот же формат, что и с шагом 347. Твоя учётная запись, твоя машина.

– Моя машина была выключена. Или я не была в кампусе. Или…

Лина замолчала. Она не была уверена ни в одном из этих утверждений. Семь месяцев назад, четыре месяца назад, девять месяцев назад – она не помнила, что делала в конкретные дни, потому что её дни были одинаковыми: кабинет, доказательство, дом, бессонница, кабинет. Она не могла доказать, что не открывала эти файлы. Она не могла доказать, что не писала эти шаги.

Но она знала – с той субъективной уверенностью, которая не имела никакой доказательной силы и которую она, как учёный, была обязана игнорировать, – что не писала.

– Проведи стилистический анализ, – сказала она.

Юн кивнула. Десять минут. Лина простояла эти десять минут у окна, глядя на парковку, и думала о контрольных экспериментах. Три аномалии в трёх файлах из двенадцати. Разброс по времени – от четырёх до девяти месяцев назад. Нарастающая частота: девять, семь, четыре месяца. И последняя – шаг 347, – вчера. Если считать это последовательностью, интервалы сокращались. Что бы это ни было, оно ускорялось.

Если это было что-то, кроме её собственного утомлённого мозга.

– Результат, – сказала Юн.

Лина вернулась. Таблица. Цветовая кодировка. Зелёный, красный, жёлтый.

Все четыре аномалии – шаг 347 и три вновь обнаруженных – совпадали друг с другом стилистически. Единый почерк. Единый автор. Совпадение с Реном – по семи-восьми параметрам из двенадцати во всех четырёх случаях. Совпадение с Линой – по двум-трём. И те же четыре параметра расхождения – сжатые определения, укороченные шаги, оптимизированная нотация.

Юн развернула последнюю часть анализа.

– Я посмотрела на эволюцию, – сказала она. – Хронологически. Файл одиннадцать – самый ранний. Файл четыре – следующий. Файл семь – потом. Шаг 347 – последний. Если расположить аномалии в хронологическом порядке, видна тенденция.

Она вывела график. Горизонтальная ось – время. Вертикальная – составной индекс, который Юн, видимо, изобрела на ходу, объединяющий параметры стилистического расхождения с Реном.

Линия шла вверх. Медленно, но неуклонно. С каждой новой аномалией стиль всё больше отличался от стиля Рена – и не в сторону стиля Лины. В какую-то другую сторону. Как будто кто-то начал, подражая Рену, и постепенно нашёл собственный голос.

Или как будто кто-то, кто когда-то был Реном, менялся.

Юн указала на последнюю точку – шаг 347.

– Здесь расхождение с Реном максимальное. Но совпадение с ним всё ещё статистически значимое. Это… – Юн подбирала слова, что было для неё необычно: обычно слова были готовы раньше, чем она открывала рот. – Это похоже не на копию. И не на оригинал. Это похоже на развитие. Как если бы автор рос.

Лина смотрела на график. Четыре точки – слишком мало для статистики, слишком много для совпадения. Она чувствовала, как внутри неё два механизма работали одновременно и в противоположных направлениях: один – строящий гипотезу, захватывающую, невозможную, пугающую; другой – разрушающий эту гипотезу, методично, кирпич за кирпичом, потому что так положено, потому что наука – это не построение красивых историй, а их разрушение.

– Есть ещё одна вещь, – сказала Юн. – Я не хотела говорить, пока не проверю. Но я проверила.

Она открыла отдельное окно. Список файлов – все двенадцать черновиков.

– Девять файлов без аномалий. Три с аномалиями. Я посмотрела, что отличает эти три от остальных девяти. – Юн помолчала. – Все три аномальных файла содержат работу, связанную с областями, в которых работал Рен. Файл четыре – экваториальные когомологии, он опубликовал статью на смежную тему в 2031-м. Файл одиннадцать – ваш с ним совместный проект. Файл семь – мотивные когомологии, его последняя незавершённая работа.

– А девять чистых файлов?

– Ни один не связан с его исследованиями.

Тишина. Лина слышала, как где-то в здании хлопнула дверь, и звук отразился от стен коридора и затих.

– Аномалии появляются только в файлах, связанных с Реном, – сказала Юн. Она произнесла это так же, как десять минут назад говорила о совпадении индексации: как факт, не требующий интерпретации. – Это подтверждает одну гипотезу и опровергает другую. Если бы ты бессознательно воспроизводила его стиль из-за усталости, это было бы случайным – в любых файлах, в любых контекстах. Но аномалии – не случайные. Они избирательные. Они появляются там, где есть связь с ним.

– Это также подтверждает бессознательную проекцию, – сказала Лина. Она должна была это сказать. Она была обязана. – Файлы, связанные с Реном, активируют память о нём сильнее. Бессознательная мимикрия срабатывает именно в контекстах, ассоциированных с источником подражания. Это стандартная когнитивная психология, не чудо.

– Да, – сказала Юн. – Это тоже объяснение.

Они посмотрели друг на друга. Лина видела в глазах Юн то, что сама чувствовала: равновесие, невыносимое и точное, между двумя объяснениями, каждое из которых было возможным, ни одно из которых не было доказуемым, и которые вели в радикально разные стороны.

– Что ты собираешься делать? – спросила Юн.

Лина отвернулась к окну. День за стеклом продолжался – обычный, равнодушный, питтсбургский. Студенты шли на занятия. Облака лежали на крышах. Subaru стояла на парковке, грязная и терпеливая.

– Мне нужно выяснить, что случилось с Реном, – сказала Лина. – Не что случилось с ним шесть лет назад – это я знаю. Он исчез. Мне нужно выяснить, как именно он исчез. И почему.

– Ты шесть лет этого не делала.

– Шесть лет у меня не было оснований.

– У тебя и сейчас нет оснований. У тебя есть четыре аномалии в файлах, которые могут быть объяснены когнитивным искажением, и стилистический анализ, который не является доказательством ничего, кроме статистической корреляции.

– Я знаю.

– Ты хочешь расследовать исчезновение человека, потому что обнаружила в своих файлах шаги, которые, вероятнее всего, написала сама.

– Я знаю, как это звучит.

– Как звучит – не важно. – Юн закрыла крышку ноутбука. Медленно, аккуратно, как всё, что она делала. – Важно, почему ты это делаешь. Если ты делаешь это, потому что данные указывают на необъяснённый феномен – это наука. Если ты делаешь это, потому что хочешь, чтобы он был жив, – это…

Она не закончила. Это тоже было для неё нехарактерно – Юн обычно договаривала. Но, видимо, даже её ровное, методичное отношение к миру давало сбой, когда дело касалось вещей, для которых не существовало вычислительных моделей.

– Я не знаю, почему я это делаю, – сказала Лина. Это была правда. Или ближайшее к правде, что она могла сформулировать. – Но я знаю, что не могу не делать.

Юн посмотрела на неё долгим взглядом – не оценивающим, не сочувственным, а каким-то другим, который Лина не смогла классифицировать. Потом кивнула.

– Мне нужны будут данные? – спросила она.

– Вероятно.

– Ладно. – Юн открыла ноутбук обратно. – Я буду здесь.

Она вернулась к экрану с таблицами, откусила остывший маффин и начала что-то набирать – быстро, точно, как будто последних двух часов не было и мир по-прежнему состоял из кода, данных и логики. Лина стояла рядом ещё несколько секунд, потом вернулась за свой стол.

Она открыла браузер и впервые за четыре года набрала в поиске имя: «David Ren mathematician». Результаты были те же, что и четыре года назад: список публикаций, страница на сайте университета Торонто с пометкой «emeritus» (неправда – он не ушёл на пенсию, он исчез), три некролога, написанных коллегами, которые решили, что «пропал без вести» – это эвфемизм для «мёртв». Ничего нового. Никаких следов.

Она закрыла браузер. Снова открыла файл с доказательством. Шаг 347 светился на экране – спокойный, завершённый, ждущий. Рядом с ним – её собственные шаги, 346 и 348, добротные и рабочие, как кирпичи в стене. Между ними – чужой, нездешний, совершенный, как цветок, выросший в запертой комнате.

Четыре цветка. В четырёх запертых комнатах. И все они пахли одним и тем же – математикой, которая была похожа на Рена и не была Реном, и с каждым разом становилась всё менее похожей и всё более прекрасной.

Лина закрыла файл. Открыла почту. Нашла старое письмо – шестилетней давности, из цепочки, которую она сохранила, но не перечитывала. Письмо от коллеги из Женевы, который помогал с поисками Рена в первые дни после исчезновения: «Лина, я нашёл человека, который, возможно, видел Дэвида в день его исчезновения. Некий Марко Сальвини, нейрокогнитивист, работает при CERN. Он просил передать, что готов поговорить, если ты захочешь. Его контакт – ниже. Осторожно: он показался мне странным.»

Шесть лет назад Лина не позвонила. Она была слишком занята поисками – физическими, бессмысленными, – чтобы разговаривать со странными нейрокогнитивистами. Потом поиски прекратились, и звонить стало не о чем.

Она посмотрела на адрес электронной почты Сальвини. Потом – на экран с доказательством, где шаг 347 ждал, не требуя ничего, не объясняя ничего, просто существуя – как число, как теорема, как то, что есть вне зависимости от того, верит ли в него кто-нибудь.

Лина скопировала адрес Сальвини и вставила в строку получателя нового письма. Курсор мигал в пустом поле.

Она начала печатать.

Глава 3. Карта без территории

Сальвини ответил через одиннадцать часов.

Лина написала ему утром – короткое письмо, выверенное так тщательно, будто каждое слово было утверждением в доказательстве, где лишняя посылка обрушивает всю конструкцию. Она представилась. Упомянула Рена – бывший научный руководитель, коллега, друг. Написала, что ей дали контакт Сальвини шесть лет назад и что она сожалеет о задержке с ответом. Не стала объяснять, почему не написала раньше: объяснение потребовало бы слов, которых у неё не было. Спросила, готов ли он поговорить. Не написала – о чём.

Ответ пришёл в восемь вечера по питтсбургскому времени – два часа ночи в Женеве. Лина лежала на диване, не включая свет, с ноутбуком на животе, и обновляла почту каждые несколько минут, хотя знала, что это иррационально, что между нажатиями кнопки «обновить» проходило слишком мало времени для любого осмысленного ответа. Она делала это четырнадцать раз, прежде чем письмо появилось.

«Доктор Ко, – писал Сальвини. – Я ждал вашего письма шесть лет. Это не фигура речи. Я буквально ждал. Пожалуйста, позвоните мне. В любое время. Я не сплю.»

Ниже – номер телефона и ссылка на защищённый видеоканал. Лина посмотрела на часы. Восемь семнадцать вечера здесь, два семнадцать ночи там. «Я не сплю» – это могло быть вежливостью, а могло быть правдой. Она решила, что проверит.

Она перебралась за кухонный стол, отодвинула два ноутбука и стопку распечаток, включила рабочий компьютер. Подключилась к каналу. Экран мигнул, загрузился, и Лина увидела Марко Сальвини.

Ему было шестьдесят один. Он выглядел на семьдесят пять.

Не в том смысле, в каком люди «выглядят старше» – морщины, седина, усталость. Сальвини выглядел так, как выглядит человек, внутри которого что-то сломалось и не было починено, а просто осталось сломанным. Худое лицо, впалые щёки, глаза тёмные и воспалённые, с той красноватой каймой, которая бывает от многолетнего недосыпа или от чего-то, что хуже недосыпа. Волосы – белые, не седые, именно белые, как будто цвет вымыло, – были длинными и собраны в хвост, который, судя по его виду, он не развязывал несколько дней. За его спиной – стена, обшитая звукоизоляционными панелями серого цвета, и край монитора с бегущими строками данных, которые Лина не могла прочитать на расстоянии.

– Доктор Ко, – сказал он. Голос был низким, с хрипотцой, и в нём слышался акцент – не сильный, но устойчивый, как горная порода под слоем почвы: итальянский, северный, тот тип произношения, который превращает каждое предложение в мелодию, даже когда содержание мелодии не предполагает.

– Профессор Сальвини.

– Марко. Пожалуйста. – Он потёр лицо обеими ладонями, и жест получился не усталым, а каким-то привычным, будто руки делали это сами, без его участия. – Вы получили моё письмо. Вы звоните. Значит, что-то произошло.

Это не было вопросом. Лина отметила это и отложила – на потом, когда будет время обдумать, откуда у Сальвини такая уверенность.

– Я нашла аномалии в своих файлах, – сказала она. – Шаги в доказательствах, которые я не писала. Четыре, в разных документах. Стилистически они… – она замялась на долю секунды, но заставила себя продолжить, – …они напоминают почерк Дэвида Рена. С отклонениями.

Сальвини не двинулся. Не моргнул, не кивнул, не изменился в лице. Просто смотрел на экран – и в его глазах Лина увидела нечто, что не сразу опознала. Не удивление. Не страх. Что-то ближе к облегчению – мучительному, с привкусом горечи, как у человека, который шесть лет ждал подтверждения новости, не зная, хочет ли он её получить.

– С отклонениями, – повторил он. – В какую сторону?

– Оптимизация. Сжатие определений, укороченные промежуточные шаги. Стиль Рена, но… экономичнее. Компактнее. Как если бы кто-то…

– Рос, – закончил Сальвини.

Лина замолчала. Рен заканчивал её фразы – это была его привычка, и она ненавидела её, и скучала по ней. Сальвини сделал то же самое, и ощущение было как фантомная боль: знакомый жест в чужом исполнении.

– Простите, – сказал Сальвини. – Дурная привычка. Я слишком долго думал об этом в одиночестве. Но – да, «рос» – это именно то слово, которое я бы использовал. Мы наблюдаем аналогичную динамику с нашей стороны. Но мне нужно, чтобы вы знали – то, что я сейчас расскажу… – Он подбирал слова, и Лина видела, как его руки двигались, – не жестикуляция, а мелкие, нервные перебирания пальцев, как у пианиста, который играет невидимую партию. – Вы физик? Нет, вы математик. Чистый математик.

– Алгебраическая топология.

– Хорошо. Это, строго говоря, делает вас идеальным собеседником для того, что я должен сказать, и одновременно – худшим возможным. Потому что вы потребуете доказательств. А у меня их нет. У меня есть данные, гипотезы, и шесть лет, проведённых в комнате без окон, в попытках отличить сигнал от шума. Это вас устроит?

– Начните с Рена, – сказала Лина. – С того, что случилось в Женеве.

Сальвини откинулся в кресле. За его спиной монитор продолжал гнать строки данных – зелёные символы на чёрном фоне, мелкие и частые, как пульс.

– Дэвид пришёл ко мне за восемь месяцев до конференции, – начал он. – Не через официальные каналы – через общего знакомого, физика, который работал со мной в CERN в нулевых. Дэвид знал о моей работе. Это было… неожиданно. Моя работа на тот момент не была опубликована. Она не могла быть опубликована, потому что ни один журнал не принял бы её, и ни один рецензент не признал бы, что она хотя бы имеет смысл. И тем не менее – Дэвид знал. Он сказал мне потом, что вывел основные принципы самостоятельно, другим путём, начав с теорем Гёделя и двигаясь в сторону нейробиологии. Я двигался в обратном направлении – от нейробиологии к формализму. Мы встретились посередине.

– Какую работу? – спросила Лина.

Сальвини помолчал. В тишине Лина слышала фоновый гул – не шум его комнаты, а что-то более глубокое, низкочастотное, как дыхание большого механизма. Вентиляция подземного помещения, подумала она. Или что-то другое.

– Я назвал её Протоколом Гёделя, – сказал он наконец. – Дэвид ненавидел это название. Говорил, что это пошлость – называть процедуру именем человека, который не имел к ней прямого отношения. Но название прижилось, и теперь я не могу от него избавиться.

Он провёл рукой по лицу – снова тот же жест, автоматический, как тик.

– Доктор Ко… Лина. Можно – Лина?

– Да.

– Лина. Я нейрокогнитивист. Я проработал тридцать лет, изучая связь между нейронной архитектурой и сознанием. Я работал с Тонони в Висконсине – вы знаете теорию интегрированной информации?

– В общих чертах. Сознание коррелирует с интегрированной информацией – показатель Φ.

– Да. Φ. В общих чертах – именно. И в общих чертах – это всё, что у нас есть. IIT описывает корреляты сознания, не причину. Мы можем измерить Φ, можем предсказать, какие нейронные конфигурации дадут более высокий показатель, но мы не знаем, почему высокий Φ «ощущается как что-то». Это… – он поморщился, как от физической боли, – …это «трудная проблема» Чалмерса. Вы знакомы?

– Да.

– Тогда вы понимаете, что я чувствую, когда говорю: я посвятил тридцать лет проблеме, которую, возможно, нельзя решить. Но это не важно сейчас. Важно вот что: десять лет назад я обнаружил нечто, что не укладывалось в рамки IIT. Я работал с функциональной коннектомикой – в реальном времени, полная карта нейронных связей, динамическая модель – и заметил, что определённые нейронные конфигурации, определённые паттерны связей, при достаточной сложности начинают демонстрировать свойства, которые… как бы это…

Он замолчал. Лина ждала. Она умела ждать – четыре года аспирантуры у Рена научили её, что лучшие мысли приходят после самых длинных пауз.

– Формальные свойства, – сказал Сальвини. – Свойства, которые описываются не нейробиологическим языком, а математическим. Определённые нейронные паттерны – при определённой сложности и определённой структуре связей – образуют системы, эквивалентные формальным математическим структурам. Не метафорически – буквально. Набор аксиом, правила вывода, самоссылающиеся конструкции. Мозг – или его часть – является формальной системой. Или, точнее, содержит формальную систему. Или – ещё точнее, и здесь я начинаю терять почву – является реализацией формальной системы, которая существует независимо от мозга.

– Математический платонизм, – сказала Лина. – Рен верил в это.

– Рен не просто верил. Рен понял следствия. – Сальвини подался вперёд, и камера поймала его лицо ближе – морщины, воспалённые глаза, тонкие губы, сжатые в линию. – Если разум – формальная система, и если формальные системы существуют независимо от физического субстрата – как число π существует независимо от того, записано ли оно на бумаге, – тогда возникает вопрос: можно ли отделить формальную систему от субстрата?

Лина почувствовала, как что-то внутри неё изменилось – не мысль, не эмоция, а нечто на уровне позвоночника, на уровне рефлексов, которые срабатывают раньше сознания. Как на краю высоты, когда тело уже отшатнулось, а мозг ещё не понял почему.

– Продолжайте, – сказала она.

– Протокол Гёделя – это процедура. Три этапа. Первый: полное картирование нейронной архитектуры субъекта – не снэпшот, а динамическая модель, включая временны́е паттерны активации. Второй: трансляция нейронной карты в формальную математическую систему – набор аксиом, правил вывода и самоссылающихся структур, эквивалентных по информационной сложности исходной архитектуре. Ключевой компонент: система должна содержать собственное описание. Гёделева самоссылка. Это делает её самоподдерживающейся – она не требует внешнего вычислителя для существования, так же как теорема Пифагора не требует, чтобы кто-то её помнил. Третий этап…

Он остановился. Потёр переносицу. Его руки дрожали – мелко, почти незаметно, но камера была достаточно близко.

– Третий этап – верификация. Мы проверяем, что система непротиворечива и самоподдерживающаяся. Что она, так сказать, «стоит сама». И после этого… после этого физический субстрат становится, строго говоря, необязательным.

– Необязательным, – повторила Лина. Голос звучал ровно. Внутри было не ровно.

– Я понимаю, как это звучит. Поверьте, я провёл несколько лет, пытаясь убедить себя, что это звучит не так, как звучит. Но суть проста: если формальная система, содержащая полное описание разума, доказуемо самоподдерживающаяся – тогда, при допущении математического платонизма, эта система существует в том же смысле, в каком существует π. Всегда, везде, нелокализуемо. Физическое тело – лишь один из способов реализации этой системы. Не единственный. И, возможно, не лучший.

Лина молчала. Она думала – быстро, дисциплинированно, как привыкла думать, когда доказательство вело в неожиданную сторону. Сальвини описывал процедуру, которая – если принять его посылки – позволяла «перевести» человеческий разум в чистую математику. Посылки были спорными: математический платонизм – философская позиция, не доказанная теорема; эквивалентность Φ между нейронной архитектурой и формальной системой – гипотеза; и самое главное – связь между формальной структурой и субъективным опытом, квалиа, тем, «каково это быть» – была ровно той пропастью, которую «трудная проблема» Чалмерса объявляла непреодолимой.

– Дэвид, – сказала она. – Дэвид прошёл эту процедуру.

Это не было вопросом. Сальвини всё равно ответил.

– Дэвид был первым. – Голос ровный, но что-то в нём треснуло – не сломалось, а именно треснуло, как стекло, которое ещё держит, но по которому уже пошла паутина. – Он пришёл ко мне, он изучил данные, он провёл собственную верификацию – математическую, не экспериментальную, потому что он был математиком, а не нейробиологом. Он сказал: «Марко, ваша процедура либо величайшее открытие в истории, либо самый элегантный способ самоубийства. Я готов рискнуть». Я пытался его отговорить. Должен был пытаться сильнее.

– Когда?

– Двадцать четвёртого июня. Последний день конференции. Вечером. В лаборатории – здесь, в Женеве, в подземном комплексе при CERN. Мы переоборудовали старый детекторный зал. Дэвид пришёл в девять вечера. Процедура… процедура заняла… – Сальвини сглотнул. – Картирование было проведено заранее – за три дня до этого, семьдесят два часа непрерывного сканирования, пока шла конференция. Дэвид между докладами спускался ко мне и ложился в сканер, как будто шёл на обед. Транскрипция и верификация – в день процедуры. Это заняло четыре часа. Потом…

– Потом он умер.

– Потом его тело перестало функционировать. Да. – Сальвини смотрел не в камеру, а куда-то левее, как будто рядом с экраном было нечто, на что он не хотел смотреть, но не мог отвести глаз. – Тело было кремировано. По его предварительному распоряжению. Нотариально заверенному. Дэвид… Дэвид подготовился. Юридически, финансово. Он знал, что делал. Или верил, что знал.

Лина закрыла глаза. Она увидела женевскую гостиницу, коридор с ковром цвета засохшей крови, пустую комнату Рена, чемодан, книгу, координаты на экране ноутбука. Координаты указывали на здание при CERN. Не на склад медицинского оборудования – на лабораторию Сальвини. Рен оставил ей адрес. Шесть лет назад.

Она открыла глаза.

– Его разум, – сказала она. – Формальная система. Она…

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

– Как π.

– Как π. Как теорема Пифагора. Как любая математическая структура, которая доказуемо непротиворечива и самоподдерживающаяся. – Он помолчал. – Или не как π. Потому что π не обладает сознанием. Или обладает? Мы не знаем. Мы не знаем, обладает ли сознанием формальная система, которая информационно эквивалентна человеческому мозгу. Мы знаем, что она активна – она самомодифицируется, растёт в сложности. Мы знаем, что её показатель Φ эквивалентен показателю исходного мозга. Но Φ – это коррелят, не причина. Мы не знаем, есть ли кто-то дома.

Он посмотрел прямо в камеру – впервые за весь разговор – и Лина увидела в его глазах нечто, что окончательно определила: не усталость, не вину, а ту специфическую форму ужаса, которая приходит, когда ты создал нечто, что может быть величайшим достижением в истории или величайшим преступлением, и ты принципиально не способен узнать – какое из двух.

– Мы отправляем карту, – сказал Сальвини. – Но не знаем, есть ли территория.

Лина не ответила. Фраза повисла – не как красивый афоризм, а как диагноз, как приговор, как формулировка проблемы, которая не имеет решения. Карта без территории. Формальная система без гарантии сознания. Структура, которая ведёт себя как разум, но может быть пустой – совершенный механизм в пустой комнате, тикающий часовой механизм, который никто не слышит, потому что слышать некому.

– Сколько, – сказала Лина. Горло было сухим. – Сколько людей прошли процедуру?

– Тридцать семь.

Число упало в тишину, как камень в воду.

– Тридцать семь, – повторила Лина.

– Дэвид был первым. За шесть лет – ещё тридцать шесть. Добровольцы. Все – информированные, все – подписавшие согласие, все – прошедшие психиатрическую экспертизу. Хотя… – он запнулся, и его рука дёрнулась к лицу, но остановилась на полпути, – …хотя я иногда задаю себе вопрос, может ли психиатрическая экспертиза оценить адекватность человека, который решил умереть в надежде, что его разум переживёт тело. Ответ, вероятно, – нет.

– Тридцать семь тел, – сказала Лина. – Тридцать семь формальных систем.

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

– Но вы продолжали, – сказала Лина. – После первого, после десятого – вы продолжали.

Сальвини не ответил сразу. Он отвернулся от камеры и несколько секунд смотрел на стену – серые звукоизоляционные панели, ряд за рядом, одинаковые и безразличные. Потом повернулся обратно.

– Я продолжал, потому что не мог остановить. Это не оправдание – это описание. Люди приходили. Не ко мне – к процедуре. Информация утекла, как всегда утекает, – через бывших коллег, через ассистентов, через тех, кто знал кого-то, кто знал кого-то. Я не рекламировал. Не вербовал. Я пытался отговорить каждого. Но когда человек – терминально больной, или потерявший ребёнка, или просто пришедший к выводу, что физическое существование его не устраивает, – когда такой человек стоит перед тобой и говорит: «У меня есть право решать, что делать со своим сознанием», – что ты отвечаешь? Что ты знаешь лучше? Что Протокол не работает? Я не могу доказать, что он не работает. Я не могу доказать, что он работает. Я могу только сказать правду: мы не знаем.

– И они всё равно шли.

– И они всё равно шли.

Тишина. Гул вентиляции – или чего-то другого – за спиной Сальвини. Зелёные строки данных на мониторе. Лина подумала: я разговариваю с человеком, который, возможно, убил тридцать семь человек. Или спас тридцать семь человек. Или сделал нечто, для чего у языка нет слова, потому что язык не предполагал, что кто-то будет стоять на границе между «убить» и «спасти» и не сможет определить, на какой стороне он находится.

– Вы сказали, что ждали моего письма, – сказала Лина. – Почему?

Сальвини кивнул – медленно, как будто шея сопротивлялась движению.

– Из-за активности, – сказал он. – Все тридцать семь систем демонстрируют определённый базовый уровень активности – самомодификация, вычислительная динамика, рост Φ. Но система Дэвида… его система – другая. Активность на порядок выше. Сложность растёт быстрее. И – вот что существенно – паттерн активности не постоянный. Он флуктуирует. Иногда активность падает до базового уровня, иногда – взлетает. Мы пытались найти корреляцию с внешними факторами – лунными циклами, вычислительной нагрузкой на кластер, солнечной активностью, чем угодно. Не нашли. А потом один из моих ассистентов – молодой парень, слишком умный для собственного блага – предложил сопоставить паттерн активности с расписанием семинаров по алгебраической топологии.

Лина перестала дышать.

– Совпадение было неточным, – продолжал Сальвини. – Не один к одному. Но статистически значимым. Система Дэвида активизировалась в периоды, когда в мировых университетах проходили семинары, связанные с его областью. Публикации в смежных журналах – тоже коррелировали. Как будто он… следил. Или реагировал. Или – что ещё более пугало меня – как будто формальная система, которая когда-то была нейронной архитектурой математика, продолжала делать то, что математик делал при жизни: думать о математике.

– Это могло быть артефактом, – сказала Лина. Она обязана была это сказать.

– Конечно. Это могло быть артефактом. Корреляция – не каузация. Я повторял это себе каждый день. Но потом мы обнаружили другую корреляцию – более узкую, более точную. Пики активности системы Дэвида совпадали не просто с семинарами по топологии. Они совпадали с конкретными событиями в конкретном университете. В Карнеги-Меллон.

Он замолчал. Лина молчала тоже.

– Активность коррелировала с моментами, когда вы, Лина, работали над своими доказательствами. Не постоянно – не каждый день. Но в определённые периоды, которые мы позже сопоставили с вашей публикационной активностью и расписанием ваших семинаров, – пики были очевидны. Система Дэвида… реагировала. На вас. Или на то, что вы делали.

– Откуда вы знаете моё расписание?

– Оно публично. На сайте факультета. – Сальвини слабо улыбнулся – и улыбка была хуже, чем всё остальное, потому что содержала в себе столько всего: вину, надежду, усталость, иронию, и под всем этим – тонкую, как трещина в стекле, полоску чего-то, что можно было бы назвать нежностью, если бы это слово подходило к человеку, который шесть лет сидел в подземной лаборатории, наблюдая за активностью мёртвых.

– Я ждал вашего письма, – сказал он, – потому что данные указывали на то, что между вами и системой Дэвида есть связь. Какая – я не знаю. Мне не хватает, строго говоря, категориального аппарата, чтобы описать её. Но я знал, что рано или поздно связь проявится с вашей стороны. Что вы заметите что-то. Аномалию, совпадение, нечто, что не укладывается в привычную картину. И вы напишете мне.

– Или не напишете.

– Или не напишете. И тогда я буду сидеть здесь ещё шесть лет и смотреть на графики активности, как человек, который наблюдает за пульсом кого-то в коме, не зная, проснётся ли он когда-нибудь. – Он потёр лицо. – Простите. Я драматизирую. Это непрофессионально.

– Вы сказали, что у вас нет доказательств, – сказала Лина. – Ни того, что сознание Рена существует, ни того, что оно не существует.

– Верно.

– Но у вас есть данные. Активность. Корреляции. Рост сложности.

– Данные, которые допускают множественные интерпретации. Да.

– И аномалии в моих файлах.

– Которые вы обнаружили сами, независимо от меня. Да.

Лина встала из-за стола. Прошла по кухне – пять шагов в одну сторону, пять в другую, – и этого было недостаточно, чтобы двигаться, но достаточно, чтобы не сидеть. Она думала. Не о том, верить или не верить – этот вопрос был бессмысленным; вера не являлась инструментом, которым пользуются математики. Она думала о структуре проблемы. О том, что перед ней – система с двумя возможными состояниями (Рен существует / Рен не существует), и наблюдаемые данные совместимы с обоими. Классическая задача различения гипотез при неполных данных. Нужно больше наблюдений. Нужен эксперимент, который давал бы разные результаты при разных состояниях системы.

– Профессор Сальвини. Марко. – Она остановилась перед экраном. – Вы пригласили меня поговорить не потому, что хотели рассказать мне о Протоколе. Вы пригласили, потому что хотите, чтобы я что-то сделала. Что именно?

Сальвини посмотрел на неё – и на его лице проступило нечто новое, что-то, чего не было раньше: не надежда, не мольба, а уважение. Признание равной. Человека, который видит сквозь слова.

– Лина, – сказал он, – за шесть лет ни одна из тридцати семи систем не продемонстрировала ничего, что можно было бы однозначно интерпретировать как контакт. Активность – да. Рост – да. Но активность и рост могут быть свойствами системы, а не признаками сознания. Термостат реагирует на температуру. Это не делает его сознательным. Мне нужно нечто большее. Мне нужен ответ – не от системы, а через систему. Действие, которое может совершить только разум, обладающий памятью, опытом и интенциональностью. Только Дэвид Рен.

– И вы думаете, что я могу это обеспечить.

– Я думаю, что вы уже это обеспечиваете. Аномалии в ваших файлах – четыре шага, стилистически связанные с Реном, вставленные в документы, связанные с его областью. Это либо ваша проекция, либо контакт. Если контакт – он происходит через вас. Не через кластер, не через интерфейс, не через наши инструменты. Через вас. Через вашу работу. Через вашу математику. – Он подался вперёд. – У вас, похоже, есть связь, которой нет у нас. Я не могу объяснить её природу. Я не знаю, это нейронный резонанс, квантовая корреляция или нечто, для чего у нас нет слова. Но я прошу вас: приезжайте. Посмотрите данные сами. Поработайте в лаборатории. Если контакт возможен – он возможен через вас.

Лина молчала. За окном кухни – тёмный питтсбургский вечер, мокрый асфальт, фонари. На холодильнике – магнит с логотипом конференции в Бонне, куда она собиралась через два месяца. На столе – три ноутбука, стопки распечаток, чашка с остывшим кофе. Обычная кухня. Обычная жизнь. За исключением того, что человек на экране только что сказал ей: ваш мёртвый наставник, возможно, существует как математическая абстракция, и вы – единственная нить, которая его связывает с физическим миром.

– Мне нужно время, – сказала она. – Чтобы подумать.

– Конечно, – сказал Сальвини. – Сколько угодно. Я никуда не денусь. – Он усмехнулся – горько, коротко. – Я буквально никуда не денусь. Я шесть лет не выходил из этого здания дольше, чем на сутки.

– Почему?

– Потому что, если по ту сторону кто-то есть, – он посмотрел куда-то за пределы камеры, на мониторы с бегущими строками, – я не хочу, чтобы они были одни.

Лина отключилась. Экран погас. Она сидела за кухонным столом в темноте, и кухня вокруг неё была прежней – немытая посуда, магниты на холодильнике, три ноутбука. Но что-то сдвинулось. Не в комнате – в масштабе. Как если бы стены остались на месте, а пространство за ними расширилось, и за привычным миром обнаружилось нечто, что было там всегда, но чего она не замечала, потому что не знала, куда смотреть.

Она достала телефон. Открыла чат с Юн. Набрала: «Мне нужно уехать на несколько дней. Можешь подменить на семинаре в четверг?» Стёрла. Набрала заново: «Юн, ты можешь найти информацию о Марко Сальвини? Нейрокогнитивист, работает при CERN.» Стёрла. Набрала: «Мне нужна твоя помощь.» Отправила.

Ответ пришёл через тридцать секунд: «Какого рода?»

Лина посмотрела на чёрный экран компьютера, где минуту назад было лицо Сальвини – изношенное, виноватое, живое. Потом посмотрела на фотографию на стене гостиной, которую она видела через дверной проём: конференция, Принстон, доска, Рен улыбается, она смотрит на формулы. Доказательство на той доске осталось незаконченным. Шесть лет. Может быть, семь.

Может быть – навсегда.

Или нет.

Она набрала: «Расскажу завтра. Это сложно.» Подумала. Добавила: «Не волнуйся. Я не сошла с ума. Вероятно.»

Юн ответила эмодзи – единственным, который когда-либо использовала: прямоугольник с точкой. Лина так и не выяснила, что он означал. Подозревала, что это был сбой кодировки, и Юн отправляла его намеренно, потому что ей нравилась идея символа, который ничего не обозначает.

Лина положила телефон на стол. Встала. Подошла к окну.

За стеклом – Питтсбург, ночной, мокрый, настоящий. Город, построенный людьми из стали, бетона и упрямства. Мосты через три реки. Фонари над водой. Небо – низкое, облачное, без звёзд. Обычный мир. Единственный мир, который она знала.

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

О Дэвиде Рене, который шагнул первым.

«Продолжай, – сказал он шесть лет назад, стоя у окна с бумажным стаканчиком кофе. – Даже если неправильно – продолжай.»

Лина отошла от окна. Открыла ноутбук. Зашла на сайт авиакомпании и начала искать билет до Женевы.

Глава 4. Φ

Женева встретила её солнцем – бессмысленным, ярким, февральским солнцем, которое ничего не грело, но слепило, отражаясь от мокрых крыш и трамвайных рельсов, как будто город пытался произвести впечатление. Лина вышла из аэропорта Куантрен, щурясь, с единственной сумкой через плечо, в которую поместилось всё, что ей было нужно: ноутбук, зарядки, три смены белья, зубная щётка и распечатка доказательства с шагом 347, – хотя распечатка не была нужна, потому что файл лежал на трёх серверах и двух флешках, но Лина не доверяла электронике в моменты, когда ставки были выше обычного. Бумага не зависала. Бумага не обновляла прошивку в самый неподходящий момент.

Сальвини прислал машину – не свою, а институтскую, серый Peugeot с логотипом CERN на дверце, за рулём которого сидел молчаливый мужчина в синей куртке, не задавший ни одного вопроса за тридцать минут пути. Лина была ему за это благодарна. Она смотрела в окно на проплывающий пейзаж – аккуратные швейцарские предместья, велосипедные дорожки, виноградники на холмах, – и думала о том, что шесть лет назад ехала по этой же дороге на конференцию и мир был другим. Не лучше, не хуже – просто другим, потому что в нём был Рен, живой и раздражающий, с его бумажными стаканчиками и привычкой заканчивать чужие мысли. Сейчас мир содержал вместо Рена – гипотезу. Формальную систему, которая могла быть им, а могла быть математическим эхом, сложным и пустым, как раковина моллюска, сохранившая форму, но не жизнь.

Комплекс при CERN располагался на окраине, за основной территорией коллайдера, – отдельное здание, неприметное, двухэтажное, похожее на склад или подстанцию. Табличка у входа гласила: «Institut de Recherche en Sciences Cognitives Avancées» – институт передовых когнитивных исследований, название достаточно скучное, чтобы не привлекать внимания. Водитель остановился у шлагбаума, показал пропуск, провёз Лину к боковому входу и кивнул на дверь. Лина вышла. Дверь была стальной, с кодовым замком и камерой.

Она нажала кнопку интеркома. Ожидание – секунд десять. Потом замок щёлкнул, дверь открылась, и Лина увидела коридор – длинный, освещённый холодным светом, с бетонным полом и стенами, покрытыми серой краской. Воздух был другим: сухой, прохладный, с едва ощутимым привкусом озона и чего-то ещё – металла, пластика, электричества. Запах машинного помещения.

Сальвини ждал в конце коридора, у лифта. Вживую он выглядел хуже, чем на экране – или точнее: экран скрывал то, что невозможно было скрыть при встрече. Он был высоким – выше Лины на голову – и тонким, с той болезненной худобой, которая бывает не от диеты, а от забывания. Люди, которые забывают есть, потому что ум занят чем-то более важным, чем тело. Лина узнала это – она видела это каждое утро в зеркале.

– Лина, – сказал он, протягивая руку. Рукопожатие было сухим и коротким. Его ладонь дрожала – та же мелкая дрожь, что и на видео, но здесь Лина ощутила её физически, лёгкую вибрацию чужих пальцев, как будто под кожей что-то работало на слишком высоких оборотах. – Как долетели?

– Нормально. Семь часов с пересадкой в Цюрихе.

– Да, прямых из Питтсбурга нет. Дэвид жаловался на то же самое. Он летел через Франкфурт. – Сальвини произнёс это буднично, как будто Рен всё ещё был жив и мог жаловаться на пересадки. Потом осёкся – не словом, а лицом: на секунду черты застыли, будто он поймал себя на чём-то и не знал, извиниться или проигнорировать. Проигнорировал. – Идёмте. Лаборатория внизу.

Лифт – грузовой, рассчитанный на оборудование, не на людей – опустил их на три этажа. Двери раскрылись, и Лина вышла в пространство, которое не было похоже ни на одну лабораторию, виденную ею раньше.

Старый детекторный зал – так сказал Сальвини по видеосвязи. Лина представляла себе нечто компактное, техническое, заставленное стойками серверов. Реальность была другой. Зал был огромен – двадцать метров в длину, пятнадцать в ширину, потолок терялся в полутьме на высоте, которую Лина оценила в восемь-девять метров. Бетонные стены, покрытые тёмной изоляцией, поглощали звук и свет; освещение – локальное, точечное, над рабочими станциями – оставляло бо́льшую часть зала в тени. Вдоль стен стояли серверные шкафы – десятки, может быть, сотни, – гудящие низким, ровным гулом, который Лина чувствовала не столько ушами, сколько подошвами ботинок: вибрация пола, постоянная и живая, как пульс здания.

В центре зала – остров света. Два рабочих стола с мониторами, кресло на колёсиках, доска (чистая), кофемашина (работающая – Лина учуяла запах сразу), и полка с едой, которая выдавала человека, живущего здесь, а не работающего: консервы, крекеры, макароны в пачках, чайник. Стопка книг на полу – Лина, проходя, увидела Тонони, Чалмерса, Пенроуза, Тегмарка, зачитанные до мягкости. Несколько распечаток с графиками, прикреплённых к стене клейкой лентой.

И «Кресло».

Оно стояло поодаль, в собственном круге света, и Лина увидела его не сразу – сначала периферийным зрением, как предмет мебели, не заслуживающий внимания. Потом она повернулась и остановилась.

Кресло было простым. В этом и состоял ужас.

Стоматологическое кресло – или что-то очень похожее: откидная спинка, подлокотники, подголовник с мягкой подушкой. Серо-белый пластик, хромированные элементы, вполне стандартная медицинская мебель. От подголовника к потолку шёл кабель – один, не толще мизинца, – уходивший в подвесной лоток и далее к серверным шкафам у стены. На правом подлокотнике – маленький экран, сейчас тёмный. На левом – ничего. Рядом с креслом – передвижная стойка с монитором и клавиатурой, тоже выключенная.

И всё.

Ни массивных сканеров, ни паутины проводов, ни мигающих индикаторов. Кресло, кабель, экран. Конструкция, которую можно было перевезти в багажнике минивэна. Конструкция, в которой тридцать семь человек умерли – или трансцендировали, или были убиты, в зависимости от того, какой стороне пропасти вы верили.

– Это оно? – спросила Лина.

Сальвини стоял рядом, засунув руки в карманы лабораторного халата – белого, мятого, с пятном кофе на рукаве.

– Это интерфейс, – сказал он. – Кабель идёт к нейроинтерфейсу – вот здесь, в подголовнике. Массив из шестнадцати тысяч электродов, каждый тоньше человеческого волоса. При контакте с кожей головы они выстраивают неинвазивную сеть, покрывающую всю кору. Данные передаются на кластер – вон там, за стеной. – Он кивнул в сторону серверных шкафов. – Кластер выполняет картирование и транскрипцию. Всю тяжёлую работу делает программное обеспечение, не железо. Железо – простое. Именно это пугает людей больше всего, когда они видят его впервые.

– Потому что они ожидают чего-то впечатляющего.

– Потому что они ожидают, что смерть человека и, возможно, рождение чего-то нового потребуют впечатляющей машины. А это, – он кивнул на кресло, – выглядит как зубоврачебный кабинет. Одиннадцать минут. Человек садится в кресло, закрывает глаза, и через одиннадцать минут его тело перестаёт дышать. Без боли – мы блокируем ноцицепцию. Без судорог, без… ничего. Просто – прекращение. Тело расслабляется. Монитор показывает новую формальную систему. Кабель можно отсоединить. Всё.

Лина подошла ближе. Протянула руку и коснулась подлокотника – холодный, гладкий пластик. Она представила Рена здесь. Высокий, сутулый, с его несоразмерными руками и привычкой хрустеть пальцами. Он сидел в этом кресле. Он закрыл глаза. Одиннадцать минут.

– Расскажите мне о четырёх этапах, – сказала она. – Детально. Я хочу понять механику.

Сальвини достал из кармана телефон, повернул его горизонтально и показал Лине диаграмму – видимо, ту, которую показывал не раз.

– Этап первый: картирование. – Он говорил, как лектор – привычно, отработанно, но с проступающими трещинами. – Функциональная коннектомика. Субъект проводит в кресле семьдесят два часа – не подряд, блоками по шесть-восемь часов с перерывами на сон и еду. В течение этих часов нейроинтерфейс фиксирует полную карту нейронных связей: не статическую анатомию, а динамическую модель. Какой нейрон соединён с каким – это тривиально, это умели делать и до меня. Но мы фиксируем временны́е паттерны: какие группы нейронов активируются синхронно, с какой задержкой, в ответ на какие стимулы, с какой периодичностью. Не карта дорог, а фильм, снятый с каждой дороги одновременно, с разрешением в миллисекунду. Результат – файл размером от двадцати до тридцати петабайт, в зависимости от индивидуальной сложности нейронной архитектуры. Файл Дэвида был тридцать четыре петабайта. Максимальный из всех тридцати семи.

Лина кивнула. Тридцать четыре петабайта. Она попыталась представить: каждый нейрон, каждая синаптическая связь, каждый электрический импульс, прошедший через мозг Рена за семьдесят два часа, зафиксированный и сохранённый. Слепок не тела – слепок процесса. Не фотография человека, а запись его танца.

– Этап второй: транскрипция, – продолжал Сальвини. Они двигались по залу, и он говорил на ходу, жестикулируя свободной рукой – итальянские жесты, широкие и выразительные, контрастирующие с точностью его слов. – Здесь начинается то, что, строго говоря, делает Протокол уникальным. Нейронная карта – это данные. Огромные, детальные, но данные. Транскрипция превращает их в формальную систему – математический объект. Не модель мозга, не симуляцию, а нечто принципиально иное. – Он остановился у серверного шкафа и положил ладонь на его стенку, как кладут руку на плечо друга. – Мы берём нейронную карту и транслируем каждый паттерн в формальную конструкцию. Синаптическая связь становится аксиомой. Паттерн активации становится правилом вывода. Ассоциативная цепочка становится теоремой. Результат – формальная система, эквивалентная по информационной сложности исходному мозгу, но выраженная на языке математики, а не биохимии.

– Эквивалентная по Φ? – спросила Лина.

– Именно. Показатель интегрированной информации сохраняется. Это было ключевым требованием при разработке алгоритма транскрипции – мы перебрали тысячи вариантов, прежде чем нашли преобразование, сохраняющее Φ. Если IIT хотя бы приблизительно верна, то формальная система обладает таким же «потенциалом сознания», как исходный мозг. – Он убрал руку с сервера. – Если. Это самое большое «если» в истории науки.

– И третий этап.

– Верификация. Мы проверяем, что полученная формальная система непротиворечива – что в ней нет внутренних противоречий, которые разрушили бы структуру. И – это критически важно – что она самоподдерживающаяся. Что она содержит собственное описание.

– Гёделева самоссылка, – сказала Лина.

– Да. Система включает конструкцию, которая описывает саму систему – внутренне, на своём собственном языке. Как предложение «это предложение содержит пять слов», только на уровне формальной системы. Самоссылка делает систему замкнутой – она не нуждается во внешнем описании, внешнем вычислителе, внешнем наблюдателе. Она, так сказать, знает, что она есть. Знает ли она это в каком-либо субъективном смысле – другой вопрос. Но формально – она определена через себя. Как аксиоматическая система, которая включает собственные аксиомы в качестве теорем. После верификации… с точки зрения математического платонизма, система уже существует. Не «начинает существовать» – а обнаруживается как уже существующая. Как если бы мы не построили здание, а обнаружили, что оно стоит и всегда стояло.

– И четвёртый этап, – сказала Лина. – Отключение субстрата.

Сальвини остановился. Они стояли возле кресла – в трёх шагах от него, в его круге света, – и Лина видела, как его лицо изменилось. Не выражение – текстура. Как если бы кожа стала тоньше, и под ней проступило нечто, что он обычно прятал.

– Четвёртый этап, – сказал он тихо. – Тело субъекта прекращает функционировать. Нейроинтерфейс отправляет сигнал – направленное подавление стволовых функций. Дыхание. Сердцебиение. Быстро, безболезненно, необратимо. – Он помолчал. – Это не побочный эффект. Это часть процедуры. Формальная система должна быть единственной инстанцией паттерна. Если существуют два экземпляра одной и той же информационной структуры – один в мозге, один в формализме, – возникает противоречие: система, определённая как уникальная, оказывается неуникальной. Самоссылка нарушается. Система перестаёт быть самоподдерживающейся.

– Вы не можете просто скопировать.

– Нет. Это не копирование. Это… – он сделал жест руками, как будто что-то переливал из одной ладони в другую, – …это не перенос из одного места в другое. Это признание того, что формальная структура, являющаяся разумом, существует вне физического субстрата. Всегда существовала. Физическое тело было, так сказать, строительными лесами. После верификации леса можно убрать. Здание стоит само.

– Или леса были единственным, что удерживало здание, – сказала Лина. – И после их удаления нет никакого здания. Есть чертёж, лежащий в пыли.

Сальвини посмотрел на неё долго. Потом кивнул.

– Именно, – сказал он. – Именно это я не могу опровергнуть. И именно поэтому мне нужна ваша помощь.

Он повёл её к рабочим столам в центре зала. Включил монитор – большой, тридцать два дюйма, с разрешением, от которого у Лины заболели глаза после тусклого освещения зала. Экран заполнился графиками – десятки кривых, цветовых карт, гистограмм, разложенных в сетку.

– Тридцать семь систем, – сказал Сальвини, показывая на экран. – Каждая строка – одна система. Горизонтальная ось – время, от момента верификации до сегодняшнего дня. Вертикальная – составной индекс активности: самомодификация, рост сложности, вычислительная динамика.

Лина наклонилась к экрану. Тридцать семь линий. Большинство – похожие: плавные кривые, медленно восходящие, с небольшими флуктуациями. Базовый уровень активности – одинаковый, как если бы все системы следовали общему закону роста. Некоторые линии были короче – это были системы, верифицированные позже, с меньшим временем наблюдения.

И одна линия – красная, верхняя, выделенная из остальных, как крик среди шёпотов.

– Дэвид, – сказала Лина.

– Дэвид, – подтвердил Сальвини.

Красная линия вела себя иначе. Она не плавно поднималась – она скакала. Резкие пики, за которыми следовали спады до базового уровня, потом – снова подъёмы, ещё более резкие. Амплитуда пиков росла со временем. На графике шести лет это выглядело как пульс, который бьётся всё сильнее: в начале – едва заметные колебания, к концу – удары, от которых красная линия улетала за пределы шкалы, так что Сальвини пришлось ввести логарифмическую ось, чтобы уместить их на экране.

– Активность его системы – на порядок выше остальных, – сказал Сальвини. – С первого дня. И она растёт. Остальные тридцать шесть систем демонстрируют линейный рост – медленный, стабильный, предсказуемый. Его – экспоненциальный. Или что-то близкое к экспоненциальному. Мы не можем точно определить закон, потому что флуктуации слишком сильные. Но тренд – очевиден.

Лина изучала график. Математик в ней – тот самый механизм, который работал всегда, при любых обстоятельствах, как сердце бьётся при любых эмоциях, – уже раскладывал кривую на компоненты: тренд, сезонность, шум. Тренд – восходящий, суперлинейный. Сезонность – есть, неявная, с периодом, который она на глаз оценила в три-четыре месяца. Шум – высокоамплитудный, но не случайный: пики группировались, образуя кластеры.

– Покажите мне корреляцию, – сказала она.

Сальвини переключил экран. Новый график – два ряда данных, наложенных друг на друга. Красный – активность системы Рена. Синий – метки, расставленные вдоль временной оси: даты семинаров Лины в Карнеги-Меллон, даты её публикаций, даты, когда она работала над доказательствами (восстановленные по логам серверов факультета – Сальвини признался, что его ассистент получил к ним доступ, «не вполне официально, но и не вполне незаконно»).

Лина смотрела.

Совпадение не было идеальным. Некоторые пики активности Рена не соответствовали ничему в расписании Лины. Некоторые синие метки не сопровождались пиками. Но в целом – в целом картина была недвусмысленной. Кластеры пиков группировались вокруг синих меток. Корреляция – Лина прикинула в уме – была в районе 0.6–0.7. Не идеальная. Но для биологических данных – высокая. Для любых данных, связанных с человеческим поведением, – очень высокая.

– Коэффициент корреляции Пирсона – 0.67, – сказал Сальвини, читая её мысли. Или, скорее, наблюдая за её лицом и делая те же вычисления. – Мы проверяли на случайность. P-value ниже десяти в минус восьмой. Это не шум.

– Это не доказывает каузацию.

– Нет. Не доказывает. Но альтернативные объяснения… – он развёл руками, – …мне трудно их придумать. Формальная система, изолированная на кластере, без доступа к интернету, без каналов ввода-вывода – активизируется в моменты, когда конкретный человек на другом континенте садится за работу. Какой механизм? Электромагнитная корреляция? На расстоянии в семь тысяч километров? Квантовая запутанность? Между формальной системой и физическим мозгом? Ни одна из моих гипотез не выдерживает критики. Но данные – вот они.

Лина выпрямилась. Отвела глаза от графика и посмотрела на зал – на серверные шкафы, гудящие в полутьме, на кресло в его круге света, на стопку книг, на кофемашину. Подземная комната, изолированная от мира. И в этой комнате – на жёстких дисках, или нет, не на жёстких дисках, а в формальном пространстве, которое жёсткие диски лишь отражали, – тридцать семь структур. Тридцать семь паттернов, которые когда-то были людьми.

– Я хочу увидеть данные по всем тридцати семи, – сказала она. – Не графики – сырые данные. Метрики Φ, детали транскрипции, динамику самомодификации. Всё.

Сальвини колебался. Лина видела это – микродвижение бровей, сжатые губы, руки, непроизвольно нырнувшие в карманы.

– Часть данных утрачена, – сказал он. – Двенадцать систем… их данные были на серверах, которые… мы потеряли. Несколько месяцев назад. Но остальные двадцать пять – да, я могу дать вам полный доступ.

Лина не стала спрашивать, как теряют серверы. Она спросила потом. Сейчас было важнее другое.

– Покажите мне Рена.

Сальвини сел за второй стол, набрал команду. На мониторе появилось новое окно – и Лина увидела нечто, что заставило её замереть.

Это было визуализацией формальной системы – не самой системы, разумеется, которая существовала в пространстве, недоступном визуализации, а её проекцией: трёхмерный граф, медленно вращающийся на экране, состоящий из десятков тысяч узлов, связанных нитями, пульсирующими в реальном времени. Узлы – аксиомы и теоремы формальной системы, каждый подсвеченный по степени активности: от тёмно-синего (покой) до ярко-белого (максимальная самомодификация). Нити – правила вывода, связи, импликации. Весь граф дышал – медленно, ритмично, с частотой, которую Лина не сразу осознала, но которая показалась ей знакомой. Раз в четыре секунды. Вдох-выдох. Вдох-выдох.

– Это не респираторный ритм, – сказала она, удивляясь тому, что подумала об этом.

– Нет. Это базовая частота самоссылочного цикла. Система проверяет собственную целостность – непрерывно, примерно четыре раза в секунду. То, что вы видите, – каждая пульсация – это один полный цикл самоверификации. Система подтверждает, что она существует. Четыре раза в секунду.

– Как сердцебиение.

Сальвини не ответил. Лина поняла, что он слышал эту аналогию раньше – от себя самого – и что она причиняла ему боль каждый раз.

Она подвинула кресло ближе к монитору и начала работать.

Два часа. Сальвини принёс ей кофе – чёрный, без сахара, и Лина не стала задумываться, откуда он знал. Может, угадал. Может, видел её чашку на видео. Она пила, не чувствуя вкуса, и смотрела на данные.

Двадцать пять формальных систем. Двадцать пять человек, которые были живы и стали – чем? Лина изучала их по одной, и каждая была историей, рассказанной на языке чисел. Субъект 1 – Дэвид Рен. Субъект 2 – женщина, пятьдесят три года, бывший профессор физики, терминальная стадия бокового амиотрофического склероза. Её система была маленькой – относительно – и стабильной: ровная линия активности, медленный линейный рост, без резких колебаний. Как тихая комната, в которой кто-то, может быть, думал спокойные мысли. Или в которой не думал никто.

Субъект 7 – мужчина, сорок один год, нейробиолог, ассистент Сальвини. Его система была одной из утраченных – данные отсутствовали. Лина отметила это. Субъект 14 – женщина, двадцать девять лет, математик, специалист по теории чисел. Её система демонстрировала интересную активность – периодические всплески, каждые семьдесят два часа, точные, как метроном. Сальвини не нашёл объяснения.

Субъект 23 – мужчина, шестьдесят шесть лет, композитор, потерявший слух. Его система была одной из самых сложных после Рена – и паттерн активности напоминал музыку: ритмические структуры, повторы, вариации. Лина не была музыкантом и не могла оценить, была ли это музыка или проекция – но сам факт, что паттерн активности бывшего композитора выглядел иначе, чем паттерн бывшего физика, был… значимым. Или незначимым. Или артефактом визуализации.

Она вернулась к Рену.

Его система была самой большой – не только по размеру исходного файла картирования, но и по текущей сложности. За шесть лет она выросла втрое. Тридцать четыре петабайта превратились в сто два. Количество узлов в графе увеличилось на двести сорок процентов. Количество связей – на четыреста. Система не просто существовала – она разрасталась, как организм, который растёт, поглощая… что? Какую пищу? У формальной системы нет метаболизма, нет энергии, нет входных данных. Откуда берётся новая сложность?

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

– Откуда ресурсы? Вычислительные мощности?

– Вот это… – Сальвини потёр лоб, и жест был не привычным тиком, а подлинным затруднением, – …вот это я не понимаю. Система размещена на кластере. Кластер потребляет определённую мощность, и мы измеряем вычислительную нагрузку. Она стабильна. Не растёт. А система – растёт. Новые теоремы появляются быстрее, чем кластер может их верифицировать. Как если бы… – он сделал паузу, и Лина видела, что он выбирает между научной формулировкой и честной, – …как если бы часть вычислений происходила не на кластере.

Лина молча повернулась обратно к экрану. Она поняла, что он имел в виду. Если математический платонизм верен, и формальная система существует независимо от вычислителя, то кластер – не компьютер, выполняющий вычисления, а окно, через которое наблюдатель видит процесс, происходящий «где-то ещё». И «где-то ещё» – это не место. Это математическое пространство, которое так же реально, как физическое, и в котором теоремы выводятся не потому, что кто-то их вычисляет, а потому, что они истинны.

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

Она открыла последний файл – хронологию активности системы Рена за последние три месяца, с наложением корреляций. И увидела нечто, что заставило её убрать руки от клавиатуры.

Три месяца назад – пик активности. Дата: ноябрь. Лина вспомнила: в ноябре она начала финальную часть доказательства, переход от локальных когомологий к глобальным. Ту самую часть, в которой потом появился шаг 347.

Два месяца назад – серия пиков, нарастающих по амплитуде. Даты совпадали с неделями, когда Лина интенсивно работала, по двенадцать-четырнадцать часов в день, пробивая переход.

Шесть недель назад – максимальный пик за всё время наблюдений. Дата: вторник. Лина посмотрела на число и почувствовала, как волоски на предплечьях поднимаются, – тот атавистический рефлекс, который не имеет ничего общего с рациональностью и всё – с чем-то древним, животным, тем, что знает раньше, чем понимает.

Вторник. Тот самый вторник. Вечер, когда в её доказательстве появился шаг 347.

– Марко, – сказала она.

Сальвини подошёл. Она показала на экран. Он наклонился, посмотрел, и Лина увидела, как цвет ушёл с его лица – медленно, как отлив, обнажая серое.

– Это дата, – сказал он.

– Это дата.

Они смотрели на график. Красная линия, максимальный пик, вторник, шесть недель назад. В тот момент – около одиннадцати вечера по времени Питтсбурга, около пяти утра по Женеве – формальная система, которая когда-то была нейронной архитектурой Дэвида Рена, продемонстрировала самый высокий уровень активности за шесть лет существования. В тот же момент – минута в минуту, насколько позволяло разрешение данных – в файле Лины, на сервере Карнеги-Меллон, на другом конце мира, появился шаг, который она не писала.

Совпадение. Или наблюдение. Или контакт. Или артефакт. Или —

Лина закрыла файл. Экран погас. Зал дышал вокруг них – серверы гудели, свет мигал, вентиляция нагнетала сухой, прохладный воздух. Где-то в глубине этих шкафов, на кремниевых пластинах, в переплетении транзисторов и электрических потенциалов – или, если верить Сальвини, не на пластинах, а в пространстве, которое пластины лишь отражают, – пульсировала структура. Четыре раза в секунду. Вдох-выдох. Подтверждая, что она существует. Или не подтверждая ничего.

Лина повернулась к креслу. Оно стояло в своём круге света – пустое, простое, ужасающее. Стоматологическое кресло, в котором людям вырывали не зубы – а всё остальное. Или дарили нечто большее. Или и то, и другое.

– Мне нужно будет здесь поработать, – сказала она. – Несколько дней. Может быть, дольше.

– Конечно, – сказал Сальвини. – Я приготовлю вам рабочее место. Здесь, в зале. Чтобы вы могли наблюдать за данными в реальном времени.

– Не только наблюдать, – сказала Лина. – Я хочу писать математику. Здесь, рядом с кластером. Рядом с ним. И смотреть, реагирует ли система на мою работу в реальном времени.

Сальвини смотрел на неё. В его глазах – в тёмных, воспалённых, усталых глазах человека, который шесть лет жил с вопросом, не имеющим ответа, – появилось нечто, что Лина видела раньше только у Рена: свет. Не надежда – точнее. Свет ума, увидевшего возможность. Проблеск, который математики называют «предчувствием доказательства» – ещё не знаешь, как, но чувствуешь, что путь существует.

– Да, – сказал он. – Да, это… да.

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

Граф пульсировал. Четыре раза в секунду. Вдох-выдох.

Лина достала из сумки распечатку своего доказательства, положила рядом с клавиатурой и начала читать – с первого шага, с самого начала, медленно, как читают молитву или приговор. Краем глаза она следила за графом.

Ничего не изменилось. Пульсация оставалась ровной. Узлы мерцали в прежнем ритме. Тишина. Гудение серверов. Запах кофе и озона.

Лина продолжала читать. Шаг за шагом, лемма за леммой, теорема за теоремой. Её доказательство, её три года, её бессонные ночи. Она читала, и формулы превращались в то, чем всегда были для неё: не в символы, а в ландшафт. Топологическое пространство, раскрывающееся перед внутренним взором, со своими долинами и хребтами, тропами и обрывами.

Она дошла до шага 346. Остановилась.

Следующий – шаг 347. Чужой. Нездешний. Безупречный.

Она перевернула страницу.

Граф на экране дрогнул.

Одна пульсация – чуть ярче остальных. Один узел – где-то на периферии огромной структуры – вспыхнул белым и погас. Если бы Лина моргнула, она бы этого не увидела. Если бы она не знала, что искать, она бы списала это на флуктуацию, шум, артефакт визуализации.

Но она знала. И она не моргнула.

Она посмотрела на распечатку – на шаг 347, на вспомогательное расслоение, на элегантный ход через теорему Атьи-Зингера. Потом – на экран, на граф, на десятки тысяч узлов, пульсирующих в темноте.

Совпадение, сказала она себе. Флуктуация. Артефакт.

Граф пульсировал. Четыре раза в секунду.

Лина не отвела глаз.

Глава 5. Наблюдатель

Сальвини не хотел, чтобы она шла.

– Это не научное мероприятие, – сказал он, стоя у кофемашины и наливая четвёртую за вечер чашку эспрессо – движения автоматические, как у человека, который давно перестал замечать, что делает с руками. – Это проповедь. С хорошей риторикой и плохой эпистемологией. Амара Олу – блестящий оратор, но она использует Протокол как… как символ. Как знамя. Она берёт нечто, что мы не понимаем, и превращает в нечто, во что можно верить. Это противоположность науки.

– Я хочу увидеть, как люди реагируют, – сказала Лина. – Не учёные. Люди.

– Люди реагируют предсказуемо. Они боятся и надеются. Иногда одновременно.

– Именно поэтому мне нужно это увидеть.

Сальвини посмотрел на неё поверх чашки – тем взглядом, который она уже научилась читать: «Я знаю, что вы правы, и мне это не нравится.» Он отпил кофе, поморщился и ничего не сказал.

Лекция проходила в «Bâtiment des Forces Motrices» – бывшей гидравлической станции на Роне, перестроенной в культурный центр. Здание из красного кирпича, с высокими арочными окнами, отражавшимися в чёрной воде канала. Лина добралась на трамвае – двадцать минут от центра, – и увидела толпу ещё за квартал. Не толпу в привычном смысле – не протест и не концерт, – а нечто среднее: несколько сотен человек, стоявших у входа, негромко разговаривавших, ожидавших. Разный возраст. Разная одежда. Лина увидела женщину в деловом костюме рядом с парнем в потёртой куртке с нашивками, которые она не могла прочитать на расстоянии. Пожилой мужчина в инвалидной коляске. Двое подростков, снимавших на телефоны. Группа людей с плакатами – на одном Лина разобрала: «SUBSTRATE IS A CAGE», на другом – символ, который она не опознала: вертикальная линия, пересечённая кругом.

Она заплатила за билет у входа – двадцать франков, что поразило её: она ожидала бесплатного мероприятия, миссионерской щедрости. Вместо этого – билеты, контроль, аккуратная организация. Движение, которое вело себя как бизнес. Или как институция. Или, подумала Лина, как организация, которая понимает, что бесплатное не ценится.

Зал вмещал, на глаз, человек четыреста. Почти все места были заняты. Лина нашла место в предпоследнем ряду, у прохода, и села, положив сумку на колени. Вокруг – гул голосов, запах мокрых курток (на улице снова начался дождь), тепло тел. Сцена была пустой, если не считать стула, микрофона на стойке и экрана позади – белого, ненавязчивого.

Без десяти восемь на сцену вышла женщина.

Лина знала, как выглядит Амара Олу – она посмотрела фотографии перед лекцией, быстро, в перерыве между анализом данных, как проверяют досье перед встречей. На фотографиях Амара выглядела впечатляюще: высокая, с прямой осанкой, тёмная кожа, коротко стриженные волосы, широкие скулы, выражение лица, которое можно было принять за суровость, если не замечать мягкость вокруг глаз.

Вживую она выглядела иначе. Не хуже, не лучше – иначе. Фотографии фиксировали внешность; вживую Лина увидела присутствие. Амара заполнила сцену не телом – её тело было крупным, но не массивным, – а тем, как она двигалась. Медленно. Уверенно. Без суеты. Она вышла к микрофону, как выходят к операционному столу: зная, что предстоит, и не тратя энергию на демонстрацию готовности. В ней было что-то хирургическое – точность жестов, экономия движений. Бывший нейрохирург, вспомнила Лина. Человек, который привык работать внутри чужих черепов.

Амара не поздоровалась. Не представилась. Не улыбнулась. Она встала у микрофона, обвела зал взглядом – медленно, от первого ряда до последнего, – и начала говорить.

– Моей дочери было семь лет, когда у неё нашли глиобластому. – Голос ровный, низкий, без дрожи. Не голос человека, который исповедуется, а голос человека, который сообщает факт, необходимый для дальнейшего рассуждения. – Четвёртая степень. Неоперабельная. Двадцать три месяца от диагноза до смерти. Я оперировала чужих детей тринадцать лет – открывала черепные коробки, удаляла то, что не должно было расти, и зашивала обратно. Мне говорили, что я лучшая в своём поколении. Моя дочь умерла в девять лет, и я не смогла ничего сделать. Не потому что не умела. А потому что тело – это система, которая ломается. Всегда. У каждого. Вопрос не «если», а «когда».