Куда движется отрасль

Финал курса: куда идёт область, чего ждать и что важно вынести.

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

Дорожная карта

Грубо путь отрасли делят на три этапа. NISQ (сейчас): шумные машины, гибридные алгоритмы, поиск нишевой пользы. Ранняя отказоустойчивость: десятки-сотни логических кубитов, первые «настоящие» алгоритмы на полезных задачах химии. Зрелая отказоустойчивость: тысячи логических кубитов, взлом RSA становится реальным. Между этапами — годы инженерной работы; сроки последнего этапа оцениваются крайне неуверенно (от ~10 до 20+ лет, и оценки регулярно пересматривают).

roadmap = [
    ('NISQ (сейчас)',           'сотни шумных физических', 'гибридные алгоритмы, ниши'),
    ('Ранняя отказоустойч.',    'десятки логических',      'химия, малые полезные задачи'),
    ('Зрелая отказоустойч.',    'тысячи логических',       'Шор на больших числах'),
]
for stage, qubits, goal in roadmap:
    print('%-24s | %-26s | %s' % (stage, qubits, goal))

Вывод:

NISQ (сейчас)            | сотни шумных физических    | гибридные алгоритмы, ниши
Ранняя отказоустойч.     | десятки логических         | химия, малые полезные задачи
Зрелая отказоустойч.     | тысячи логических          | Шор на больших числах

Чему верить, а чему — нет

Здоровый скептик в этой области держит в голове несколько правил. Заголовок про «N кубитов» почти ничего не говорит без точности гейтов и наличия коррекции. «Решили задачу X быстрее суперкомпьютера» обычно означает искусственную задачу. «Скоро взломают всё шифрование» игнорирует пропасть между физическими и логическими кубитами. При этом и обратный скепсис («это всё пустышка») неверен: прогресс реален, коррекция заработала в лаборатории, а постквантовую миграцию криптографы начали всерьёз — значит, угрозу воспринимают как настоящую, пусть и отложенную.

Как работает под капотом (что осталось решить)

Главный нерешённый инженерный узел — масштабируемая коррекция ошибок. Показать один логический кубит в лаборатории удалось; собрать тысячи одновременно, с управляющей электроникой, охлаждением и связностью — задача другого порядка. Параллельно идёт борьба за качество гейтов (каждая девятка после запятой в точности экономит огромную избыточность), за связность кубитов и за «софт» — компиляторы, которые выжмут максимум из несовершенного железа. Победа любой из платформ не предрешена.

Итоги всего курса

Кубит — это вектор состояния с комплексными амплитудами, а не «0 и 1 сразу»; вероятности дают квадраты модулей.
Гейты — унитарные матрицы (повороты на сфере Блоха); цепь — их произведение.
Сила — в суперпозиции, запутанности и интерференции вместе: параллелизм сам по себе бесполезен.
Алгоритмы (Дойч — Йожи, Гровер, Шор) кодируют ответ в фазы и собирают его интерференцией.
Кубиты хрупкие; нужна коррекция ошибок, и мы пока в шумной NISQ-эре.
Преимущество — узкое (химия, криптоанализ, поиск); это сопроцессор, а не замена классике.

Частые ошибки

Верить точным срокам «через N лет». Оценки последнего этапа очень неуверенны.
Впадать в крайности: и «всё уже работает», и «это пустышка» одинаково неверны.
Судить о машине по числу кубитов без качества и коррекции.

Итог

Путь: NISQ -> ранняя -> зрелая отказоустойчивость; ключевой барьер — масштабируемая коррекция ошибок.
Здоровый взгляд — между хайпом и отрицанием: прогресс реален, но польза приходит постепенно и в нишах.
Главное из курса: кубит-вектор, гейты-матрицы, запутанность и интерференция как источник силы.