Эдуард Сероусов – Грамматика тишины (страница 11)
Вера закрыла дверь и положила на его стол ноутбук. Экран был развёрнут к нему. На экране – граф: узлы, связи, четыре уровня рекурсии. Рядом – таблица с одиннадцатью правилами подстановки. Ниже – столбец чисел: предсказания грамматики и экспериментальные значения CODATA, совпадающие до шестого знака.
Волков посмотрел на экран. Потом на неё. Потом снова на экран. Снял очки – жест, который она за четырнадцать месяцев научилась читать: он снимал очки, когда хотел увидеть не детали, а целое, – и надел снова.
– Что это? – спросил он, и Вера прочитала по его губам, потому что имплант лежал в ящике стола в её комнате, и она пришла без него, без переводчика, без субтитров на планшете – потому что то, что она собиралась показать, требовало минимума посредников.
Она набрала на ноутбуке: «Результат ROSETTA. Пять дней назад. Верифицирован тридцатью семью тестами. Детали в файле, ссылка на рабочий сервер. Но лучше я покажу».
Волков прочитал. Его лицо не изменилось – оно редко менялось, его лицо было тренированным, как лицо покерного игрока или дипломата, – но Вера заметила: он положил ручку, которую вертел в пальцах. Положил аккуратно, параллельно краю стола. Мелочь. Для Волкова – сигнал: он освобождал руки. Готовился.
Она села напротив и начала показывать.
Первый слайд – не слайд, а скриншот терминала: лог ROSETTA, аномалия, 4.7 сигма. Волков смотрел. Ничего не говорил. Вера переключила на следующий: bootstrap-тест, сто итераций, паттерн исчезает в рандомизированных данных. Следующий: тест с инъекцией шума, деградация паттерна, кривая, характерная для реального сигнала. Следующий: анализ подмножеств – паттерн существует только в комбинации наборов данных, не в каждом по отдельности. Следующий: граф, четыре уровня рекурсии, самоподобие.
Волков поднял руку. Жест означал: стоп.
– Самоподобие в соотношениях констант, – сказал он. Она читала по губам – медленнее, чем по субтитрам, но точнее, потому что губы передавали не только слова, но и их вес: то, как он произнёс «самоподобие», было тяжёлым, каждый слог отдельно, как камни, которые он укладывал в стену аргумента.
Она кивнула.
– Фракталы, – сказал он, и это было не вопросом, а диагнозом. – Вера Алексеевна, фракталы встречаются повсюду. В береговых линиях. В кровеносных сосудах. В ценах на бирже. В распределении галактик. В брокколи. – Он чуть наклонил голову. – В брокколи тоже фракталы. Это не означает, что брокколи несёт послание.
Вера напечатала: «Брокколи не обладает контекстно-свободной грамматикой».
Он прочитал. Секунду молчал. Потом:
– Продолжайте.
Следующий экран: одиннадцать правил подстановки. Вера вывела их в формальной нотации – каждое правило как продукция грамматики, левая часть → правая часть, с символами, обозначающими классы соотношений между константами. Волков читал, и она видела, как его глаза двигались по строкам – слева направо, сверху вниз, потом возвращались к началу и шли снова, как при чтении текста на незнакомом языке, когда первый проход даёт общую картину, а второй – детали.
– Нотация ваша? – спросил он.
Она кивнула.
– Терминальные символы – это конкретные константы?
Кивок.
– А нетерминальные?
Она напечатала: «Классы соотношений. Например, NT₁ – соотношения, связывающие электромагнитное и слабое взаимодействие. NT₂ – гравитационные и космологические. NT₃ – субатомные массы и константы связи. Каждый нетерминал раскрывается по правилам в комбинацию терминалов».
Волков прочитал. Снял очки. Надел. Его пальцы легли на край стола – не барабанили, просто лежали, но с давлением, которое побелело кончики.
– Вера, – сказал он, и она видела, что он выбирает слова с той же аккуратностью, с какой положил ручку на стол, – вы понимаете, что вы описываете? Вы утверждаете, что фундаментальные физические константы – числа, определяющие структуру реальности, – связаны между собой не произвольно, а подчиняются формальной грамматике. Набору правил, который порождает их соотношения. Как если бы кто-то – или что-то – написал эти числа по правилам языка.
Она напечатала: «Я не утверждаю. Я показываю данные. Интерпретация – следующий шаг».
– Данные не существуют без интерпретации. Данные – это числа на экране. Интерпретация – это то, что вы делаете, когда называете эти числа "грамматикой".
Справедливо. Абсолютно справедливо. Вера знала это и была готова.
Она напечатала: «Контекстно-свободная грамматика – формальное математическое понятие. Набор данных либо обладает её свойствами, либо нет. Иерархическая структура – есть. Рекурсия – есть. Конечный набор порождающих правил – есть. Предиктивность – есть. Это не интерпретация. Это классификация».
Волков прочитал. Она видела, как его челюсть чуть сжалась – микродвижение, почти невидимое, – и он сказал:
– Предиктивность?
Вот оно. Она ждала этого слова. Предиктивность – единственное свойство, которое отделяло находку от академического курьёза. Фрактал красив, но не предиктивен: зная структуру на одном масштабе, вы не можете с точностью предсказать структуру на другом. Грамматика – предиктивна: зная правила, вы можете генерировать новые «предложения» и проверять их истинность.
Вера переключила экран. Таблица: два столбца. Левый – «Предсказание ROSETTA». Правый – «Экспериментальное значение CODATA 2022». Семь строк. Семь соотношений между константами, которые не входили в обучающий набор ROSETTA, – система их не видела, не анализировала, не знала об их существовании. Вера использовала одиннадцать правил, чтобы экстраполировать их значения из грамматики. Потом сверила с экспериментом.
Волков смотрел на таблицу. Молча. Она считала секунды – привычка, заменявшая ей ощущение тишины: когда слышащий человек чувствует, что в комнате стало тихо, Вера считает, как долго собеседник не двигает губами. Шесть секунд. Двенадцать. Восемнадцать.
Совпадение в первой строке: до шестого знака. Во второй: до пятого. В третьей: до седьмого. В четвёртой: до шестого. Пятая, шестая, седьмая – от пятого до восьмого знака. Разброс объяснялся разной экспериментальной точностью: для хорошо измеренных констант совпадение было глубже, для менее точных – мельче.
Волков произнёс, не отрывая глаз от экрана:
– Это значения из CODATA 2022?
Кивок.
– Вы проверяли, что обучающий набор ROSETTA не содержал эти конкретные соотношения?
Она напечатала: «Да. Перечень всех входных данных – в приложении. Эти семь соотношений были исключены вручную перед обучением, специально для этого теста».
– Когда вы их исключили?
«Три года назад, при проектировании. Я оставила их как контрольную группу. На случай, если когда-нибудь понадобится проверка предсказательной силы».
Волков посмотрел на неё. Она впервые за весь разговор увидела в его глазах нечто, что не было скепсисом, не было раздражением, не было даже любопытством. Это было – она подбирала слово и не находила точного – что-то вроде страха. Не животного, не рефлекторного. Интеллектуального. Страх человека, который видит, что здание, в котором он живёт, стоит не на том фундаменте, на котором, как он считал, оно стоит.
– Три года назад, – повторил он. – Вы три года назад заложили контрольную группу для теста, который провели пять дней назад.
Она кивнула.
– Вы ждали этого результата?
Она напечатала: «Нет. Я готовилась к нему. Это не одно и то же».
Волков откинулся в кресле. Потёр переносицу, там, где очки оставляли вмятину, – зеркало жеста Веры, только у него вмятина была от очков, а у неё – от кислородной маски, и оба носили свои отметины с одинаковым безразличием.
– Шесть знаков, – сказал он. – Совпадение до шестого знака может быть впечатляющим, а может быть численным совпадением. Зависит от размера пространства параметров. Если ваши одиннадцать правил имеют достаточно свободных параметров, можно подогнать практически любое число до шестого знака.
Она ждала этого. Именно этого. Волков был предсказуем не потому что был прост – потому что был систематичен. Его скептицизм шёл по проторённому маршруту: сначала – артефакт, потом – переобучение, потом – подгонка параметров. Три ступени, и каждую нужно было пройти, прежде чем он позволит себе допустить четвёртый вариант.
Она напечатала: «Одиннадцать правил. Ноль свободных параметров».
Волков моргнул. Она видела это отчётливо – его веки дрогнули, как крылья насекомого, – и этот единственный непроизвольный жест сказал ей больше, чем любые слова.
– Ноль?
«Ноль. Правила полностью детерминированы данными. Нет настраиваемых коэффициентов. Нет свободных параметров. Нет подгонки. Правила либо работают – либо нет. Они работают».
Пауза. Длинная, двадцать три секунды по её внутреннему счёту. Волков сидел неподвижно. Потом сказал:
– Покажите мне вывод. Весь. С самого начала.
Вера кивнула и переключила экран на первый шаг вывода: как из необработанных данных ROSETTA извлекала соотношения. Как соотношения группировались в классы. Как классы образовывали иерархию. Как из иерархии следовали правила. Как из правил следовали предсказания. Каждый шаг – математически формализованный, воспроизводимый, проверяемый. Она готовила этот вывод пять дней и ночей, перепроверяя каждый переход, закрывая каждую дыру, потому что знала: Волков будет искать дыры так, как сапёр ищет мины – тщательно, терпеливо и с абсолютной уверенностью, что они есть.