За границей суперкомпьютеров: квантовый процессор впервые решил верифицируемую задачу

Квантовые компьютеры годами заявляли о своем превосходстве, но никто не мог толком проверить, не врут ли они. Представьте боксера, который нокаутировал тень и требует пояс чемпиона. Именно в такой ситуации оказалась индустрия: устройство выполняло задачу за минуты, а проверить результат было нечем — классический суперкомпьютер считал бы эталонный ответ тысячи лет. Логический парадокс: мы должны верить машине на слово, потому что у нас нет калькулятора, чтобы перепроверить ее математику. Недавно я заметил, как в научных кругах все чаще говорят о «кризисе доверия» в квантовых вычислениях. Но группа из IBM Research и Чикагского университета, похоже, нашла выход. Они не стали строить более мощный суперкомпьютер для проверки. Вместо этого они заставили сам квантовый процессор доказать свою честность. Результат — 133-кубитный процессор IBM Boston выполнил вычисления, которые невозможно проверить классически, но при этом предоставил математический сертификат точности с доверительной вероятностью 95%. Звучит как магия, но за этим стоит элегантная инженерия.

В чем была фундаментальная проблема?

Старый метод проверки назывался кросс-энтропийный бенчмаркинг (XEB). Работал он так: брали простую схему, которую суперкомпьютер еще мог просчитать, замеряли ошибки, а затем экстраполировали эти данные на сложную схему. Но здесь была скрытая ловушка. Метод требовал допущения, что шум в процессоре распределен равномерно, как белый шум в старом телевизоре. Однако реальные квантовые чипы — это хаос. Сбой в одном кубите вызывает цепочку помех у соседей. Характеристики оборудования плывут со временем. Если шум коррелированный, математическая модель XEB разваливается, и показатели точности превращаются в фикцию. Ученые верили устройству на слово. Это ненаучно.

Суть метода: трюк с «допированными» схемами

Решение IBM строится на простом, но гениальном наблюдении о природе квантовых операций. Любая программа состоит из вентилей (гейтов), которые делятся на два типа. 1. **Вентили Клиффорда.** Это базовые операции запутывания. Их «фишка» в том, что они подчиняются теореме Готтесмана-Книлла. Это значит, что схему, состоящую только из них, можно быстро просчитать на обычном компьютере. А раз мы можем просчитать, мы можем измерить точность напрямую — методом прямой оценки верности (DFE). 2. **Т-вентили.** Это «магические» операции. Они разрушают симметрию Клиффорда. Добавьте сотни таких вентилей в схему — и классический компьютер захлебнется, время симуляции вырастет до миллионов лет. Так вот, исследователи собрали глубокую схему из вентилей Клиффорда, измерили ее точность напрямую (базовая точность — 32%). А затем... добавили в нее 468 Т-вентилей. Получился «допированный» квантовый алгоритм. Задача мгновенно стала нерешаемой для суперкомпьютеров, но точность осталась доказуемой.

Как заставить Т-вентили не шуметь?

Главный риск был в том, что добавление операций внесет новый шум. Но физики применили два трюка. **Первый — пространственно-временной код.** Вместо обычной проверки ошибок только в пространстве (когда вспомогательные кубиты проверяют соседей), они растянули сеть проверок во времени. 27 кубитов-инспекторов следили за состоянием системы на протяжении всей истории выполнения программы. Если ловили сбой — помечали запуск как неудачный и отбрасывали его. Это снизило частоту ошибок в 10 раз. **Второй — виртуальные операции.** Т-вентили в архитектуре IBM выполняются «виртуально». Это не физический микроволновый импульс, который греет чип и вызывает помехи. Это просто изменение фазового отсчета в управляющей программе. Мгновенно и с нулевой вероятностью физического сбоя. Добавление Т-вентилей не изменило структуру шума вообще. Это ключевой момент: базовая схема и сложная схема имеют одинаковую физику ошибок.

Математический сертификат вместо суперкомпьютера

Итак, у нас есть простая схема с точностью 32% и сложная схема с теми же характеристиками шума. Логика доказательства железная: 1. Мы точно знаем точность простой схемы (32%). 2. Мы добавляем Т-вентили. Они не создают шума. 3. Единственный риск — ошибка, которая в простой схеме случайно сохраняла правильное состояние, при добавлении Т-вентилей станет вредной. 4. Моделирование показало: максимальное падение точности из-за этого эффекта — не более 1,3%. Вычитаем: 32% минус 1,3% = **28,4% точности**. Это не экстраполяция. Это прямой математический результат, основанный на реальных измерениях микросхемы, а не на вере в «сферического коня в вакууме». Почему это важно? Потому что проверка на суперкомпьютере невозможна в принципе. Тензорные сети требуют больше оперативной памяти, чем есть на Земле (миллиард параметров). Раскладывание по стабилизаторам требует сотни секстиллионов операций. Процессор сгенерировал 2051 отсчет за 16 минут. Классическому кластеру на это потребовались бы десятилетия.

Мое мнение: прорыв или пиар?

Это не просто очередная статья. Это смена парадигмы. Раньше мы верили квантовому компьютеру на слово, потому что он работал в недосягаемой для нас математической вселенной. Теперь у нас есть метод, который позволяет устройству «самому себе выписать справку», основанную на измеримой физике. Да, точность в 28,4% выглядит скромно. Но это неважно. Важно то, что **доверие к вычислениям больше не требует гигантских классических мощностей**. Мы получили инструмент верификации, который работает на существующем «железе». Это как если бы вам выдали детектор лжи, которому не нужен эталонный ответ — он просто знает, когда вы врете, по косвенным признакам. Технология все еще молода, но метод Doped Clifford Sampling — это мост к практическим квантовым вычислениям. Мы перестаем гадать и начинаем измерять. И это, пожалуй, самый честный шаг в квантовой гонке за последние годы.