Квантовая технология CARVE-Q для автономных автомобилей достигла 100% безопасности

Группа учёных опубликовала на arXiv препринт, описывающий архитектуру CARVE-Q — Certified Affordable Repair of Vetoed maneuvers via Envelopes с квантовым ускорителем. Система решает ключевую проблему автономного вождения: если планировщик заблокировал манёвр как небезопасный, как найти корректный и верифицируемый альтернативный сценарий?

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

Однако перебор всех комбинаций для многоучастникового сценария требует огромных вычислений. Здесь на помощь приходит CARVE-Q: квантовый слой на алгоритме Дюрра — Хойера (квантовый поиск минимума) работает только с решёткой как с чёрным ящиком, а вся безопасность остаётся в классической верификационной оболочке. Это обеспечивает совместимость с существующими стандартами.

Теоретически показано, что классическому алгоритму требуется ?(M) запросов к оракулу, тогда как квантовый минимальный поиск использует O(?M) с высокой вероятностью. Для M до 65 536 (max 16 участников по 4 действия) квантовый подход даёт значительное ускорение.

Практическая валидация проведена на симуляторе с состоянием вектора (state-vector) для до 65 536 вариантов. Последующее воспроизведение на сценариях Lanelet2-grounded INTERACTION показало: 100% соблюдение права проезда, 100% согласованность распределения вины и нулевое число ложных срабатываний по приоритетам.

Авторы подчёркивают, что CARVE-Q — это шаблон для доверенного взаимодействия ИИ и квантовых вычислений: квантовая система предлагает вариант, а классическая CARVE его сертифицирует. Это может ускорить внедрение полностью автономных автомобилей в сложных дорожных ситуациях, где требуется прозрачная и юридически приемлемая логика принятия решений.