разработали программную обвязку и проверили все утверждения. Проблема заключается в неклонируемом шифровании, где квантовая механика предотвращает копирование шифротекста. Классические шифротексты можно копировать; квантовые состояния — нет, из-за теоремы о запрете клонирования. Цель состоит в том, чтобы создать шифротекст в виде кубитов таким образом, чтобы даже если ключ будет раскрыт позже, только один человек, владеющий исходным состоянием, сможет расшифровать его. Безопасность моделируется как игра: злоумышленник пытается создать две полезные копии из одного квантового шифротекста; безопасность требует, чтобы два получателя не могли оба угадать сообщение лучше, чем случайным образом. В 2020 году Бродбент и Лорд доказали слабую версию (безопасность поиска), но сильная версия (неразличимость) оставалась открытой в течение шести лет. Новое доказательство достигает неразличимости с преимуществом, экспоненциально малым по n. В доказательстве используются элементарные инструменты (линейная алгебра, неравенство Коши — Буняковского — Шварца) и два ключевых шага: центрирование оператора и ограничение его максимального собственного значения с помощью специально сконструированного фильтра. Два дня спустя появилось второе независимое доказательство Сейона Рагхавана (Массачусетский технологический институт), также использующее тот же GPT-5.6 Sol Ultra. Обе статьи являются препринтами; в них утверждается, что ИИ сгенерировал построение и идеи доказательства, а авторы берут на себя полную ответственность.