ИИ-агент Codex и неклонируемое шифрование: что утверждают авторы
Анант и Сахаи заявили, что Codex с GPT-5.6 Sol в режиме ultra нашёл основные идеи доказательства. Проверяем границы результата и роль людей.
Факты проверены 26 июля 2026 года. Неклонируемое шифрование защищает квантовый шифртекст от создания двух полезных копий: после раскрытия ключа два получателя не должны одновременно восстановить сообщение. 23 июля Прабханджан Анант из Калифорнийского университета в Санта-Барбаре и Амит Сахаи из UCLA опубликовали препринт с эффективной схемой для одного бита и заявили, что конструкцию и основные идеи доказательства сгенерировал Codex.
Громкая часть новости нуждается в двух оговорках. Работу пока не рецензировали, а авторы не называют ИИ самостоятельным исследователем: они пишут, что доработали и проверили доказательство и сами отвечают за результат. Кроме того, GPT-5.6 Sol Ultra в тексте препринта означает сочетание модели GPT-5.6 Sol и режима ultra, а не подтверждённое OpenAI название отдельной модели. Уточнение принципиально.
Что именно доказал препринт
Авторы рассматривают одноразовую схему с приватным классическим ключом. Она шифрует один обычный бит в квантовое состояние из n кубитов. Ключ занимает 2n − 1 бит, шифрование использует однокубитные гейты Клиффорда, а при расшифровке выполняются локальные измерения операторов Паули.
Безопасность задаёт игра с тремя участниками. Атакующий получает шифртекст до раскрытия ключа и делит его между Бобом и Чарли. После этого они не общаются. Когда ключ становится известен обоим, каждый пытается определить зашифрованный бит.
Случайная согласованная догадка даёт Бобу и Чарли вероятность общего успеха 1/2. Препринт ограничивает её сверху величиной 1/2 + 2−(n+1)/2 даже для вычислительно неограниченного атакующего в этой модели. Например, при n = 127 добавка над 1/2 не превышает 2−64. Это расчёт по формуле теоремы, а не результат физического эксперимента.
| Что подтверждает препринт | Чего он не подтверждает |
|---|---|
| Эффективную одноразовую схему для одного бита с классическим приватным ключом. | Шифрование сообщений произвольной длины или безопасное повторное использование ключа. |
| Идеальную корректность и экспоненциально малую добавку к вероятности успеха двух атакующих. | «Невзламываемость» вне описанной игры или защиту при общении атакующих после разделения шифртекста. |
| Отсутствие вычислительных предположений в доказательстве безопасности. | Готовое устройство, сетевой протокол или экспериментальную реализацию. |
| Заявление авторов о генерации конструкции и главных идей доказательства с помощью Codex. | Независимую проверку вклада ИИ, публикацию полного журнала работы агента или рецензирование результата. |
Как работает неклонируемое шифрование
Обычный шифртекст можно скопировать сколько угодно раз. Если ключ утечёт позже, каждая сохранённая копия останется пригодной для расшифровки. В этой схеме шифртекст записан в квантовом состоянии. Атакующий может обработать его и разделить результат, но не должен получить две части, которые после раскрытия ключа одновременно выдадут правильный бит.
Название легко понять слишком буквально. Теорема не утверждает, что квантовый файл физически невозможно продублировать байт в байт. Она ограничивает более узкую и полезную для криптографии способность: создать две независимо расшифровываемые копии при заданных правилах атаки.
Слово «безусловная» тоже относится к конкретному свойству. Доказательство не опирается на трудность факторизации, дискретного логарифма или другую вычислительную гипотезу. Зато остаются физические и модельные условия: нужен квантовый шифртекст, ключ применяется один раз, а получатели после разделения состояния не обмениваются данными.
Новая схема или новое доказательство
Главная научная новизна состоит в доказательстве эффективности и стойкости, а не в самой конструкции. Анант и Сахаи прямо пишут, что схему первыми предложили Пьер Боттерон, Энн Бродбент и их соавторы. Их статья Towards Unconditional Uncloneable Encryption вышла в журнале Quantum 8 июля 2026 года.
Предыдущая работа дала строгие результаты для небольших параметров, численные проверки до K = 17 и свидетельства в пользу общей границы. Новый препринт доказывает для этой конструкции экспоненциально малое преимущество атакующего и сохраняет эффективные шифрование и расшифровку.
Поэтому заголовок «ИИ изобрёл неклонируемое шифрование» был бы неверным. Более точная формулировка: авторы приписывают Codex ключевой ход в доказательстве стойкости ранее предложенной схемы.
Какую роль авторы приписали Codex
Раздел Statement on AI usage занимает один абзац. В нём Анант и Сахаи заявляют, что конструкцию и основные идеи доказательства полностью сгенерировал Codex с GPT-5.6 Sol в режиме ultra. Идеи программной обвязки подготовили сами исследователи на основе UCLA Moonshot Harness и опубликованного OpenAI промпта для другого математического доказательства.
Тот же абзац возвращает ответственность людям. Авторы сообщают, что тщательно доработали и проверили утверждения и доказательства. В препринте нет полного журнала сессий Codex, версии обвязки, истории правок или независимого аудита распределения работы между моделью и исследователями. Этого мало для воспроизводимости. Пока перед нами проверяемое авторское заявление о процессе, но не эксперимент по оценке вклада ИИ, который можно повторить.
Официальный анонс OpenAI помогает уточнить терминологию. Компания называет GPT-5.6 Sol моделью, а ultra режимом максимальной мощности, который координирует несколько агентов в параллельных потоках. OpenAI подтверждает существование модели и режима, но на момент проверки не публиковала отдельного разбора этой криптографической работы.
Это уже не первый громкий кейс той же связки. Toolarium разбирал предыдущий случай GPT-5.6 Sol с математическим доказательством. Полезнее сравнивать такие истории не по масштабу заголовка, а по качеству следов: доступны ли промпты, журнал запусков, версия модели, человеческие правки и независимая экспертиза.
Почему результат важен для ИИ в науке
Если доказательство выдержит рецензирование, кейс покажет сильную сторону исследовательских агентов: поиск короткого аналитического хода в задаче, где конструкция уже известна, а существующая техника не закрывает нужную границу. Это ближе к совместной работе над доказательством, чем к автономному открытию новой области криптографии.
Именно так сейчас стоит оценивать AI-агентов в исследовательской математике. Ответ модели сам по себе не становится научным результатом. Нужны формальная проверка, экспертное чтение и достаточный журнал процесса, чтобы другие группы могли понять происхождение ключевых идей.
Препринт хорошо фиксирует первые два пункта: люди проверили текст и взяли ответственность. С воспроизводимостью процесса слабее. Для следующей версии авторам стоило бы приложить обезличенные журналы запусков, конфигурацию обвязки и историю содержательных правок. Это позволило бы обсуждать вклад Codex по данным, а не по одному абзацу.
Практический вывод пока узкий. Неклонируемое шифрование из этой работы не готово защищать резервные копии или переписку. Зато сам способ получения доказательства заслуживает внимания: он добавляет ещё один предметный кейс к дискуссии о роли человека в проверке ИИ-доказательств.
Источники и дата проверки
Названия, даты, формула безопасности и заявление об использовании ИИ проверены 26 июля 2026 года. Основной источник: версия препринта v1. Её содержание может измениться после рецензирования или выхода новой версии.
- Prabhanjan Ananth, Amit Sahai: Unconditional Unclonable Encryption, arXiv:2607.21551v1, 23 июля 2026 года.
- Pierre Botteron et al.: Towards Unconditional Uncloneable Encryption, Quantum 10, 2157, 8 июля 2026 года.
- OpenAI: официальный анонс GPT-5.6 Sol и режима ultra, 9 июля 2026 года.
- OpenAI: промпт для доказательства гипотезы о двойном покрытии циклами, 9 июля 2026 года.
- Андрей Пешков: «У криптографов была одна пуля в барабане. GPT-5.6 нашёл вторую», Хабр, 26 июля 2026 года.
